Gabriel M. Kuper

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 2

Top Topics

Query Answering

Electronic Health Records

Ontology Mappings

Top Venues

Publications

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