Christoph Koch

Peter Lindner

Proc. ACM Manag. Data, 2024

2023

When is it safe to run a transactional workload under Read Committed?

[BibT_eX]

[DOI]

SIGMOD Rec., 2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, 2023

Robustness against Read Committed for Transaction Templates with Functional Constraints.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Aggregation and Exploration of High-Dimensional Data Using the Sudokube Data Cube Engine.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

2022

Concurrency control for database theorists.

[BibT_eX]

[DOI]

SIGMOD Rec., December, 2022

Deciding Robustness for Lower SQL Isolation Levels.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2022

High-dimensional Data Cubes.

[BibT_eX]

[DOI]

Sachin Basil John

Proc. VLDB Endow., 2022

Robustness Against Read Committed: A Free Transactional Lunch.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Robustness against Read Committed for Transaction Templates.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

The Collaborative Research Center FONDA.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2021

2020

Synthesis of Incremental Linear Algebra Programs.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2020

Datalog with Negation and Monotonicity.

[BibT_eX]

[DOI]

Bas Ketsman

Proceedings of the 23rd International Conference on Database Theory, 2020

Optimus Prime: Accelerating Data Transformation in Servers.

[BibT_eX]

[DOI]

Arash Pourhabibi Zarandi

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Database Theory Column Report on PODS 2019.

[BibT_eX]

[DOI]

SIGACT News, 2019

Compiler generation for performance-oriented embedded DSLs (short paper).

[BibT_eX]

[DOI]

Vojin Jovanovic

Christoph E. Koch

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Query Optimization by Quantifier Elimination.

[BibT_eX]

[DOI]

Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

2018

Uncertain Data Models.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

XML Stream Processing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Parameterized Complexity of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Logical Foundations of Web Data Extraction.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Building Efficient Query Engines in a High-Level Language.

[BibT_eX]

[DOI]

Yannis Klonatos

ACM Trans. Database Syst., 2018

Unifying analytic and statically-typed quasiquotes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Push versus pull-based loop fusion in query engines.

[BibT_eX]

[DOI]

Mohammad Dashti

J. Funct. Program., 2018

A Compiler-Compiler for DSL Embedding.

[BibT_eX]

[DOI]

Vojin Jovanovic

CoRR, 2018

Compiling Database Application Programs.

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Differentiable Programming in a Functional Array-Processing Language.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Big Data.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2017

Solving the Join Ordering Problem via Mixed Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Transaction Repair for Multi-Version Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Squid: type-safe, hygienic, and reusable quasiquotes.

[BibT_eX]

[DOI]

Lionel Parreaux

Christoph E. Koch

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data.

[BibT_eX]

[DOI]

Andreas Pieris

Proceedings of the Language and Automata Theory and Applications, 2017

Quoted staged rewriting: a practical approach to library-defined optimizations.

[BibT_eX]

[DOI]

Lionel Parreaux

Christoph E. Koch

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016

Multi-Objective Parametric Query Optimization.

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Squall: Scalable Real-time Analytics.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

Parallelizing Query Optimization on Shared-Nothing Architectures.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

Multiple Query Optimization on the D-Wave 2X Adiabatic Quantum Computer.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

Push vs. Pull-Based Loop Fusion in Query Engines.

[BibT_eX]

[DOI]

Mohammad Dashti

CoRR, 2016

Repairing Conflicts among MVCC Transactions.

[BibT_eX]

[DOI]

CoRR, 2016

A Fast Randomized Algorithm for Multi-Objective Query Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

How to Architect a Query Compiler.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

How to Win a Hot Dog Eating Contest: Distributed Incremental View Maintenance with Batch Updates.

[BibT_eX]

[DOI]

Milos Nikolic

Mohammad Dashti

Proceedings of the 2016 International Conference on Management of Data, 2016

Incremental View Maintenance For Collection Programming.

[BibT_eX]

[DOI]

Daniel Lupei

Val Tannen

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Load balancing and skew resilience for parallel joins.

[BibT_eX]

[DOI]

Aleksandar Vitorovic

Mohammed Elseidy

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

2015

Special issue on best papers of VLDB 2013.

[BibT_eX]

[DOI]

Michael H. Böhlen

VLDB J., 2015

Probably Approximately Optimal Query Optimization.

[BibT_eX]

[DOI]

CoRR, 2015

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

An Incremental Anytime Algorithm for Multi-Objective Query Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

2014

DBToaster: higher-order delta processing for dynamic, frequently fresh views.

[BibT_eX]

[DOI]

VLDB J., 2014

Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864).

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Building Efficient Query Engines in a High-Level Language.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Scalable and Adaptive Online Joins.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Abstraction Without Regret in Database Systems Building: a Manifesto.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2014

Incremental View Maintenance for Nested-Relational Databases.

[BibT_eX]

[DOI]

Daniel Lupei

Val Tannen

CoRR, 2014

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

[BibT_eX]

[DOI]

CoRR, 2014

Approximation schemes for many-objective query optimization.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Management of Data, 2014

LINVIEW: incremental view maintenance for complex analytical queries.

[BibT_eX]

[DOI]

Milos Nikolic

