On the Equivalence of Logical Databases. - Gabriel M. Kuper; Jeffrey D. Ullman; Moshe Y. Vardi (PODS, 1984)

A New Approach to Database Logic. - Gabriel M. Kuper; Moshe Y. Vardi (PODS, 1984)

System/U: A Database System Based on the Universal Relation Assumption. - Henry F. Korth; Gabriel M. Kuper; Joan Feigenbaum; Allen Van Gelder; Jeffrey D. Ullman (ACM Trans. Database Syst., 1984)

On the Expressive Power of the Logical Data Model (Preliminary Report). - Gabriel M. Kuper; Moshe Y. Vardi (SIGMOD Conference, 1985)

The logical data model: a new approach to database logic. - Gabriel M. Kuper (1985)

Updating Logical Databases. - Ronald Fagin; Gabriel M. Kuper; Jeffrey D. Ullman; Moshe Y. Vardi (Adv. Comput. Res., 1986)

On the Complexity of Queries in the Logical Data Model (Extended Abstract). - Gabriel M. Kuper; Moshe Y. Vardi (ICDT, 1988)

Efficient Parallel Algorithms for Anti-Unification and Relative Complement - Gabriel M. Kuper; Ken McAloon; Krishna V. Palem; Kenneth J. Perry (LICS, 1988)

On the Expressive Power of Logic Programming Languages with Sets. - Gabriel M. Kuper (PODS, 1988)

On The Expressive Power of the Relational Calculus with Arithmetic Constraints. - Gabriel M. Kuper (ICDT, 1990)

Logic Programming with Sets. - Gabriel M. Kuper (J. Comput. Syst. Sci., 1990)

A Note on the Parallel Complexity of Anti-Unification. - Gabriel M. Kuper; Ken McAloon; Krishna V. Palem; Kenneth J. Perry (J. Autom. Reason., 1992)

Aggregation in Constraint Databases. - Gabriel M. Kuper (PPCP, 1993)

On the Complexity of Queries in the Logical Data Model. - Gabriel M. Kuper; Moshe Y. Vardi (Theor. Comput. Sci., 1993)

The Logical Data Model. - Gabriel M. Kuper; Moshe Y. Vardi (ACM Trans. Database Syst., 1993)

Linear vs Polynomial Constraints in Database Query Languages. - Foto N. Afrati; Stavros S. Cosmadakis; Stéphane Grumbach; Gabriel M. Kuper (PPCP, 1994)

Measuring Infinite Relations. - Jan Chomicki; Gabriel M. Kuper (ILPS Workshop: Constraints and Databases, 1994)

Towards the Definition of a Spatial Object-Oriented Data Model with Constraints. - Luis Hermosilla; Gabriel M. Kuper (CDB, 1995)

Constraint Query Languages. - Paris C. Kanellakis; Gabriel M. Kuper; Peter Z. Revesz (J. Comput. Syst. Sci., 1995)

In Memoriam: Paris C. Kanellakis. - Serge Abiteboul; Gabriel M. Kuper; Christos H. Papadimitriou; Moshe Y. Vardi (PODS, 1996)

Variable Independence and Aggregation Closure. - Jan Chomicki; Dina Q. Goldin; Gabriel M. Kuper (PODS, 1996)

In Memoriam Paris C. Kanellakis. - Serge Abiteboul; Gabriel M. Kuper; Harry G. Mairson; Alexander A. Shvartsman; Moshe Y. Vardi (ACM Comput. Surv., 1996)

Linear Constraints: Geometric Objects Represented by Inequalities. - Peter Haunold; Stéphane Grumbach; Gabriel M. Kuper; Zoé Lacroix (COSIT, 1997)

Tractable Recursion over Geometric Data. - Stéphane Grumbach; Gabriel M. Kuper (CP, 1997)

Eucil, Tarski, and Engler Encompassed (Preliminary Report). - Jan Paredaens; Bart Kuijpers; Gabriel M. Kuper; Luc Vandeurzen (DBPL, 1997)

A Constraint-Based Spatial Extension to SQL. - Gabriel M. Kuper; Sridhar Ramaswamy; Kyuseok Shim; Jianwen Su (ACM-GIS, 1998)

Expressive Power: The Infinite Case. - Stéphane Grumbach; Gabriel M. Kuper; Jianwen Su (Constraint Databases, 2000)

Euclidean Query Languages. - Bart Kuijpers; Gabriel M. Kuper; Jan Paredaens (Constraint Databases, 2000)

Introduction. - Gabriel M. Kuper; Leonid Libkin; Jan Paredaens (Constraint Databases, 2000)

Geographic Information Systems. - Gabriel M. Kuper; Michel Scholl (Constraint Databases, 2000)

Subsumption for XML types. - Gabriel M. Kuper; Jérôme Siméon (ICDT, 2001)

On the orthographic dimension of definable sets. - Stavros S. Cosmadakis; Gabriel M. Kuper; Leonid Libkin (Inf. Process. Lett., 2001)

A unified constraint model for XML. - Wenfei Fan; Gabriel M. Kuper; Jérôme Siméon (Comput. Networks, 2002)

In Memoriam: Paris C. Kanellakis. - Serge Abiteboul; Gabriel M. Kuper; Alexander A. Shvartsman; Moshe Y. Vardi (PCK50, 2003)

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Luciano Serafini (DBISP2P, 2003)

A Robust and Computational Characterisation of Peer-to-Peer Database Systems - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Luciano Serafini (CoRR, 2003)

Variable Independence in Constraint Databases. - Jan Chomicki; Dina Q. Goldin; Gabriel M. Kuper; David Toman 001 (IEEE Trans. Knowl. Data Eng., 2003)

A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Ilya Zaihrayeu (EDBT Workshops, 2004)

Optimizing light-trail assignment to WDM networks for dynamic IP centric traffic. - Ashwin Gumaste; Gabriel M. Kuper; Imrich Chlamtac (LANMAN, 2004)

The coDB Robust Peer-to-Peer Database System. - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Ilya Zaihrayeu (SEBD, 2004)

Queries and Updates in the coDB Peer to Peer Database System. - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Ilya Zaihrayeu (VLDB, 2004)

Asking and Answering Queries Semantically. - Paolo Bouquet; Gabriel M. Kuper; Stefano Zanobini (WOA, 2005)

Structural properties of XPath fragments. - Michael Benedikt; Wenfei Fan; Gabriel M. Kuper (Theor. Comput. Sci., 2005)

A representation independent language for planar spatial databases with Euclidean distance. - Gabriel M. Kuper; Jianwen Su (J. Comput. Syst. Sci., 2007)

First-Order Languages Expressing Constructible Spatial Database Queries. - Bart Kuijpers; Gabriel M. Kuper; Jan Paredaens; Luc Vandeurzen (SIAM J. Comput., 2007)

Generalized XML security views. - Gabriel M. Kuper; Fabio Massacci; Nataliya Rassadko (Int. J. Inf. Sec., 2009)

On the complexity of tree pattern containment with arithmetic comparisons. - Foto N. Afrati; Sara Cohen; Gabriel M. Kuper (Inf. Process. Lett., 2011)

Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (CILC, 2014)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (RR, 2014)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (CoRR, 2014)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (CoRR, 2015)

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (Semantic Web, 2016)

Building Interoperable Electronic Health Records as Purpose-Driven Knowledge Graphs. - Simone Bocca; Alessio Zamboni; Gábor Bella; Yamini Chandrashekar; Mayukh Bagchi; Gabriel M. Kuper; Paolo Bouquet; Fausto Giunchiglia (CoRR, 2023)