Gabriel M. Kuper

According to our database, Gabriel M. Kuper authored at least 53 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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

2016

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

2015

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

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: Attaining Decidability Using Acyclicity.

Mathew Joseph, Gabriel M. Kuper, Luciano Serafini

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.

Mathew Joseph, Gabriel M. Kuper, Luciano Serafini

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2011

On the complexity of tree pattern containment with arithmetic comparisons.

Foto N. Afrati, Sara Cohen, Gabriel M. Kuper

Inf. Process. Lett., 2011

2007

First-Order Languages Expressing Constructible Spatial Database Queries.

Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens, Luc Vandeurzen

SIAM J. Comput., 2007

2005

Asking and Answering Queries Semantically.

Paolo Bouquet, Gabriel M. Kuper, Stefano Zanobini

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Generalized XML security views.

Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko

Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, 2005

2004

Queries and Updates in the coDB Peer to Peer Database System.

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu

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

The coDB Robust Peer-to-Peer Database System.

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Optimizing light-trail assignment to WDM networks for dynamic IP centric traffic.

Ashwin Gumaste, Gabriel M. Kuper, Imrich Chlamtac

Proceedings of the 13th IEEE Workshop on Local and Metropolitan Area Networks, 2004

A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu

Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

2003

Variable Independence in Constraint Databases.

Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman

IEEE Trans. Knowl. Data Eng., 2003

A Robust and Computational Characterisation of Peer-to-Peer Database Systems

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini

CoRR, 2003

Structural Properties of XPath Fragments.

Michael Benedikt, Wenfei Fan, Gabriel M. Kuper

Proceedings of the Database Theory, 2003

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini

Proceedings of the Databases, 2003

In Memoriam: Paris C. Kanellakis.

Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi

Proceedings of the PCK50, 2003

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

Proceedings of the Tenth International World Wide Web Conference, 2001

Subsumption for XML types.

Gabriel M. Kuper, Jérôme Siméon

Proceedings of the Database Theory, 2001

2000

Geographic Information Systems.

Gabriel M. Kuper, Michel Scholl

Proceedings of the Constraint Databases, 2000

Introduction.

Gabriel M. Kuper, Leonid Libkin, Jan Paredaens

Proceedings of the Constraint Databases, 2000

Euclidean Query Languages.

Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens

Proceedings of the Constraint Databases, 2000

Expressive Power: The Infinite Case.

Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su

Proceedings of the Constraint Databases, 2000

1999

A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.

Gabriel M. Kuper, Jianwen Su

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998

A Constraint-Based Spatial Extension to SQL.

Gabriel M. Kuper, Sridhar Ramaswamy, Kyuseok Shim, Jianwen Su

Proceedings of the ACM-GIS '98, 1998

1997

Eucil, Tarski, and Engler Encompassed (Preliminary Report).

Jan Paredaens, Bart Kuijpers, Gabriel M. Kuper, Luc Vandeurzen

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

Tractable Recursion over Geometric Data.

Stéphane Grumbach, Gabriel M. Kuper

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Linear Constraints: Geometric Objects Represented by Inequalities.

Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix

Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996

In Memoriam Paris C. Kanellakis.

Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi

ACM Comput. Surv., 1996

Variable Independence and Aggregation Closure.

Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

In Memoriam: Paris C. Kanellakis.

Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995

Measuring Infinite Relations.

Jan Chomicki, Gabriel M. Kuper

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Towards the Definition of a Spatial Object-Oriented Data Model with Constraints.

Luis Hermosilla, Gabriel M. Kuper

Proceedings of the Constraint Databases and Applications, 1995

1994

Linear vs Polynomial Constraints in Database Query Languages.

Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper

Proceedings of the Principles and Practice of Constraint Programming, 1994

1993

The Logical Data Model.

Gabriel M. Kuper, Moshe Y. Vardi

ACM Trans. Database Syst., 1993

On the Complexity of Queries in the Logical Data Model.

Gabriel M. Kuper, Moshe Y. Vardi

Theor. Comput. Sci., 1993

Aggregation in Constraint Databases.

Gabriel M. Kuper

Proceedings of the Principles and Practice of Constraint Programming, 1993

1992

A Note on the Parallel Complexity of Anti-Unification.

Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry

J. Autom. Reason., 1992

1990

Constraint Query Languages.

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz

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

On The Expressive Power of the Relational Calculus with Arithmetic Constraints.

Gabriel M. Kuper

Proceedings of the ICDT'90, 1990

1988

On the Expressive Power of Logic Programming Languages with Sets.

Gabriel M. Kuper

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

Efficient Parallel Algorithms for Anti-Unification and Relative Complement

Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

On the Complexity of Queries in the Logical Data Model (Extended Abstract).

Gabriel M. Kuper, Moshe Y. Vardi

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

Logic Programming With Sets.

Gabriel M. Kuper

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Updating Logical Databases.

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi

Adv. Comput. Res., 1986

1985

The logical data model: a new approach to database logic.

Gabriel M. Kuper

PhD thesis, 1985

On the Expressive Power of the Logical Data Model (Preliminary Report).

Gabriel M. Kuper, Moshe Y. Vardi

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

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

A New Approach to Database Logic.

Gabriel M. Kuper, Moshe Y. Vardi

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

On the Equivalence of Logical Databases.

Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984