Michael Benedikt

Michael Benedikt

University of Oxford

H-index: 39

Europe-United Kingdom

Contact Michael Benedikt

About Michael Benedikt

Michael Benedikt, With an exceptional h-index of 39 and a recent h-index of 17 (since 2020), a distinguished researcher at University of Oxford, specializes in the field of Databases, Logic, Verification, Theoretical Computer Science.

His recent articles reflect a diverse array of research interests and contributions to the field:

Decidability of Graph Neural Networks via Logical Characterizations

Towards Unbiased Exploration in Partial Label Learning

Embedded finite models beyond restricted quantifier collapse

Synthesizing nested relational queries from implicit specifications

The complexity of Presburger arithmetic with power or powers

On monotonic determinacy and rewritability for recursive queries and views

PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning

Embedded finite models beyond research quantifier collapse

Michael Benedikt Information

University	University of Oxford
Position	Professor of Computer Science
Citations(all)	5915
Citations(since 2020)	1074
Cited By	5309
hIndex(all)	39
hIndex(since 2020)	17
i10Index(all)	104
i10Index(since 2020)	26
Email	Access Email
University Profile Page	University of Oxford
Google Scholar	View Google Scholar Profile

Michael Benedikt Skills & Research Interests

Databases

Logic

Verification

Theoretical Computer Science

Top articles of Michael Benedikt

Decidability of Graph Neural Networks via Logical Characterizations

arXiv preprint arXiv:2404.18151

2024/4/28

Michael Benedikt

H-Index: 18

Boris Motik

H-Index: 28

Towards Unbiased Exploration in Partial Label Learning

arXiv preprint arXiv:2307.00465

2023/7/2

Michael Benedikt

H-Index: 18

Embedded finite models beyond restricted quantifier collapse

2023/6/26

Michael Benedikt

H-Index: 18

Synthesizing nested relational queries from implicit specifications

2023/6/18

Michael Benedikt

H-Index: 18

The complexity of Presburger arithmetic with power or powers

arXiv preprint arXiv:2305.03037

2023/5/4

Michael Benedikt

H-Index: 18

Alessio Mansutti

H-Index: 6

On monotonic determinacy and rewritability for recursive queries and views

ACM Transactions on Computational Logic

2023/3/17

Michael Benedikt

H-Index: 18

Stanislav Kikot

H-Index: 10

PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning

ACM SIGMOD Record

2023/1/25

Michael Benedikt

H-Index: 18

Fergus Cooper

H-Index: 4

Stefano Germano

H-Index: 7

Efthymia Tsamoura

H-Index: 9

Brandon Moore

H-Index: 9

Embedded finite models beyond research quantifier collapse

2023

Michael Benedikt

H-Index: 18

THE JOURNAL OF SYMBOLIC LOGIC

2023

Steve Awodey

H-Index: 20

Michael Benedikt

H-Index: 18

Damir Dzhafarov

H-Index: 10

Itay Kaplan

H-Index: 8

Hiroshi Sakai

H-Index: 9

Anton Setzer

H-Index: 11

Tighter bounds for query answering with Guarded TGDs

arXiv preprint arXiv:2212.11362

2022/12/21

Michael Benedikt

H-Index: 18

Rewriting the infinite chase

arXiv preprint arXiv:2212.08522

2022/12/16

Michael Benedikt

H-Index: 18

Stefano Germano

H-Index: 7

Boris Motik

H-Index: 28

The Past and Future of Embedded Finite Model Theory

2022/10/12

Michael Benedikt

H-Index: 18

Datalog Rewriting for Guarded TGDs

CEUR Workshop Proceedings

2022/8/31

Michael Benedikt

H-Index: 18

Stefano Germano

H-Index: 7

Boris Motik

H-Index: 28

2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award

2022/6/12

Michael Benedikt

H-Index: 18

Sudeepa Roy

H-Index: 13

Balancing expressiveness and inexpressiveness in view design

ACM Transactions on Database Systems (TODS)

2021/11/15

Michael Benedikt

H-Index: 18

Efthymia Tsamoura

H-Index: 9

TraNCE: Transforming nested collections efficiently

Proceedings of the VLDB Endowment (PVLDB)

2021/10/28

Michael Benedikt

H-Index: 18

Brandon Moore

H-Index: 9

Milos Nikolic

H-Index: 5

Scalable analysis of multi-modal biomedical data

GigaScience

2021/9

Yao Shi

H-Index: 4

Michael Benedikt

H-Index: 18

Milos Nikolic

H-Index: 5

Inference from visible information and background knowledge

ACM Transactions on Computational Logic (TOCL)

2021/6/21

Michael Benedikt

H-Index: 18

Generating collection transformations from proofs

Proceedings of the ACM on Programming Languages

2021/1/4

Michael Benedikt

H-Index: 18

Scalable querying of nested data

arXiv preprint arXiv:2011.06381

2020/11/12

Michael Benedikt

H-Index: 18

Milos Nikolic

H-Index: 5

See List of Professors in Michael Benedikt University(University of Oxford)

academic-engine

Useful Links

List of top 50 universities

List of top 100 universities

List of top 500 universities

Find Professors Email

Find Universities Email

CUFinder Academic Engine