| Publication | Date of Publication | Type |
|---|
Systematic Refinement of Abstract State Machines with Higher-Order Logic
Lecture Notes in Computer Science | 2023-03-10 | Paper |
A restricted second-order logic for non-deterministic poly-logarithmic time
Logic Journal of the IGPL | 2022-06-16 | Paper |
Descriptive complexity of deterministic polylogarithmic time and space
Journal of Computer and System Sciences | 2021-04-14 | Paper |
Proper hierarchies in polylogarithmic time and absence of complete problems
(available as arXiv preprint) | 2020-10-26 | Paper |
Descriptive complexity of deterministic polylogarithmic time
(available as arXiv preprint) | 2020-03-04 | Paper |
| On fragments of higher order logics that on finite structures collapse to second order | 2017-12-20 | Paper |
Relational Complexity and Higher Order Logics
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Semantic restrictions over second-order logic
Semantics in Data and Knowledge Bases | 2015-12-08 | Paper |
A study of homogeneity in relational databases
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF
Logic Journal of the IGPL | 2015-02-27 | Paper |
Expressibility of higher order logics
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Computable queries for object oriented databases
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
\(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
| The complexity of \(\mathit{AUTOSAT}(\Sigma^i_m)\) | 2011-03-30 | Paper |
| Redundant relations in relational databases: a model theoretic perspective | 2011-02-10 | Paper |
Complete Problems for Higher Order Logics
Computer Science Logic | 2009-03-12 | Paper |
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Games on Trees and Syntactical Complexity of Formulas
Logic Journal of the IGPL | 2008-01-18 | Paper |
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
| scientific article; zbMATH DE number 5060895 (Why is no real title available?) | 2006-10-05 | Paper |
Computing queries with higher-order logics
Theoretical Computer Science | 2006-04-28 | Paper |
A Theory of Local Set Queries
Logic Journal of the IGPL | 2005-08-03 | Paper |
| scientific article; zbMATH DE number 2080032 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1950753 (Why is no real title available?) | 2003-07-20 | Paper |
On the expressibility and the computability of untyped queries
Annals of Pure and Applied Logic | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1507289 (Why is no real title available?) | 2001-05-20 | Paper |
| scientific article; zbMATH DE number 1361526 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1302496 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1264546 (Why is no real title available?) | 1999-03-18 | Paper |
| scientific article; zbMATH DE number 1264546 (Why is no real title available?) | 1999-03-18 | Paper |
The Space Complexity of Elimination Theory: Upper Bounds
Foundations of Computational Mathematics | 1997-05-12 | Paper |
