IBM Research - Almaden — United States
Computer Science · Physical Sciences
73h-index26.3kcitations235works1.72yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Advanced Database Systems and Queries(83), Semantic Web and Ontologies(64), Logic, Reasoning, and Knowledge(55), Data Management and Algorithms(55), Advanced Algebra and Logic(31)
Publications235 total
Bulletin of Symbolic Logic·2025Open Access
Logical Methods in Computer Science·2025Open Access
Logical Methods in Computer Science·2024Open Access
Proceedings of the National Academy of Sciences·2024· 10 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Journal of Logic and Computation·2023
2023· 2 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023· 2 citedOpen Access
arXiv (Cornell University)·2022· 4 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 3 citedOpen Access
2021· 5 cited
Proceedings of the AAAI Conference on Artificial Intelligence·2021· 6 citedOpen Access
arXiv (Cornell University)·2021Open Access
Panel on "Past and Future of Computer Science Theory" (Discussion Paper).
SEBD·2021
arXiv (Cornell University)·2020· 4 citedOpen Access
arXiv (Cornell University)·2020· 81 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 14 citedOpen Access
Journal of Computer and System Sciences·2018· 8 cited
page 1 of 12Next →
Frequent Co-authors
Renée J. Miller(6), D. Sivakumar(6), Joseph Y. Halpern(5), Phokion G. Kolaitis(5), Lucian Popa(5), Catriel Beeri(4), Ravi Kumar(4), Laura M. Haas(4), Moshe Y. Vardi(3), Moni Naor(3), Lucian Popa(3), Mauricio A. Hernández(3), Jeffrey D. Ullman(3), Amnon Lotem(2), David Maier(2), Mihalis Yannakakis(2), Yannis Velegrakis(2), Alberto O. Mendelzon(2), Wang-Chiew Tan(2), Mohammad Mahdian(2)