Mohammed Elseidy

Proceedings of the International Conference on Management of Data, 2014

Yin-yang: concealing the deep embedding of DSLs.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Front Matter.

[BibT_eX]

[DOI]

Michael H. Böhlen

Proc. VLDB Endow., 2013

Automatic synthesis of out-of-core algorithms.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Fine-grained disclosure control for app ecosystems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Sparse projections onto the simplex.

[BibT_eX]

[DOI]

Anastasios Kyrillidis

Stephen Becker

Volkan Cevher

Proceedings of the 30th International Conference on Machine Learning, 2013

Sparse simplex projections for portfolio optimization.

[BibT_eX]

[DOI]

Anastasios Kyrillidis

Stephen Becker

Volkan Cevher

Proceedings of the IEEE Global Conference on Signal and Information Processing, 2013

Abstraction without regret in data management systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Quantum Databases.

[BibT_eX]

[DOI]

Sudip Roy

Lucja Kot

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

Loop Elimination for Database Updates.

[BibT_eX]

[DOI]

Vadim Savenkov

Proceedings of the Big Data - 29th British National Conference on Databases, 2013

Compilation and Synthesis in Big Data Analytics.

[BibT_eX]

[DOI]

Proceedings of the Big Data - 29th British National Conference on Databases, 2013

2012

Entangled queries: Enabling declarative data-driven coordination.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2012

DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2012

2011

Probabilistic Databases

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01879-4, 2011

Entangled Transactions.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2011

Coordination through querying in the youtopia system.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

DBToaster: Agile Views for a Dynamic Data Management System.

[BibT_eX]

[DOI]

Oliver Kennedy

Yanif Ahmad

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

2010

Beyond isolation: research opportunities in declarative data-driven coordination.

[BibT_eX]

[DOI]

SIGMOD Rec., 2010

Causality in Databases.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2010

Markov Chain Monte Carlo and Databases - (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

Incremental query evaluation in a ring of databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On probabilistic fixpoint and Markov chain query languages.

[BibT_eX]

[DOI]

Daniel Deutch

Tova Milo

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Approximate confidence computation in probabilistic databases.

[BibT_eX]

[DOI]

Jiewen Huang

Proceedings of the 26th International Conference on Data Engineering, 2010

PIP: A database system for great and small expectations.

[BibT_eX]

[DOI]

Oliver Kennedy

Proceedings of the 26th International Conference on Data Engineering, 2010

2009

XML Stream Processing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Parameterized Complexity of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Logical Foundations of Web Data Extraction.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

10<sup>(10<sup>6</sup>)</sup> worlds and beyond: efficient representation and processing of incomplete information.

[BibT_eX]

[DOI]

VLDB J., 2009

From XQuery to relational logics.

[BibT_eX]

[DOI]

Michael Benedikt

Marcos Antonio Vaz Salles

ACM Trans. Database Syst., 2009

An Evaluation of Checkpoint Recovery for Massively Multiplayer Online Games.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2009

Cooperative Update Exchange in the Youtopia System.

[BibT_eX]

[DOI]

Lucja Kot

Proc. VLDB Endow., 2009

DBToaster: A SQL Compiler for High-Performance Delta Processing in Main-Memory Databases.

[BibT_eX]

[DOI]

Yanif Ahmad

Proc. VLDB Endow., 2009

Efficient algorithms for descendant-only tree pattern queries.

[BibT_eX]

[DOI]

Michaela Götz

Wim Martens

Inf. Syst., 2009

Applications of Automata in XML Processing.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2009

MayBMS: a probabilistic database management system.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

Database research in computer games.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

A compositional query algebra for second-order logic and uncertain databases.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

A compositional framework for complex queries over uncertain data.

[BibT_eX]

[DOI]

Michaela Götz

Proceedings of the Database Theory, 2009

SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic Databases.

[BibT_eX]

[DOI]

Jiewen Huang

Proceedings of the 25th International Conference on Data Engineering, 2009

Dynamic Approaches to In-network Aggregation.

[BibT_eX]

[DOI]

Oliver Kennedy

Alan J. Demers

Proceedings of the 25th International Conference on Data Engineering, 2009

Rule-based multi-query optimization.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

2008

World-set decompositions: Expressiveness and efficient algorithms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

On Query Algebras for Probabilistic Databases.

[BibT_eX]

[DOI]

SIGMOD Rec., 2008

Better Scripts, Better Games.

[BibT_eX]

[DOI]

ACM Queue, 2008

Conditioning probabilistic databases.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

Information systems preface.

[BibT_eX]

[DOI]

Gavin M. Bierman

Inf. Syst., 2008

XPath leashed.

[BibT_eX]

[DOI]

Michael Benedikt

ACM Comput. Surv., 2008

Approximating predicates and expressive queries on probabilistic databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

On APIs for probabilistic databases.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Quality in Databases and Management of Uncertain Data, 2008

XML Prefiltering as a String Matching Problem.

[BibT_eX]

[DOI]

Michael Schmidt

Proceedings of the 24th International Conference on Data Engineering, 2008

Fast and Simple Relational Processing of Uncertain Data.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Data Engineering, 2008

08421 Working Group: Classification, Representation and Modeling.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Management in Information Systems, 12.10. - 17.10.2008, 2008

08421 Executive Summary - Uncertainty Management in Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Management in Information Systems, 12.10. - 17.10.2008, 2008

08421 Abstracts Collection - Uncertainty Management in Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Management in Information Systems, 12.10. - 17.10.2008, 2008

08421 Working Group: Report of the Probabilistic Databases Benchmarking.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Management in Information Systems, 12.10. - 17.10.2008, 2008

2007

Attribute grammars for scalable query processing on XML streams.

[BibT_eX]

[DOI]

VLDB J., 2007

Tight lower bounds for query processing on streaming and external memory data.

[BibT_eX]

[DOI]

Nicole Schweikardt

Theor. Comput. Sci., 2007

Database research opportunities in computer games.

[BibT_eX]

[DOI]

SIGMOD Rec., 2007

The GCX System: Dynamic Buffer Minimization in Streaming XQuery Evaluation.

[BibT_eX]

[DOI]

Michael Schmidt

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Query language support for incomplete information in the MayBMS system.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Scaling games to epic proportion.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Massively multi-query join processing in publish/subscribe systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

From complete to incomplete information and back.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

XPath Leashed.

[BibT_eX]

[DOI]

Proceedings of the PLAN-X 2007, 2007

Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery Evaluation.

[BibT_eX]

[DOI]

Michael Schmidt

Proceedings of the 23rd International Conference on Data Engineering, 2007

MayBMS: Managing Incomplete Information with Probabilistic World-Set Decompositions.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering, 2007

Efficient Algorithms for the Tree Homeomorphism Problem.

[BibT_eX]

[DOI]

Michaela Götz

Wim Martens

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

On the complexity of nonrecursive XQuery and functional query languages on complex values.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2006

Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005).

