| Publication | Date of Publication | Type |
|---|
A Researcher's Digest of GQL (invited talk)
| 2024-10-08 | Paper |
Decomposition of domains
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers
| 2022-07-21 | Paper |
Propositional and predicate logics of incomplete information
Artificial Intelligence | 2021-12-13 | Paper |
TriAL: a navigational algebra for RDF triplestores
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Naïve evaluation of queries over incomplete databases
ACM Transactions on Database Systems | 2021-11-25 | Paper |
SQL's three-valued logic and certain answers
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Static analysis and query answering for incomplete data trees with constraints
| 2018-10-18 | Paper |
Querying Graphs with Data
Journal of the ACM | 2018-08-02 | Paper |
Pattern logics and auxiliary relations
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Path logics for querying graphs: combining expressiveness and efficiency
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Logical definability and query languages over ranked and unranked trees
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Negative knowledge for certain query answers
Web Reasoning and Rule Systems | 2017-06-20 | Paper |
SQL's three-valued logic and certain answers
| 2017-06-13 | Paper |
Logics with counting and local properties
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Logics capturing local properties
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Variable independence for first-order definable constraints
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Graph Logics with Rational Relations and the Generalized Intersection Problem
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Synchronizing relations on words
| 2017-03-03 | Paper |
Order-invariant types and their applications
Logical Methods in Computer Science | 2016-04-19 | Paper |
Certain answers over incomplete XML documents: extending tractability boundary
Theory of Computing Systems | 2016-04-18 | Paper |
Certain answers as objects and knowledge
Artificial Intelligence | 2016-02-09 | Paper |
Synchronizing relations on words
Theory of Computing Systems | 2016-01-28 | Paper |
Relational queries over interpreted structures
Journal of the ACM | 2015-12-17 | Paper |
On XML integrity constraints in the presence of DTDs
Journal of the ACM | 2015-12-07 | Paper |
Definable relations and first-order query languages over strings
Journal of the ACM | 2015-11-12 | Paper |
Regular expressions for data words
Journal of Computer and System Sciences | 2015-07-13 | Paper |
Efficient Approximations of Conjunctive Queries
SIAM Journal on Computing | 2014-09-18 | Paper |
XML schema mappings, data exchange and metadata management
Journal of the ACM | 2014-09-12 | Paper |
Querying regular graph patterns
Journal of the ACM | 2014-09-12 | Paper |
On the aggregation problem for synthesized web services
Journal of Computer and System Sciences | 2014-01-20 | Paper |
Solutions and query rewriting in data exchange
Information and Computation | 2013-12-19 | Paper |
Graph logics with rational relations
Logical Methods in Computer Science | 2013-09-06 | Paper |
Regular expressions with binding over data words for querying graph databases
Developments in Language Theory | 2013-06-28 | Paper |
Parameterized regular expressions and their languages
Theoretical Computer Science | 2013-03-27 | Paper |
Tractable XML data exchange via relations
Frontiers of Computer Science | 2012-11-15 | Paper |
Parameterized regular expressions and their languages
| 2012-08-31 | Paper |
Regular expressions for data words
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Regular languages of nested words: fixed points, automata, and synchronization
Theory of Computing Systems | 2011-11-30 | Paper |
XML with incomplete information
Journal of the ACM | 2011-05-16 | Paper |
Data exchange and schema mappings in open and closed worlds
Journal of Computer and System Sciences | 2011-05-04 | Paper |
Relational and XML Data Exchange
Synthesis Lectures on Data Management | 2010-11-19 | Paper |
On the satisfiability of two-variable logic over data words
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Disjoint pattern matching and implication in strings
Information Processing Letters | 2010-09-02 | Paper |
Reasoning about XML with temporal logics and automata
Journal of Applied Logic | 2010-06-11 | Paper |
Algorithmic metatheorems for decidable LTL model checking over infinite systems
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
scientific article; zbMATH DE number 5605101 (Why is no real title available?)
| 2009-09-19 | Paper |
On the Complexity of Verifying Consistency of XML Specifications
SIAM Journal on Computing | 2009-06-22 | Paper |
First-Order and Temporal Logics for Nested Words
Logical Methods in Computer Science | 2009-04-29 | Paper |
A collapse result for constraint queries over structures of small degree
Information Processing Letters | 2009-03-23 | Paper |
Recurrent Reachability Analysis in Regular Model Checking
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Reasoning about XML with Temporal Logics and Automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
XML data exchange
Journal of the ACM | 2008-12-21 | Paper |
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM | 2008-12-21 | Paper |
Game-based notions of locality over finite models
Annals of Pure and Applied Logic | 2008-03-28 | Paper |
Logics with aggregate operators
Journal of the ACM | 2008-02-11 | Paper |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Automata, Languages and Programming | 2007-11-28 | Paper |
Logics for Unranked Trees: An Overview
Logical Methods in Computer Science | 2007-10-11 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
scientific article; zbMATH DE number 2185689 (Why is no real title available?)
| 2005-07-04 | Paper |
Elements of finite model theory.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
Finite model theory and its applications.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
scientific article; zbMATH DE number 2080398 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2080461 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1995179 (Why is no real title available?)
| 2003-10-21 | Paper |
Incremental recomputation in local languages.
Information and Computation | 2003-08-19 | Paper |
Expressive power of SQL.
Theoretical Computer Science | 2003-08-17 | Paper |
scientific article; zbMATH DE number 1945841 (Why is no real title available?)
| 2003-07-03 | Paper |
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences | 2003-06-25 | Paper |
scientific article; zbMATH DE number 1515859 (Why is no real title available?)
| 2003-02-12 | Paper |
Lower bounds for invariant queries in logics with counting.
Theoretical Computer Science | 2003-01-21 | Paper |
Aggregate operators in constraint query languages
Journal of Computer and System Sciences | 2002-09-12 | Paper |
On the orthographic dimension of definable sets
Information Processing Letters | 2002-07-14 | Paper |
scientific article; zbMATH DE number 1670829 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1515858 (Why is no real title available?)
| 2000-10-10 | Paper |
scientific article; zbMATH DE number 1500519 (Why is no real title available?)
| 2000-09-04 | Paper |
Local properties of query languages
Theoretical Computer Science | 2000-08-21 | Paper |
Notions of locality and their logical characterizations over finite models
Journal of Symbolic Logic | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1453077 (Why is no real title available?)
| 2000-05-25 | Paper |
Safe Constraint Queries
SIAM Journal on Computing | 2000-03-19 | Paper |
scientific article; zbMATH DE number 1392307 (Why is no real title available?)
| 2000-01-25 | Paper |
Verifiable properties of database transactions
Information and Computation | 1999-03-22 | Paper |
Relational expressive power of constraint query languages
Journal of the ACM | 1998-12-10 | Paper |
scientific article; zbMATH DE number 1136077 (Why is no real title available?)
| 1998-07-20 | Paper |
Models of approximation in databases
Theoretical Computer Science | 1998-06-30 | Paper |
Query languages for bags and aggregate functions
Journal of Computer and System Sciences | 1998-05-25 | Paper |
On representation and querying incomplete information in databases with bags
Information Processing Letters | 1997-02-27 | Paper |
Semantic representations and query languages for or-sets
Journal of Computer and System Sciences | 1996-07-16 | Paper |
\(n\)-distributivity, dimension and Carathéodory's theorem
Algebra Universalis | 1996-03-05 | Paper |
Trees as semilattices
Discrete Mathematics | 1996-01-21 | Paper |
Direct decompositions of atomistic algebraic lattices
Algebra Universalis | 1995-02-22 | Paper |
Conservativity of nested relational calculi with internal generic functions
Information Processing Letters | 1994-05-03 | Paper |
The lattice of subsemilattices of a semilattice
Algebra Universalis | 1994-04-12 | Paper |
Direct product decompositions of lattices, closures and relation schemes
Discrete Mathematics | 1993-08-30 | Paper |
A remark about algebraicity in complete partial orders
Journal of Pure and Applied Algebra | 1993-06-29 | Paper |
scientific article; zbMATH DE number 220049 (Why is no real title available?)
| 1993-06-29 | Paper |
scientific article; zbMATH DE number 168430 (Why is no real title available?)
| 1993-05-16 | Paper |
scientific article; zbMATH DE number 168431 (Why is no real title available?)
| 1993-05-16 | Paper |
Parallel axiom in convexity lattices
Periodica Mathematica Hungarica | 1993-02-08 | Paper |
Functional dependencies in relational databases: A lattice point of view
Discrete Applied Mathematics | 1993-01-31 | Paper |
scientific article; zbMATH DE number 59572 (Why is no real title available?)
| 1992-09-27 | Paper |
Minimal sets of choice functions generating the basic classes
Automation and Remote Control | 1992-06-25 | Paper |
Separatory sublattices and subsemilattices
| 1992-01-01 | Paper |
scientific article; zbMATH DE number 4209578 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4201601 (Why is no real title available?)
| 1990-01-01 | Paper |
Absolutely determined matrices
Mathematical Social Sciences | 1990-01-01 | Paper |
Quasilinear set functions and absolute definite matrices
Automation and Remote Control | 1989-01-01 | Paper |
Quasilinear monotone systems
Automation and Remote Control | 1989-01-01 | Paper |
Recognition of choice functions
Automation and Remote Control | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4106921 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4106922 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4105028 (Why is no real title available?)
| 1988-01-01 | Paper |
