| Publication | Date of Publication | Type |
|---|
A computational model for generic graph functions
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Calculi for symmetric queries
Journal of Computer and System Sciences | 2019-08-07 | Paper |
A formal and unified description of XML manipulation languages
Fundamenta Informaticae | 2017-07-28 | Paper |
Implication and axiomatization of functional and constant constraints
Annals of Mathematics and Artificial Intelligence | 2016-05-23 | Paper |
Structural characterizations of the navigational expressiveness of relation algebras on a tree
Journal of Computer and System Sciences | 2015-12-11 | Paper |
Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Simplifying XML schema: single-type approximations of regular tree languages
Journal of Computer and System Sciences | 2014-01-20 | Paper |
The navigational power of web browsers
Theory of Computing Systems | 2012-12-06 | Paper |
What about Constraints in RDF?
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
Constraints in RDF
Semantics in Data and Knowledge Bases | 2011-09-16 | Paper |
On-the-fly auditing of business processes
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
On instance-completeness for database query languages involving object creation.
Journal of Computer and System Sciences | 2008-12-21 | Paper |
Applying an update method to a set of receivers
ACM Transactions on Database Systems | 2008-06-18 | Paper |
First‐Order Languages Expressing Constructible Spatial Database Queries
SIAM Journal on Computing | 2008-01-03 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Solving Equations in the Relational Algebra
SIAM Journal on Computing | 2005-02-21 | Paper |
| scientific article; zbMATH DE number 2086669 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080474 (Why is no real title available?) | 2004-08-04 | Paper |
Axiomatization of frequent itemsets
Theoretical Computer Science | 2003-01-21 | Paper |
Topological elementary equivalence of closed semi-algebraic sets in the real plane
The Journal of Symbolic Logic | 2001-12-07 | Paper |
| scientific article; zbMATH DE number 1515863 (Why is no real title available?) | 2000-11-20 | Paper |
First-Order Queries on Finite Structures Over the Reals
SIAM Journal on Computing | 1998-09-21 | Paper |
Data models and query languages for spatial databases
Data & Knowledge Engineering | 1998-08-13 | Paper |
Merging graph-based and rule-based computation: The language G-Log
Data & Knowledge Engineering | 1998-08-13 | Paper |
Expressiveness and complexity of generic graph machines
Theory of Computing Systems | 1998-06-08 | Paper |
The complexity of the evaluation of complex algebra expressions
Journal of Computer and System Sciences | 1998-06-01 | Paper |
The expressive power of complex values in object-based data models
Information and Computation | 1995-10-29 | Paper |
A Grammar-Based Approach Towards Unifying Hierarchical Data Models
SIAM Journal on Computing | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 219233 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 219209 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 43047 (Why is no real title available?) | 1993-01-23 | Paper |
Checking functional consistency in deductive databases
Information Processing Letters | 1990-01-01 | Paper |
On a hierarchy of classes for nested databases
Information Processing Letters | 1990-01-01 | Paper |
A uniform approach toward handling atomic and structured information in the nested relational database model
Journal of the ACM | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4076681 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3995095 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3967884 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3834013 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3829302 (Why is no real title available?) | 1983-01-01 | Paper |
An algorithm for horizontal decompositions
Information Processing Letters | 1983-01-01 | Paper |
Another view of functional and multivalued dependencies in the relational database model
International Journal of Computer & Information Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3675344 (Why is no real title available?) | 1980-01-01 | Paper |
The interaction of integrity constraints in an information system
Journal of Computer and System Sciences | 1980-01-01 | Paper |