[BibT_eX]

[DOI]

Gavin M. Bierman

SIGMOD Rec., 2006

Conjunctive queries over trees.

[BibT_eX]

[DOI]

Klaus U. Schulz

J. ACM, 2006

10^(10^6) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information

[BibT_eX]

[DOI]

CoRR, 2006

A Visual Query Language for Complex-Value Databases

[BibT_eX]

[DOI]

CoRR, 2006

Building a Native XML-DBMS as a Term Project in a Database Systems Course.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on XQuery Implementation, 2006

A Formal Comparison of Visual Web Wrapper Generators.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

Processing queries on tree-structured data efficiently.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Interpreting Tree-to-Tree Queries.

[BibT_eX]

[DOI]

Michael Benedikt

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Efficient algorithms for processing XPath queries.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2005

The complexity of XPath query evaluation and XML typing.

[BibT_eX]

[DOI]

J. ACM, 2005

Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2005

On the role of composition in XQuery.

[BibT_eX]

Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

Information Extraction for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2005

The Complexity of Querying External Memory and Streaming Data.

[BibT_eX]

[DOI]

Nicole Schweikardt

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2004

Logic-based Web Information Extraction.

[BibT_eX]

[DOI]

SIGMOD Rec., 2004

Monadic datalog and the expressive power of languages for Web information extraction.

[BibT_eX]

[DOI]

J. ACM, 2004

Query rewriting with symmetric constraints.

[BibT_eX]

[DOI]

AI Commun., 2004

FluXQuery: An Optimizing XQuery Processor for Streaming XML Data.

[BibT_eX]

[DOI]

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams.

[BibT_eX]

[DOI]

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

The Lixto Data Extraction Project - Back and Forth between Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

2003

XPath Processing in a Nutshell.

[BibT_eX]

[DOI]

SIGMOD Rec., 2003

Enhancing disjunctive logic programming systems by SAT checkers.

[BibT_eX]

[DOI]

Nicola Leone

Gerald Pfeifer

Artif. Intell., 2003

Path Queries on Compressed XML.

[BibT_eX]

[DOI]

Peter Buneman

Proceedings of 29th International Conference on Very Large Data Bases, 2003

Efficient Processing of Expressive Node-Selecting Queries on XML Data in Secondary Storage: A Tree Automata-based Approach.

[BibT_eX]

[DOI]

Proceedings of 29th International Conference on Very Large Data Bases, 2003

The complexity of XPath query evaluation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

Query Evaluation on Compressed Trees (Extended Abstract).

[BibT_eX]

[DOI]

Markus Frick

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

XPath Query Evaluation: Improving Time and Space Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Data Engineering, 2003

XPath Query Processing.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2002

Optimizing Queries Using a Meta-level Database

[BibT_eX]

[DOI]

CoRR, 2002

Monadic Queries over Tree-Structured Data.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

The DLV System.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

System Description: DLV.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

DLV - A System for Declarative Problem Solving

[BibT_eX]

[DOI]

CoRR, 2000

Coordination Issues in Multi-agent Event Data Processing.

[BibT_eX]

[DOI]

Paolo Petta

Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000

Explicit Modeling of the Semantics of Large Multi-layered Object-Oriented Databases.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2000

1999

Stable Model Checking Made Easy.

[BibT_eX]

[DOI]