Gabriel M. Kuper

63 papers A* 11A 5C 2Journal 21Unranked 17
YearRankTypeTitle / Venue / Authors
2023 J jnl
Building Interoperable Electronic Health Records as Purpose-Driven Knowledge Graphs.
CoRR
Simone Bocca, Alessio Zamboni, Gábor Bella, Yamini Chandrashekar, Mayukh Bagchi, Gabriel M. Kuper, Paolo Bouquet, Fausto Giunchiglia
2016 J jnl
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.
Semantic Web
Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2015 J jnl
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print).
CoRR
Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2014 — conf
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
CILC
Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2014 — conf
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
RR
Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2014 J jnl
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version).
CoRR
Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2011 J jnl
On the complexity of tree pattern containment with arithmetic comparisons.
Inf. Process. Lett.
Foto N. Afrati, Sara Cohen, Gabriel M. Kuper
2009 J jnl
Generalized XML security views.
Int. J. Inf. Sec.
Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko
2007 J jnl
A representation independent language for planar spatial databases with Euclidean distance.
J. Comput. Syst. Sci.
Gabriel M. Kuper, Jianwen Su
2007 J jnl
First-Order Languages Expressing Constructible Spatial Database Queries.
SIAM J. Comput.
Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens, Luc Vandeurzen
2005 — conf
Asking and Answering Queries Semantically.
WOA
Paolo Bouquet, Gabriel M. Kuper, Stefano Zanobini
2005 C conf
Generalized XML security views.
SACMAT
Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko
2005 J jnl
Structural properties of XPath fragments.
Theor. Comput. Sci.
Michael Benedikt, Wenfei Fan, Gabriel M. Kuper
2004 — conf
A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.
EDBT Workshops
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu
2004 C conf
Optimizing light-trail assignment to WDM networks for dynamic IP centric traffic.
LANMAN
Ashwin Gumaste, Gabriel M. Kuper, Imrich Chlamtac
2004 A* conf
Queries and Updates in the coDB Peer to Peer Database System.
VLDB
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu
2004 — conf
The coDB Robust Peer-to-Peer Database System.
SEBD
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu
2003 — conf
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
DBISP2P
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini
2003 J jnl
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
CoRR
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini
2003 — conf
In Memoriam: Paris C. Kanellakis.
PCK50
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi
2003 A conf
Structural Properties of XPath Fragments.
ICDT
Michael Benedikt, Wenfei Fan, Gabriel M. Kuper
2003 J jnl
Variable Independence in Constraint Databases.
IEEE Trans. Knowl. Data Eng.
Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman
2002 J jnl
A unified constraint model for XML.
Comput. Networks
Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon
2001 A* conf
A unified constraint model for XML.
WWW
Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon
2001 J jnl
On the orthographic dimension of definable sets.
Inf. Process. Lett.
Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin
2001 A conf
Subsumption for XML types.
ICDT
Gabriel M. Kuper, Jérôme Siméon
2000 — book
Constraint Databases
Gabriel M. Kuper, Leonid Libkin, Jan Paredaens
2000 — ch.
Euclidean Query Languages.
Constraint Databases
Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens
2000 — ch.
Expressive Power: The Infinite Case.
Constraint Databases
Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su
2000 — ch.
Geographic Information Systems.
Constraint Databases
Gabriel M. Kuper, Michel Scholl
2000 — ch.
Introduction.
Constraint Databases
Gabriel M. Kuper, Leonid Libkin, Jan Paredaens
1999 — conf
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.
DBPL
Gabriel M. Kuper, Jianwen Su
1998 — conf
A Constraint-Based Spatial Extension to SQL.
ACM-GIS
Gabriel M. Kuper, Sridhar Ramaswamy, Kyuseok Shim, Jianwen Su
1997 — conf
Eucil, Tarski, and Engler Encompassed (Preliminary Report).
DBPL
Jan Paredaens, Bart Kuijpers, Gabriel M. Kuper, Luc Vandeurzen
1997 — conf
Linear Constraints: Geometric Objects Represented by Inequalities.
COSIT
Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix
1997 A conf
Tractable Recursion over Geometric Data.
CP
Stéphane Grumbach, Gabriel M. Kuper
1996 — ed.
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings
CDB
Gabriel M. Kuper, Mark Wallace
1996 J jnl
In Memoriam Paris C. Kanellakis.
ACM Comput. Surv.
Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi
1996 A* conf
In Memoriam: Paris C. Kanellakis.
PODS
Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi
1996 A* conf
Variable Independence and Aggregation Closure.
PODS
Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper
1995 J jnl
Constraint Query Languages.
J. Comput. Syst. Sci.
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz
1995 A* conf
Measuring Infinite Relations.
PODS
Jan Chomicki, Gabriel M. Kuper
1995 — conf
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints.
CDB
Luis Hermosilla, Gabriel M. Kuper
1994 — conf
Linear vs Polynomial Constraints in Database Query Languages.
PPCP
Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper
1994 — conf
Measuring Infinite Relations.
ILPS Workshop: Constraints and Databases
Jan Chomicki, Gabriel M. Kuper
1993 — conf
Aggregation in Constraint Databases.
PPCP
Gabriel M. Kuper
1993 J jnl
On the Complexity of Queries in the Logical Data Model.
Theor. Comput. Sci.
Gabriel M. Kuper, Moshe Y. Vardi
1993 J jnl
The Logical Data Model.
ACM Trans. Database Syst.
Gabriel M. Kuper, Moshe Y. Vardi
1992 J jnl
A Note on the Parallel Complexity of Anti-Unification.
J. Autom. Reason.
Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry
1990 A* conf
Constraint Query Languages.
PODS
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz
1990 J jnl
Logic Programming with Sets.
J. Comput. Syst. Sci.
Gabriel M. Kuper
1990 A conf
On The Expressive Power of the Relational Calculus with Arithmetic Constraints.
ICDT
Gabriel M. Kuper
1988 A* conf
Efficient Parallel Algorithms for Anti-Unification and Relative Complement
LICS
Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry
1988 A conf
On the Complexity of Queries in the Logical Data Model (Extended Abstract).
ICDT
Gabriel M. Kuper, Moshe Y. Vardi
1988 A* conf
On the Expressive Power of Logic Programming Languages with Sets.
PODS
Gabriel M. Kuper
1987 A* conf
Logic Programming With Sets.
PODS
Gabriel M. Kuper
1986 — conf
Logic Programming with Sets.
XP7.52 Workshop on Database Theory
Gabriel M. Kuper
1986 J jnl
Updating Logical Databases.
Adv. Comput. Res.
Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
1985 — conf
On the Expressive Power of the Logical Data Model (Preliminary Report).
SIGMOD Conference
Gabriel M. Kuper, Moshe Y. Vardi
1985 — —
The logical data model: a new approach to database logic.
Gabriel M. Kuper
1984 A* conf
A New Approach to Database Logic.
PODS
Gabriel M. Kuper, Moshe Y. Vardi
1984 A* conf
On the Equivalence of Logical Databases.
PODS
Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
1984 J jnl
System/U: A Database System Based on the Universal Relation Assumption.
ACM Trans. Database Syst.
Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman