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