| Publication | Date of Publication | Type |
|---|
| How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History | 2024-11-08 | Dataset |
| A framework for cost based optimization of hybrid CPU/GPU query plans in database systems | 2015-08-10 | Paper |
XML data clustering: an overview
ACM Computing Surveys | 2014-08-13 | Paper |
| scientific article; zbMATH DE number 5014142 (Why is no real title available?) | 2006-03-22 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2229976 (Why is no real title available?) | 2005-11-17 | Paper |
A comprehensive database schema integration method based on the theory of formal concepts
Acta Informatica | 2005-08-02 | Paper |
| scientific article; zbMATH DE number 2155528 (Why is no real title available?) | 2005-04-12 | Paper |
| scientific article; zbMATH DE number 2088754 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2017855 (Why is no real title available?) | 2003-12-15 | Paper |
| scientific article; zbMATH DE number 2017854 (Why is no real title available?) | 2003-12-15 | Paper |
Interactive example-driven integration and reconciliation for accessing database federations.
Information Systems | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1934219 (Why is no real title available?) | 2003-06-24 | Paper |
| scientific article; zbMATH DE number 1931727 (Why is no real title available?) | 2003-06-20 | Paper |
Global extensional assertions and local integrity constraints in federated schemata
Information Systems | 2003-02-20 | Paper |
A two-level temporal logic for evolving specifications.
Information Processing Letters | 2003-01-21 | Paper |
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1712393 (Why is no real title available?) | 2002-03-12 | Paper |
| scientific article; zbMATH DE number 1717355 (Why is no real title available?) | 2002-03-07 | Paper |
| scientific article; zbMATH DE number 1708003 (Why is no real title available?) | 2002-02-19 | Paper |
Deriving liveness goals from temporal logic specifications
Journal of Symbolic Computation | 2001-11-25 | Paper |
| Algorithms and data structures. An introduction using Java | 2001-11-20 | Paper |
Consistency management in object-oriented databases
Concurrency and Computation: Practice & Experience | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1462107 (Why is no real title available?) | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1182726 (Why is no real title available?) | 1999-06-09 | Paper |
| scientific article; zbMATH DE number 1182732 (Why is no real title available?) | 1999-02-02 | Paper |
| scientific article; zbMATH DE number 1015086 (Why is no real title available?) | 1997-05-29 | Paper |
Monitoring temporal preconditions in a behaviour oriented object model
Data & Knowledge Engineering | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 946440 (Why is no real title available?) | 1996-11-17 | Paper |
| scientific article; zbMATH DE number 703707 (Why is no real title available?) | 1994-12-15 | Paper |
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
Acta Informatica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4201606 (Why is no real title available?) | 1989-01-01 | Paper |
Monitoring dynamic integrity constraints based on temporal logic
Information Systems | 1987-01-01 | Paper |
