| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Benedikt, Pierre Bourhis, Clemens Ley |
Querying Schemas With Access Restrictions  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Pierre Bourhis, Clemens Ley |
Querying Schemas With Access Restrictions. |
PVLDB |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Tim Furche, Andreas Savvides, Pierre Senellart |
ProFoUnd: program-analysis-based form understanding. |
WWW (Companion Volume) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Michael Benedikt (eds.) |
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012 |
PODS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Georg Gottlob, Pierre Senellart |
Determining Relevance of Accesses at Runtime (Extended Version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Huy Vu, Michael Benedikt |
HOMES: A Higher-Order Mapping Evaluation System. |
PVLDB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Rastislav Lenhardt, James Worrell |
Two Variable vs. Linear Temporal Logic in Model Checking and Games. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
The Cost of Traveling between Languages. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huy Vu, Michael Benedikt |
Complexity of higher-order queries. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
Regular Repair of Specifications. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Georg Gottlob, Pierre Senellart |
Determining relevance of accesses at runtime. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller |
Report on the EDBT/ICDT 2010 workshop on updates in XML. |
SIGMOD Record |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, James Cheney |
Destabilizers and Independence of XML Updates. |
PVLDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, Pierre Senellart |
Probabilistic XML via Markov Chains. |
PVLDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Georg Gottlob |
The Impact of Virtual Views on Containment. |
PVLDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt |
Analysis of declarative updates: invited talk. |
EDBT/ICDT Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Clemens Ley, Gabriele Puppis |
What You Must Remember When Processing Data Words. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Clemens Ley, Gabriele Puppis |
Automata vs. Logics on Data Words. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Huy Vu |
Positive higher-order queries. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
higher-order queries |
| 1 | Michael Benedikt, Christoph Koch |
From XQuery to relational logics. |
ACM Trans. Database Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Luc Segoufin |
Towards a characterization of order-invariant queries over tame graphs. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, James Cheney |
Schema-Based Independence Analysis for XML Updates. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Luc Segoufin |
Regular tree languages definable in FO and in FOmod. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Ley, Michael Benedikt |
How big must complete XML query languages be? |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, James Cheney |
Semantics, Types and Effects for XML Updates. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
XML, Satisfiability, XPath, Containment, DTDs |
| 1 | Sihem Amer-Yahia, Michael Benedikt, Laks V. S. Lakshmanan, Julia Stoyanovich |
Efficient network aware search in collaborative tagging sites. |
PVLDB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Christoph Koch |
XPath leashed. |
ACM Comput. Surv. |
2008 |
DBLP DOI BibTeX RDF |
XML, XPath |
| 1 | Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild |
Stream firewalling of xml constraints. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
query processing, streams, xpath, xml |
| 1 | Sihem Amer-Yahia, Michael Benedikt, Philip Bohannon |
Challenges in Searching Online Communities. |
IEEE Data Eng. Bull. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt |
Database Theory 2004. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Frank Neven |
Logical definability and query languages over ranked and unranked trees. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Ranked trees, unranked trees, query languages, tree automata, model theory |
| 1 | Michael Benedikt, Alan Jeffrey |
Efficient and Expressive Tree Filters. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke |
A characterization of first-order topological properties of planar spatial data. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Philip Bohannon, Glenn Bruns |
Data Cleaning for Decision Support. |
CleanDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Christoph Koch |
Interpreting Tree-to-Tree Queries. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Wenfei Fan, Gabriel M. Kuper |
Structural properties of XPath fragments. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis |
Analysis of recursive state machines. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata |
| 1 | Michael Benedikt, Luc Segoufin |
Regular Tree Languages Definable in FO. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
Logic, Tree automata |
| 1 | Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas |
Adding Updates to XQuery: Semantics, Optimization, and Static Analysis. |
XIME-P |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Irini Fundulaki |
XML Subtree Queries: Specification and Composition. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas |
Verification of Tree Updates for Optimization. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt |
An Insider's Guide to Logic in Telecommunications Data. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Luc Segoufin |
Towards a Characterization of Order-Invariant Queries over Tame Structures. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Glenn Bruns |
On Guard: Producing Run-Time Checks from Integrity Constraints. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Christof Löding, Jan Van den Bussche, Thomas Wilke |
A Characterization of First-Order Topological Properties of Planar Spatial Data. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, H. Jerome Keisler |
Definability with a predicate for a semi-linear set. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
Definable relations and first-order query languages over strings. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
first-order definability, query languages, Strings, expressive power, quantifier elimination |
| 1 | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
Reachability and connectivity queries in constraint databases. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juliana Freire, Rajeev Rastogi |
Capturing both Types and Constraints in Data Integration. |
SIGMOD Conference |
2003 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Michael Benedikt, Wenfei Fan, Gabriel M. Kuper |
Structural Properties of XPath Fragments. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su |
E-services: a look behind the curtain. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Michael Benedikt, Leonid Libkin |
Aggregate Operators in Constraint Query Languages. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Chee Yong Chan, Wenfei Fan, Rajeev Rastogi, Shihui Zheng, Aoying Zhou |
DTD-Directed Publishing with Attribute Translation Grammars. |
VLDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Tree Extension Algebras: Logics, Automata, and Query Languages. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
Model Checking of Unrestricted Hierarchical State Machines. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
A Model-Theoretic Approach to Regular String Relations. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
String Operations in Query Languages. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
| 1 | Michael Benedikt, Leonid Libkin |
Safe Constraint Queries. |
SIAM J. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Query Safety with Constraints. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Expressive Power: The Finite Case. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, H. Jerome Keisler |
Definability over Linear Constraints. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
Reachability and Connectivity Queries in Constraint Databases. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt |
Hierarchies of Measure-Theoretic Ultrafilters. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Exact and Approximate Aggregation in Constraint Query. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Thomas W. Reps, Shmuel Sagiv |
A Decidable Logic for Describing Linked Data Structures. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Timothy Griffin, Leonid Libkin |
Verifiable Properties of Database Transactions. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt |
Ultrafilters which Extend Measures. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
Relational Expressive Power of Constraint Query Languages. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
constraint query language, database, constraints, expressive power, relational calculus |
| 1 | John T. Baldwin, Michael Benedikt |
Embedded Finite Models, Stability Theory and the Impact of Order. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Safe Constraint Queries. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, H. Jerome Keisler |
Expressive Power of Unary Counters. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, H. Jerome Keisler |
Expressive Power of Unary Counters. |
Structures in Logic and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Languages for Relational Databases over Interpreted Structures. |
PODS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor |
Experience with a Domain Specific Language for Form-based Services. |
DSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
On the Structure of Queries in Constraint Query Languages. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Timothy Griffin, Leonid Libkin |
Verifiable Properties of Database Transactions. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
Relational Expressive Power of Constraint Query Languages. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")