The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Benedikt" ( http://dblp.L3S.de/Authors/Michael_Benedikt )

URL (Homepage):  http://www.comlab.ox.ac.uk/people/Michael.Benedikt/  Author page on DBLP  Author page in RDF  Community of Michael Benedikt in ASPL-2

Publication years (Num. hits)
1996-1999 (15) 2000-2003 (18) 2004-2007 (18) 2008-2010 (18) 2011-2012 (18) 2013-2014 (21) 2015-2016 (21) 2017-2018 (20) 2019 (4)
Publication types (Num. hits)
article(67) book(1) incollection(3) inproceedings(80) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 35 occurrences of 24 keywords

Results
Found 154 publication records. Showing 153 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Benedikt Guest Editorial: Special Issue on Database Theory. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo Reasoning about disclosure in data integration in the presence of source constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Definability and Interpolation within Decidable Fixpoint Logics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vince Bárány, Michael Benedikt, Balder ten Cate Some Model Theory of Guarded Negation. Search on Bibsonomy J. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Benedikt Logic-based Perspectives on Query Reformulationover Restricted Interfaces. Search on Bibsonomy SIGMOD Record The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev Logical foundations of information disclosure in ontology-based data integration. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Query Answering with Transitive and Linear-Ordered Data. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt When Can We Answer Queries Using Result-Bounded Data Interfaces? Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Benedikt How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)? Search on Bibsonomy PODS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt When Can We Answer Queries Using Result-Bounded Data Interfaces? Search on Bibsonomy PODS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Boris Motik, Efthymia Tsamoura Goal-Driven Query Answering for Existential Rules With Equality. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Ben Spencer, Michael Benedikt, Pierre Senellart Form Filling Based on Constraint Solving. Search on Bibsonomy ICWE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Joost Engelfriet, Sebastian Maneth Determinacy and rewriting of functional top-down and MSO tree transformations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt When Can We Answer Queries Using Result-Bounded Data Interfaces? Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Characterizing Definability in Decidable Fixpoint Logics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Benedikt, Boris Motik, Efthymia Tsamoura Goal-Driven Query Answering for Existential Rules with Equality. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell 0001 Polynomial automata: Zeroness and applications. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Characterizing Definability in Decidable Fixpoint Logics. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura Benchmarking the Chase. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev Source Information Disclosure in Ontology-Based Data Integration. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel ArtForm: a tool for exploring the codebase of form-based websites. Search on Bibsonomy ISSTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Giorgio Orsi 0001 (eds.) 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy Search on Bibsonomy ICDT The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura Reformulating Queries: Theory and Practice. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Clemens Ley Limiting Until in Ordered Tree Query Languages. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell 0001 Complexity of Two-Variable Logic on Finite Trees. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Michael Vanden Boom Effective Interpolation and Preservation in Guarded Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Query Answering with Transitive and Linear-Ordered Data. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gonzalo I. Diaz, Marcelo Arenas, Michael Benedikt SPARQLByE: Querying RDF data by example. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Efthymia Tsamoura Generating Plans from Proofs. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation Search on Bibsonomy 2016   DOI  RDF
1Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis Querying Visible and Invisible Information. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Michael Vanden Boom A Step Up in Expressiveness of Decidable Fixpoint Logics. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Rodrigo Lopez-Serrano, Efthymia Tsamoura Biological Web Services: Integration, Optimization, and Reasoning. Search on Bibsonomy BAI@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom Query Answering with Transitive and Linear-Ordered Data. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt Combining Existential Rules and Description Logics (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt Finite Open-World Query Answering with Number Restrictions (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis Querying Visible and Invisible Tables in the Presence of Integrity Constraints. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Benedikt, Julien Leblay, Efthymia Tsamoura Querying with Access Patterns and Integrity Constraints. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Huy Vu The complexity of higher-order queries. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Clemens Ley Analysis of Schemas with Access Restrictions. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt Finite Open-World Query Answering with Number Restrictions. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Michael Vanden Boom Interpolation with Decidable Fixpoint Logics. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom The Complexity of Boundedness for Guarded Logics. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Amarilli, Michael Benedikt Combining Existential Rules and Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Benedikt, Carsten Lutz, Balder ten Cate Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Cristian Riveros The per-character cost of repairing word languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 Model Checking Markov Chains Against Unambiguous Buchi Automata. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Benedikt, Julien Leblay, Efthymia Tsamoura PDQ: Proof-driven Query Answering over Web-based Data. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Efthymia Tsamoura Generating low-cost plans from proofs. Search on Bibsonomy PODS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Ronald Fagin, Wim Martens The ICDT 2014 Test of Time Award. Search on Bibsonomy ICDT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Balder ten Cate, Michael Vanden Boom Effective interpolation and preservation in guarded logics. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Benedikt Logical Approaches to Query Optimization over Web-Based Sources. Search on Bibsonomy AMW The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Benedikt, Dan Olteanu Report on the first workshop on innovative querying of streams. Search on Bibsonomy SIGMOD Record The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Cristian Riveros Bounded repairability of word languages. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 Two Variable vs. Linear Temporal Logic in Model Checking and Games Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luying Chen, Stefano Ortona, Giorgio Orsi 0001, Michael Benedikt ROSeAnn: Reconciling Opinions of Semantic Annotators. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luying Chen, Stefano Ortona, Giorgio Orsi 0001, Michael Benedikt Aggregating Semantic Annotators. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski Bisimilarity of Pushdown Automata is Nonelementary. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell 0001 Complexity of Two-Variable Logic on Finite Trees. Search on Bibsonomy ICALP (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vince Bárány, Michael Benedikt, Balder ten Cate Rewriting Guarded Negation Queries. Search on Bibsonomy MFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Joost Engelfriet, Sebastian Maneth Determinacy and Rewriting of Top-Down and MSO Tree Transformations. Search on Bibsonomy MFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Tova Milo, Dirk Van Gucht The ACM PODS Alberto O. Mendelzon test-of-time award 2013. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 LTL Model Checking of Interval Markov Chains. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vince Bárány, Michael Benedikt, Pierre Bourhis Access patterns and integrity constraints revisited. Search on Bibsonomy ICDT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Clemens Ley Querying Schemas With Access Restrictions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Benedikt, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski Bisimilarity of Pushdown Systems is Nonelementary Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Clemens Ley Querying Schemas With Access Restrictions. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt Report on PODS 2012. Search on Bibsonomy SIGACT News The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 Verification of Two-Variable Logic Revisited. Search on Bibsonomy QEST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Tim Furche, Andreas Savvides, Pierre Senellart ProFoUnd: program-analysis-based form understanding. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Pierre Bourhis, Pierre Senellart Monadic Datalog Containment. Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Huy Vu Higher­Order Functions and Structured Datatypes. Search on Bibsonomy WebDB The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini (eds.) Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012 Search on Bibsonomy PODS The full citation details ... 2012 DBLP  BibTeX  RDF
1Luying Chen, Michael Benedikt, Evgeny Kharlamov QUASAR: querying annotation, structure, and reasoning. Search on Bibsonomy EDBT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Georg Gottlob, Pierre Senellart Determining Relevance of Accesses at Runtime (Extended Version) Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Huy Vu, Michael Benedikt HOMES: A Higher-Order Mapping Evaluation System. Search on Bibsonomy PVLDB The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Benedikt, Pierre Senellart Databases. Search on Bibsonomy Computer Science, The Hardware, Software and Heart of It The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Cristian Riveros Regular Repair of Specifications. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Cristian Riveros The Cost of Traveling between Languages. Search on Bibsonomy ICALP (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Georg Gottlob, Pierre Senellart Determining relevance of accesses at runtime. Search on Bibsonomy PODS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Huy Vu, Michael Benedikt Complexity of higher-order queries. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 Two Variable vs. Linear Temporal Logic in Model Checking and Games. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller Report on the EDBT/ICDT 2010 workshop on updates in XML. Search on Bibsonomy SIGMOD Record The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Georg Gottlob The Impact of Virtual Views on Containment. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, James Cheney Destabilizers and Independence of XML Updates. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, Pierre Senellart Probabilistic XML via Markov Chains. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Gabriele Puppis, Huy Vu Positive higher-order queries. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order queries
1Michael Benedikt Analysis of declarative updates: invited talk. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Clemens Ley, Gabriele Puppis Automata vs. Logics on Data Words. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Clemens Ley, Gabriele Puppis What You Must Remember When Processing Data Words. Search on Bibsonomy AMW The full citation details ... 2010 DBLP  BibTeX  RDF
1Michael Benedikt, Luc Segoufin Towards a characterization of order-invariant queries over tame graphs. Search on Bibsonomy J. Symb. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Luc Segoufin Regular tree languages definable in FO and in FOmod. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, James Cheney Schema-Based Independence Analysis for XML Updates. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Christoph Koch 0001 From XQuery to relational logics. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clemens Ley, Michael Benedikt How big must complete XML query languages be? Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, James Cheney Semantics, Types and Effects for XML Updates. Search on Bibsonomy DBPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Wenfei Fan, Floris Geerts XPath satisfiability in the presence of DTDs. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, Satisfiability, XPath, Containment, DTDs
1Michael Benedikt, Christoph Koch 0001 XPath leashed. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, XPath
Displaying result #1 - #100 of 153 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license