Scholar
Michael Benedikt
Google Scholar ID: atL47L0AAAAJ
Professor of Computer Science, Oxford University
Databases
Logic
Verification
Theoretical Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,195
H-index
17
i10-index
38
Publications
20
Co-authors
0
Publications
11 items
Interpolation and Query Rewriting
2026
Cited
0
How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
2026
Cited
0
How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
2026
Cited
0
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
2025
Cited
0
Analysis of logics with arithmetic
2025
Cited
0
Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
2025
Cited
0
Convergence Laws for Extensions of First-Order Logic with Averaging
2025
Cited
0
Logical perspectives on learning statistical objects
2025
Cited
0
Load more
