| Publication | Date of Publication | Type |
|---|
When is ontology-mediated querying efficient?
| 2024-12-19 | Paper |
Separating automatic relations
| 2024-12-03 | Paper |
Semantic Optimization of Conjunctive Queries
Journal of the ACM | 2022-12-08 | Paper |
The Complexity of Counting Problems Over Incomplete Databases
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
scientific article; zbMATH DE number 7561596 (Why is no real title available?)
| 2022-07-21 | Paper |
scientific article; zbMATH DE number 7561597 (Why is no real title available?)
| 2022-07-21 | Paper |
Guarded Ontology-Mediated Queries
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Regularizing conjunctive features for classification
Journal of Computer and System Sciences | 2021-04-14 | Paper |
scientific article; zbMATH DE number 7297854 (Why is no real title available?)
| 2021-01-19 | Paper |
A more general theory of static approximations for conjunctive queries
| 2020-08-06 | Paper |
A more general theory of static approximations for conjunctive queries
Theory of Computing Systems | 2020-07-02 | Paper |
The complexity of reverse engineering problems for conjunctive queries
| 2018-07-18 | Paper |
Graph logics with rational relations: the role of word combinatorics
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 |
Bisimulations on Data Graphs
Journal of Artificial Intelligence Research | 2018-03-07 | Paper |
Graph logics with rational relations: the role of word combinatorics
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
On the data complexity of consistent query answering over graph databases
Journal of Computer and System Sciences | 2017-06-30 | Paper |
On the data complexity of consistent query answering over graph databases
| 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 |
String solving with word equations and transducers: towards a logic for analysing mutation XSS
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Semantic acyclicity for conjunctive queries: approximations and constraints
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Semantic acyclicity on graph databases
SIAM Journal on Computing | 2016-08-16 | Paper |
Order-invariant types and their applications
Logical Methods in Computer Science | 2016-04-19 | Paper |
Expressive path queries on graph with data
Logical Methods in Computer Science | 2015-10-29 | Paper |
Efficient Approximations of Conjunctive Queries
SIAM Journal on Computing | 2014-09-18 | Paper |
Querying regular graph patterns
Journal of the ACM | 2014-09-12 | Paper |
Expressive path queries on graphs with data
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | 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 |
Parameterized regular expressions and their languages
Theoretical Computer Science | 2013-03-27 | Paper |
Parameterized regular expressions and their languages
| 2012-08-31 | Paper |
Regular languages of nested words: fixed points, automata, and synchronization
Theory of Computing Systems | 2011-11-30 | Paper |
Query languages for data exchange: beyond unions of conjunctive queries
Theory of Computing Systems | 2011-10-11 | Paper |
XML with incomplete information
Journal of the ACM | 2011-05-16 | Paper |
Relational and XML Data Exchange
Synthesis Lectures on Data Management | 2010-11-19 | Paper |
First-Order and Temporal Logics for Nested Words
Logical Methods in Computer Science | 2009-04-29 | Paper |
Game-based notions of locality over finite models
Annals of Pure and Applied Logic | 2008-03-28 | Paper |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Automata, Languages and Programming | 2007-11-28 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
scientific article; zbMATH DE number 1954112 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1950744 (Why is no real title available?)
| 2003-07-20 | Paper |
