Scholar

Michael Benedikt

Google Scholar ID: atL47L0AAAAJ

Professor of Computer Science, Oxford University

DatabasesLogicVerificationTheoretical Computer Science

Google Scholar↗

Citations & Impact

All-time

Citations

1,195

H-index

17

i10-index

38

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

9 items

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

Revisiting the Expressiveness Landscape of Data Graph Queries

arXiv.org · 2024

Cited

0

Decidability of Graph Neural Networks via Logical Characterizations

International Colloquium on Automata, Languages and Programming · 2024

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)