| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Gabriel M. Kuper 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 Michael Benedikt , Wenfei Fan , Gabriel M. Kuper: Structural Properties of XPath Fragments. ICDT 2003 : 79-95 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) Wenfei Fan , Gabriel M. Kuper, Jérôme Siméon : A unified constraint model for XML. Computer Networks 39 (5): 489-505 (2002) Gabriel M. Kuper, Jérôme Siméon : Subsumption for XML types. ICDT 2001 : 331-345 Wenfei Fan , Gabriel M. Kuper, Jérôme Siméon : A unified constraint model for XML. WWW 2001 : 179-190 Stavros S. Cosmadakis , Gabriel M. Kuper, Leonid Libkin : On the orthographic dimension of definable sets. Inf. Process. Lett. 79 (3): 141-145 (2001) Gabriel M. Kuper, Leonid Libkin , Jan Paredaens : Introduction. Constraint Databases 2000 : 1-16 Gabriel M. Kuper, Michel Scholl : Geographic Information Systems. Constraint Databases 2000 : 175-198 Bart Kuijpers , Gabriel M. Kuper, Jan Paredaens : Euclidean Query Languages. Constraint Databases 2000 : 275-291 Stéphane Grumbach , Gabriel M. Kuper, Jianwen Su : Expressive Power: The Infinite Case. Constraint Databases 2000 : 89-107 Gabriel M. Kuper, Jianwen Su : A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999 : 239-251 Gabriel M. Kuper, Sridhar Ramaswamy , Kyuseok Shim , Jianwen Su : A Constraint-Based Spatial Extension to SQL. ACM-GIS 1998 : 112-117 Peter Haunold , Stéphane Grumbach , Gabriel M. Kuper, Zoé Lacroix : Linear Constraints: Geometric Objects Represented by Inequalities. COSIT 1997 : 429-440 Stéphane Grumbach , Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997 : 450-462 Jan Paredaens , Bart Kuijpers , Gabriel M. Kuper, Luc Vandeurzen : Eucil, Tarski, and Engler Encompassed (Preliminary Report). DBPL 1997 : 1-24 Gabriel M. Kuper, Mark Wallace : Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings Springer 1996 Jan Chomicki , Dina Q. Goldin , Gabriel M. Kuper: Variable Independence and Aggregation Closure. PODS 1996 : 40-48 Serge Abiteboul , Gabriel M. Kuper, Christos H. Papadimitriou , Moshe Y. Vardi : In Memoriam: Paris C. Kanellakis. PODS 1996 : 79 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) Luis Hermosilla , Gabriel M. Kuper: Towards the Definition of a Spatial Object-Oriented Data Model with Constraints. CDB 1995 : 120-131 Jan Chomicki , Gabriel M. Kuper: Measuring Infinite Relations. PODS 1995 : 78-85 Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz : Constraint Query Languages. J. Comput. Syst. Sci. 51 (1): 26-52 (1995) Foto N. Afrati , Stavros S. Cosmadakis , Stéphane Grumbach , Gabriel M. Kuper: Linear vs Polynomial Constraints in Database Query Languages. PPCP 1994 : 181-192 Gabriel M. Kuper: Aggregation in Constraint Databases. PPCP 1993 : 166-173 Gabriel M. Kuper, Moshe Y. Vardi : The Logical Data Model. ACM Trans. Database Syst. 18 (3): 379-413 (1993) 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) 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) Gabriel M. Kuper: On The Expressive Power of the Relational Calculus with Arithmetic Constraints. ICDT 1990 : 202-211 Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz : Constraint Query Languages. PODS 1990 : 299-313 Gabriel M. Kuper: Logic Programming with Sets. J. Comput. Syst. Sci. 41 (1): 44-64 (1990) Gabriel M. Kuper, Moshe Y. Vardi : On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988 : 267-280 Gabriel M. Kuper, Ken McAloon , Krishna V. Palem , Kenneth J. Perry : Efficient Parallel Algorithms for Anti-Unification and Relative Complement LICS 1988 : 112-120 Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988 : 10-14 Gabriel M. Kuper: Logic Programming With Sets. PODS 1987 : 11-20 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. Advances in Computing Research 3 : 1-18 (1986) Gabriel M. Kuper, Moshe Y. Vardi : On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985 : 180-187 Gabriel M. Kuper, Jeffrey D. Ullman , Moshe Y. Vardi : On the Equivalence of Logical Databases. PODS 1984 : 221-228 Gabriel M. Kuper, Moshe Y. Vardi : A New Approach to Database Logic. PODS 1984 : 86-96 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) 1 [ 22 ] [ 23 ] 2 [ 18 ] 3 [ 40 ] 4 [ 20 ] [ 24 ] [ 39 ] 5 [ 18 ] [ 35 ] 6 [ 5 ] 7 [ 36 ] [ 38 ] [ 40 ] 8 [ 1 ] 9 [ 41 ] 10 [ 1 ] 11 [ 24 ] [ 39 ] 12 [ 18 ] [ 27 ] [ 28 ] [ 31 ] 13 [ 28 ] 14 [ 21 ] 15 [ 12 ] [ 19 ] 16 [ 1 ] 17 [ 26 ] [ 32 ] 18 [ 28 ] 19 [ 34 ] [ 35 ] 20 [ 41 ] 21 [ 22 ] 22 [ 9 ] [ 14 ] 23 [ 9 ] [ 14 ] 24 [ 23 ] 25 [ 26 ] [ 32 ] [ 34 ] 26 [ 9 ] [ 14 ] 27 [ 29 ] 28 [ 12 ] [ 19 ] 29 [ 33 ] 30 [ 41 ] 31 [ 29 ] 32 [ 22 ] 33 [ 36 ] [ 37 ] [ 38 ] 34 [ 29 ] [ 30 ] [ 31 ] 35 [ 39 ] 36 [ 1 ] [ 3 ] [ 5 ] 37 [ 26 ] 38 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 10 ] [ 15 ] [ 16 ] [ 22 ] [ 23 ] 39 [ 25 ]  ©2004 Association for Computing Machinery |
