| Publication | Date of Publication | Type |
|---|
| Computing on structures | 2019-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5276189 | 2017-07-14 | Paper |
| Finite state machines for strings over infinite alphabets | 2017-07-12 | Paper |
| Process-Centric Views of Data-Driven Business Artifacts | 2017-06-13 | Paper |
| Typechecking XML views of relational databases | 2017-06-13 | Paper |
| Process-centric views of data-driven business artifacts | 2017-05-26 | Paper |
| Highly expressive query languages for unordered data trees | 2016-04-18 | Paper |
| Specification and verification of data-driven Web applications | 2007-04-26 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| XML with data values: Typechecking revisited. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418631 | 2003-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414525 | 2003-07-25 | Paper |
| Typechecking for XML transformers | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779173 | 2002-11-25 | Paper |
| On the unusual effectiveness of logic in computer science | 2001-09-10 | Paper |
| Relational transducers for electronic commerce | 2001-06-21 | Paper |
| Querying spatial databases via topological invariants | 2000-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508943 | 2000-10-10 | Paper |
| Topological queries in spatial databases | 2000-09-05 | Paper |
| Queries and computation on the web | 2000-08-21 | Paper |
| Regular path queries with constraints | 1999-11-09 | Paper |
| Reflective relational machines | 1999-08-23 | Paper |
| Semantics and expressiveness issues in active databases | 1999-08-08 | Paper |
| A probabilistic view of Datalog parallelization | 1998-06-30 | Paper |
| Fixpoint logics, relational machines, and computational complexity | 1998-01-22 | Paper |
| Non-determinism in logic-based languages | 1997-10-27 | Paper |
| Rule-based languages | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353560 | 1997-09-10 | Paper |
| Static and dynamic aspects of goal-oriented concurrency control | 1997-05-13 | Paper |
| Computing with infinitary logic | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864249 | 1996-01-30 | Paper |
| Computing with first-order logic | 1995-12-17 | Paper |
| Tractable query languages for complex object databases | 1995-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694686 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035348 | 1993-05-18 | Paper |
| Conceptual level concurrency control of relational update transactions | 1992-06-28 | Paper |
| Datalog extensions for database queries and updates | 1992-06-25 | Paper |
| Procedural languages for database queries and updates | 1990-01-01 | Paper |
| Parallel update transactions | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204028 | 1989-01-01 | Paper |
| A transaction-based approach to relational database specification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793772 | 1988-01-01 | Paper |
| Equivalence and optimization of relational transactions | 1988-01-01 | Paper |
| Database survivability under dynamic constraints | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3865480 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886909 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886910 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151379 | 1977-01-01 | Paper |
