| Publication | Date of Publication | Type |
|---|
Computing on structures
Automata, Languages and Programming | 2019-03-29 | Paper |
| A formal study of collaborative access control in distributed Datalog | 2017-07-14 | Paper |
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Process-centric views of data-driven business artifacts | 2017-06-13 | Paper |
Typechecking XML views of relational databases
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Process-centric views of data-driven business artifacts
Journal of Computer and System Sciences | 2017-05-26 | Paper |
Highly expressive query languages for unordered data trees
Theory of Computing Systems | 2016-04-18 | Paper |
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences | 2007-04-26 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
XML with data values: Typechecking revisited.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1962796 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1953123 (Why is no real title available?) | 2003-07-25 | Paper |
Typechecking for XML transformers
Journal of Computer and System Sciences | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1834677 (Why is no real title available?) | 2002-11-25 | Paper |
On the unusual effectiveness of logic in computer science
The Bulletin of Symbolic Logic | 2001-09-10 | Paper |
On the unusual effectiveness of logic in computer science
The Bulletin of Symbolic Logic | 2001-09-10 | Paper |
Relational transducers for electronic commerce
Journal of Computer and System Sciences | 2001-06-21 | Paper |
Querying spatial databases via topological invariants
Journal of Computer and System Sciences | 2000-12-19 | Paper |
| scientific article; zbMATH DE number 1515862 (Why is no real title available?) | 2000-10-10 | Paper |
Topological queries in spatial databases
Journal of Computer and System Sciences | 2000-09-05 | Paper |
Queries and computation on the web
Theoretical Computer Science | 2000-08-21 | Paper |
Regular path queries with constraints
Journal of Computer and System Sciences | 1999-11-09 | Paper |
Reflective relational machines
Information and Computation | 1999-08-23 | Paper |
Semantics and expressiveness issues in active databases
Journal of Computer and System Sciences | 1999-08-08 | Paper |
A probabilistic view of Datalog parallelization
Theoretical Computer Science | 1998-06-30 | Paper |
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM | 1998-01-22 | Paper |
Non-determinism in logic-based languages
Annals of Mathematics and Artificial Intelligence | 1997-10-27 | Paper |
Rule-based languages
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 1059245 (Why is no real title available?) | 1997-09-10 | Paper |
Static and dynamic aspects of goal-oriented concurrency control
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Computing with infinitary logic
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 839556 (Why is no real title available?) | 1996-01-30 | Paper |
Computing with first-order logic
Journal of Computer and System Sciences | 1995-12-17 | Paper |
Tractable query languages for complex object databases
Journal of Computer and System Sciences | 1995-10-25 | Paper |
| scientific article; zbMATH DE number 219196 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 176244 (Why is no real title available?) | 1993-05-18 | Paper |
Conceptual level concurrency control of relational update transactions
Theoretical Computer Science | 1992-06-28 | Paper |
Datalog extensions for database queries and updates
Journal of Computer and System Sciences | 1992-06-25 | Paper |
Procedural languages for database queries and updates
Journal of Computer and System Sciences | 1990-01-01 | Paper |
Parallel update transactions
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4180775 (Why is no real title available?) | 1989-01-01 | Paper |
A transaction-based approach to relational database specification
Journal of the ACM | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4058916 (Why is no real title available?) | 1988-01-01 | Paper |
Equivalence and optimization of relational transactions
Journal of the ACM | 1988-01-01 | Paper |
Database survivability under dynamic constraints
Acta Informatica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3667980 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3692695 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3692696 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3582884 (Why is no real title available?) | 1977-01-01 | Paper |
