Michael Benedikt
Orcid: 0000-0003-2964-0880Affiliations:
- University of Oxford, UK
According to our database1,
Michael Benedikt
authored at least 162 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Database Syst., December, 2024
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
Log. Methods Comput. Sci., 2024
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
2023
ACM Trans. Comput. Log., April, 2023
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
2022
SIGMOD Rec., December, 2022
Log. Methods Comput. Sci., 2022
Proceedings of the Reachability Problems - 16th International Conference, 2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
2021
ACM Trans. Database Syst., 2021
ACM Trans. Comput. Log., 2021
2020
ACM Trans. Comput. Log., 2020
ACM Trans. Comput. Log., 2020
2019
Log. Methods Comput. Sci., 2019
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
SIGMOD Rec., 2018
J. Artif. Intell. Res., 2018
Artif. Intell., 2018
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018
Proceedings of the Web Engineering - 18th International Conference, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
J. Comput. Syst. Sci., 2017
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01856-5, 2016
ACM Trans. Comput. Log., 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Workshop on Advances in Bioinformatics and Artificial Intelligence: Bridging the Gap co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
2015
CoRR, 2015
CoRR, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Dagstuhl Reports, 2014
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
2013
CoRR, 2013
Log. Methods Comput. Sci., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013
2012
Proceedings of the 21st World Wide Web Conference, 2012
Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Proceedings of the 15th International Conference on Extending Database Technology, 2012
2011
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Computer Science, The Hardware, Software and Heart of It, 2011
2010
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010
Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
2009
ACM Trans. Comput. Log., 2009
J. Symb. Log., 2009
Proceedings of the Database Theory, 2009
Proceedings of the Database Programming Languages, 2009
2008
Proc. VLDB Endow., 2008
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008
2007
ACM Trans. Comput. Log., 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
J. ACM, 2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the First Int'l VLDB Workshop on Clean Databases, 2006
2005
Proceedings of the Second International Workshop on XQuery Implementation, 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the Database Programming Languages, 10th International Symposium, 2005
Proceedings of the Computer Science Logic, 19th International Workshop, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
J. Comput. Syst. Sci., 2003
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003
2002
Proceedings of 28th International Conference on Very Large Data Bases, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
2000
Proceedings of the Computer Science Logic, 2000
Query Safety with Constraints.
Proceedings of the Constraint Databases, 2000
Expressive Power: The Finite Case.
Proceedings of the Constraint Databases, 2000
1999
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999
Proceedings of the Programming Languages and Systems, 1999
1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1997
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997
Proceedings of the Conference on Domain-Specific Languages, 1997
1996
Proceedings of the Proceedings, 1996