| 2007 |
|---|
| 52 | EE | Gabriel M. Kuper,
Jianwen Su:
A representation independent language for planar spatial databases with Euclidean distance.
J. Comput. Syst. Sci. 73(6): 845-874 (2007) |
| 51 | EE | Bart Kuijpers,
Gabriel M. Kuper,
Jan Paredaens,
Luc Vandeurzen:
First-Order Languages Expressing Constructible Spatial Database Queries.
SIAM J. Comput. 36(6): 1570-1599 (2007) |
| 2005 |
|---|
| 50 | EE | Gabriel M. Kuper,
Fabio Massacci,
Nataliya Rassadko:
Generalized XML security views.
SACMAT 2005: 77-84 |
| 49 | EE | Paolo Bouquet,
Gabriel M. Kuper,
Stefano Zanobini:
Asking and Answering Queries Semantically.
WOA 2005: 22-27 |
| 48 | EE | Michael Benedikt,
Wenfei Fan,
Gabriel M. Kuper:
Structural properties of XPath fragments.
Theor. Comput. Sci. 336(1): 3-31 (2005) |
| 2004 |
|---|
| 47 | EE | 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: 446-455 |
| 46 | | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Ilya Zaihrayeu:
The coDB Robust Peer-to-Peer Database System.
SEBD 2004: 382-393 |
| 45 | EE | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Ilya Zaihrayeu:
Queries and Updates in the coDB Peer to Peer Database System.
VLDB 2004: 1277-1280 |
| 2003 |
|---|
| 44 | EE | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Luciano Serafini:
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
DBISP2P 2003: 64-76 |
| 43 | EE | Michael Benedikt,
Wenfei Fan,
Gabriel M. Kuper:
Structural Properties of XPath Fragments.
ICDT 2003: 79-95 |
| 42 | | Serge Abiteboul,
Gabriel M. Kuper,
Alexander A. Shvartsman,
Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis.
PCK50 2003: 1-8 |
| 41 | EE | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Luciano Serafini:
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
CoRR cs.DC/0308013: (2003) |
| 40 | EE | Jan Chomicki,
Dina Q. Goldin,
Gabriel M. Kuper,
David Toman:
Variable Independence in Constraint Databases.
IEEE Trans. Knowl. Data Eng. 15(6): 1422-1436 (2003) |
| 2002 |
|---|
| 39 | EE | Wenfei Fan,
Gabriel M. Kuper,
Jérôme Siméon:
A unified constraint model for XML.
Computer Networks 39(5): 489-505 (2002) |
| 2001 |
|---|
| 38 | EE | Gabriel M. Kuper,
Jérôme Siméon:
Subsumption for XML types.
ICDT 2001: 331-345 |
| 37 | EE | Wenfei Fan,
Gabriel M. Kuper,
Jérôme Siméon:
A unified constraint model for XML.
WWW 2001: 179-190 |
| 36 | EE | Stavros S. Cosmadakis,
Gabriel M. Kuper,
Leonid Libkin:
On the orthographic dimension of definable sets.
Inf. Process. Lett. 79(3): 141-145 (2001) |
| 2000 |
|---|
| 35 | | Gabriel M. Kuper,
Leonid Libkin,
Jan Paredaens:
Constraint Databases
Springer 2000 |
| 34 | | Gabriel M. Kuper,
Leonid Libkin,
Jan Paredaens:
Introduction.
Constraint Databases 2000: 1-16 |
| 33 | | Gabriel M. Kuper,
Michel Scholl:
Geographic Information Systems.
Constraint Databases 2000: 175-198 |
| 32 | | Bart Kuijpers,
Gabriel M. Kuper,
Jan Paredaens:
Euclidean Query Languages.
Constraint Databases 2000: 275-291 |
| 31 | | Stéphane Grumbach,
Gabriel M. Kuper,
Jianwen Su:
Expressive Power: The Infinite Case.
Constraint Databases 2000: 89-107 |
| 1999 |
|---|
| 30 | EE | Gabriel M. Kuper,
Jianwen Su:
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.
DBPL 1999: 239-251 |
| 1998 |
|---|
| 29 | EE | Gabriel M. Kuper,
Sridhar Ramaswamy,
Kyuseok Shim,
Jianwen Su:
A Constraint-Based Spatial Extension to SQL.
ACM-GIS 1998: 112-117 |
| 1997 |
|---|
| 28 | | Peter Haunold,
Stéphane Grumbach,
Gabriel M. Kuper,
Zoé Lacroix:
Linear Constraints: Geometric Objects Represented by Inequalities.
COSIT 1997: 429-440 |
| 27 | | Stéphane Grumbach,
Gabriel M. Kuper:
Tractable Recursion over Geometric Data.
CP 1997: 450-462 |
| 26 | EE | Jan Paredaens,
Bart Kuijpers,
Gabriel M. Kuper,
Luc Vandeurzen:
Eucil, Tarski, and Engler Encompassed (Preliminary Report).
DBPL 1997: 1-24 |
| 1996 |
|---|
| 25 | | Gabriel M. Kuper,
Mark Wallace:
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings
Springer 1996 |
| 24 | EE | Jan Chomicki,
Dina Q. Goldin,
Gabriel M. Kuper:
Variable Independence and Aggregation Closure.
PODS 1996: 40-48 |
| 23 | EE | Serge Abiteboul,
Gabriel M. Kuper,
Christos H. Papadimitriou,
Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis.
PODS 1996: 79 |
| 22 | EE | Serge Abiteboul,
Gabriel M. Kuper,
Harry G. Mairson,
Alexander A. Shvartsman,
Moshe Y. Vardi:
In Memoriam Paris C. Kanellakis.
ACM Comput. Surv. 28(1): 3-15 (1996) |
| 1995 |
|---|
| 21 | | Luis Hermosilla,
Gabriel M. Kuper:
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints.
CDB 1995: 120-131 |
| 20 | EE | Jan Chomicki,
Gabriel M. Kuper:
Measuring Infinite Relations.
PODS 1995: 78-85 |
| 19 | | Paris C. Kanellakis,
Gabriel M. Kuper,
Peter Z. Revesz:
Constraint Query Languages.
J. Comput. Syst. Sci. 51(1): 26-52 (1995) |
| 1994 |
|---|
| 18 | | Foto N. Afrati,
Stavros S. Cosmadakis,
Stéphane Grumbach,
Gabriel M. Kuper:
Linear vs Polynomial Constraints in Database Query Languages.
PPCP 1994: 181-192 |
| 1993 |
|---|
| 17 | | Gabriel M. Kuper:
Aggregation in Constraint Databases.
PPCP 1993: 166-173 |
| 16 | EE | Gabriel M. Kuper,
Moshe Y. Vardi:
The Logical Data Model.
ACM Trans. Database Syst. 18(3): 379-413 (1993) |
| 15 | | Gabriel M. Kuper,
Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model.
Theor. Comput. Sci. 116(1&2): 33-57 (1993) |
| 1992 |
|---|
| 14 | | Gabriel M. Kuper,
Ken McAloon,
Krishna V. Palem,
Kenneth J. Perry:
A Note on the Parallel Complexity of Anti-Unification.
J. Autom. Reasoning 9(3): 381-389 (1992) |
| 1990 |
|---|
| 13 | EE | Gabriel M. Kuper:
On The Expressive Power of the Relational Calculus with Arithmetic Constraints.
ICDT 1990: 202-211 |
| 12 | EE | Paris C. Kanellakis,
Gabriel M. Kuper,
Peter Z. Revesz:
Constraint Query Languages.
PODS 1990: 299-313 |
| 11 | | Gabriel M. Kuper:
Logic Programming with Sets.
J. Comput. Syst. Sci. 41(1): 44-64 (1990) |
| 1988 |
|---|
| 10 | EE | Gabriel M. Kuper,
Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model (Extended Abstract).
ICDT 1988: 267-280 |
| 9 | | Gabriel M. Kuper,
Ken McAloon,
Krishna V. Palem,
Kenneth J. Perry:
Efficient Parallel Algorithms for Anti-Unification and Relative Complement
LICS 1988: 112-120 |
| 8 | EE | Gabriel M. Kuper:
On the Expressive Power of Logic Programming Languages with Sets.
PODS 1988: 10-14 |
| 1987 |
|---|
| 7 | EE | Gabriel M. Kuper:
Logic Programming With Sets.
PODS 1987: 11-20 |
| 1986 |
|---|
| 6 | EE | Gabriel M. Kuper:
Logic Programming with Sets.
XP7.52 Workshop on Database Theory 1986 |
| 5 | | Ronald Fagin,
Gabriel M. Kuper,
Jeffrey D. Ullman,
Moshe Y. Vardi:
Updating Logical Databases.
Advances in Computing Research 3: 1-18 (1986) |
| 1985 |
|---|
| 4 | EE | Gabriel M. Kuper,
Moshe Y. Vardi:
On the Expressive Power of the Logical Data Model (Preliminary Report).
SIGMOD Conference 1985: 180-187 |
| 1984 |
|---|
| 3 | EE | Gabriel M. Kuper,
Jeffrey D. Ullman,
Moshe Y. Vardi:
On the Equivalence of Logical Databases.
PODS 1984: 221-228 |
| 2 | EE | Gabriel M. Kuper,
Moshe Y. Vardi:
A New Approach to Database Logic.
PODS 1984: 86-96 |
| 1 | EE | 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): 331-347 (1984) |
