| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Gabriel M. Kuper 36 Gabriel M. Kuper, Jérôme Siméon : Subsumption for XML types. ICDT 2001 : 331-345 35 Wenfei Fan , Gabriel M. Kuper, Jérôme Siméon : A unified constraint model for XML. WWW 2001 : 179-190 34 Stavros S. Cosmadakis , Gabriel M. Kuper, Leonid Libkin : On the orthographic dimension of definable sets. Information Processing Letters 79 (3): 141-145 (2001) 33 Gabriel M. Kuper, Leonid Libkin , Jan Paredaens : Introduction. Constraint Databases 2000 : 1-16 32 Gabriel M. Kuper, Michel Scholl : Geographic Information Systems. Constraint Databases 2000 : 175-198 31 Bart Kuijpers , Gabriel M. Kuper, Jan Paredaens : Euclidean Query Languages. Constraint Databases 2000 : 275-291 30 Stéphane Grumbach , Gabriel M. Kuper, Jianwen Su : Expressive Power: The Infinite Case. Constraint Databases 2000 : 89-107 29 Gabriel M. Kuper, Jianwen Su : A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999 : 239-251 28 Gabriel M. Kuper, Sridhar Ramaswamy , Kyuseok Shim , Jianwen Su : A Constraint-Based Spatial Extension to SQL. ACM-GIS 1998 : 112-117 27 Peter Haunold , Stéphane Grumbach , Gabriel M. Kuper, Zoé Lacroix : Linear Constraints: Geometric Objects Represented by Inequalities. COSIT 1997 : 429-440 26 Stéphane Grumbach , Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997 : 450-462 25 Jan Paredaens , Bart Kuijpers , Gabriel M. Kuper, Luc Vandeurzen : Eucil, Tarski, and Engler Encompassed (Preliminary Report). DBPL 1997 : 1-24 24 Jan Chomicki , Dina Q. Goldin , Gabriel M. Kuper: Variable Independence and Aggregation Closure. PODS 1996 : 40-48 23 Serge Abiteboul , Gabriel M. Kuper, Christos H. Papadimitriou , Moshe Y. Vardi : In Memoriam: Paris C. Kanellakis. PODS 1996 : 79 22 Serge Abiteboul , Gabriel M. Kuper, Harry G. Mairson , Alexander A. Shvartsman , Moshe Y. Vardi : In Memoriam Paris C. Kanellakis. ACM Computing Surveys 28 (1): 3-15 (1996) 21 Luis Hermosilla , Gabriel M. Kuper: Towards the Definition of a Spatial Object-Oriented Data Model with Constraints. CDB 1995 : 120-131 20 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. JCSS 51 (1): 26-52 (1995) 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 17 Gabriel M. Kuper: Aggregation in Constraint Databases. PPCP 1993 : 166-173 16 Gabriel M. Kuper, Moshe Y. Vardi : On the Complexity of Queries in the Logical Data Model. TCS 116 (1&2): 33-57 (1993) 15 Gabriel M. Kuper, Moshe Y. Vardi : The Logical Data Model. TODS 18 (3): 379-413 (1993) 14 Gabriel M. Kuper, Ken McAloon , Krishna V. Palem , Kenneth J. Perry : A Note on the Parallel Complexity of Anti-Unification. Journal of Automated Reasoning 9 (3): 381-389 (1992) 13 Gabriel M. Kuper: On The Expressive Power of the Relational Calculus with Arithmetic Constraints. ICDT 1990 : 202-211 12 Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz : Constraint Query Languages. PODS 1990 : 299-313 11 Gabriel M. Kuper: Logic Programming with Sets. JCSS 41 (1): 44-64 (1990) 10 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 Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988 : 10-14 7 Gabriel M. Kuper: Logic Programming With Sets. PODS 1987 : 11-20 6 Gabriel M. Kuper: Logic Programming with Sets. XP1 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) 4 Gabriel M. Kuper, Moshe Y. Vardi : On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985 : 180-187 3 Gabriel M. Kuper, Jeffrey D. Ullman , Moshe Y. Vardi : On the Equivalence of Logical Databases. PODS 1984 : 221-228 2 Gabriel M. Kuper, Moshe Y. Vardi : A New Approach to Database Logic. PODS 1984 : 86-96 1 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. TODS 9 (3): 331-347 (1984)  DiSC'02 © 2003 Association for Computing Machinery |
