XML

• M. Benedikt, W. Fan, and G. M. Kuper, "Structural Properties of XPath Fragments", ICDT 2003, LNCS, to appear (Copyright Springer-Verlag)
• W. Fan, G. M. Kuper and J. Sim'eon, "A Unified Constraint Model for XML", Computer Networks, to appear.
• W. Fan, G. M. Kuper and J. Sim'eon, "A Unified Constraint Model for XML", 10th International World Wide Web Conference (WWW'10), Hong Kong, May 2-5, 2001.
• G. M. Kuper and J. Simeon, "Subsumption for XML Types", International Conference on Database Theory (ICDT'01), London, England, Jan 4-6, 2001.

Constraint Databases

• Chomicki, D. Goldin, G. M. Kuper, and D. Toman, "Variable Independence in Constraint Databases" , IEEE TKDE, to appear.
• S. Cosmadakis, G. M. Kuper, and L. Libkin, "On the Orthographic Dimension of Definable Sets",  Information Processing Letters (IPL), 79(3), pp. 141-145, 2001.
• Grumbach, G. M. Kuper and J. Su, "Expressive Power: The Infinite Case", in Constraint Databases (see book above).
• G. M. Kuper and M. Scholl, "Geographic Information Systems", in Constraint Databases (see book above).
• Kuijpers, G. M. Kuper and J. Paredaens "Euclidean Query Languages", in Constraint Databases (see book above).
• B. Kuijpers, G. M. Kuper, J. Paredaens and L. Vandeurzen", First Order Languages Expressing Constructible Spatial Database Queries", Proceedings of Workshop on Database Programming Languages (DBPL'99), Kinloch Rannoch, Scotland, September 1-3, 1999.
• G.  M. Kuper, S. Ramaswamy, K. Shim, and J. Su, "A Constraint-based Spatial Extension to SQL", Proceedings 6th ACM Symposium on Geographic Information Systems (ACM-GIS'98), Washington, DC, November 6-7, 1998.
• P. Haunold, A. Frank, S. Grumbach, G. M. Kuper, and Z. Lacroix", Geometric Objects Represented by Inequalities"', Proceedings of Angewandte Geographische Informationsverarbeitung IX (AGIT), Salzburg, July 2-4, 1997.
• P.  Haunold, S. Grumbach, G. M. Kuper, Z. Lacroix, "Linear Constraints: Geometric Objects Represented by Inequalities", Conference on Spatial Information Theory (COSIT97), Laurel  Highlands, PA, October 15-18, 1997.
• S.  Grumbach and G. M. Kuper, "Tractable Query Languages for Geome tric Data", Constraint Programming (CP'97), Linz, Austria, October 29-November 1, 1997.
• J. Paredaens, B. Kuijpers, G. M. Kuper, and L. Vandeurzen, "Engeler, Euclid and Tarski Encompassed", Proceedings of Workshop on Database Languages (DBPL'97), Estes Park, CO, August 18-20, 1997.
• J. Chomicki, D. Goldin and G. M. Kuper, "Variable Independence and Aggregation Closure", ACM Symposium on Principles of Database Systems, 1996.
• L. Hermosilla and G. M. Kuper, Towards the Definition of a Spatial Object-Oriented Data Model with Constraints, Proc. 1st Contessa Workshop on Constraint Databases, Friedrichshafen, Germany, 1995. Proceedings published by Springer-Verlag, LNCS 1034, 1996, pp. 120-131.
• A. Frank, P. Haunold, W. Kuhn and G. M. Kuper, Representation of Geometric Objects as Set of Inequalities, 12th European Workshop on Computational Geometry (CG'96), Muenster, Germany, March 28-29, 1996.
• Proceedings 1st CONTESSA Workshop on Constraint Databases, Friedrichshafen, Springer-Verlag LNCS 1034, 1996 (edited M. G. Wallace).
• P. C. Kanellakis, G. M. Kuper, P. Z. Revesz: Constraint Query Languages , Journal of Computer and System Sciences 51(1), 1995, pp. 26-52.
• J. Chomicki and G. M. Kuper, Measuring Infinite Relations, ACM Symposium on Principles of Database Systems, San Jose, CA, 1995, pp. 78-85.
• G. M. Kuper: Aggregation in Constraint Databases, In Principles and Practice of Constraint Programming (ed. V. Saraswat and P. Van Hentenryck), MIT Press, 1995.
• M. G. Wallace, M. Freeston and G. M. Kuper, Constraint Databases, Conference on Information Technology and its use in Enviromental Modeling and Protection, Holloway College, Englamd, Jan 9-11, 1995.
• F. Afrati, S. S. Cosmadakis, S. Grumbach, G. M. Kuper: Linear vs. Polynomial Constraints in Database Query Languages, 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP), Orcas Island , 1994.
• S. S. Cosmadakis, G. M. Kuper: Expressiveness of First-Order Constraint Languages, ECRC Report, ECRC-94-13, 1994.
• P. C. Kanellakis, G. M. Kuper, P. Z. Revesz: Constraint Query Languages , ACM Symposium on Principles of Database Systems, Nashville, TN, 1990, pp. 299-313.
• G. M. Kuper: On The Expressive Power of the Relational Calculus with Arithmetic Constraints, ICDT, 1990, pp. 202-214.
• G. M. Kuper and J. Su, A Representation Independent Language for Planar Spatial Databases with Euclidean Distance (submitted).
• B. Kuijpers, G. M.  Kuper, J. Paredaens and L. Vandeurzen, "First Order Languages Expressing Constructible Spatial Database Queries" (submitted).

The Logical Data Model

• G. M. Kuper and M. Y. Vardi: The Logical Data Model , ACM Transactions on Database Systems, 18(3), 1993, pp. 379-413.
• G. M. Kuper and M. Y. Vardi: On the Complexity of Queries in the Logical Data Model, Theoretical Computer Science, 116, 1993, pp. 33-57.
• G. M. Kuper and M. Y. Vardi, On the Complexity of Queries in the Logical Data Model, Intl. Conference on Database Theory, Bruges, Belgium, 1988, pp. 267-280.
• G. M. Kuper and M. Y. Vardi, On the Expressive Power of the Logical Data Model, ACM SIGMOD, Austin, TX, 1985, pp. 180-189.
• G. M. Kuper and M. Y. Vardi, A New Approach to Database Logic, ACM Symposium on Principles of Database Systems, Waterloo, Ontario, 1984, pp. 86-96.
• G. M. Kuper, The Logical Data Model: A New Approach to Database Logic, Ph. D. Dissertation, Report STAN-CS-85-1069, Stanford University, January 1982.

Logic Programming with Sets

• G. M. Kuper, Logic Programming with Sets, Journal of Computer and System Sciences 41(1), 1990, pp. 44-64.
• G. M. Kuper, LPS: A Logic Programming Language for Nested Relations, Report RC 12624, IBM Watson Research Center, 1987.
• G. M. Kuper: On the Expressive Power of Logic Programming with Sets, ACM Symposium on Principles of Database Systems, Austin, TX, 1988, pp. 10-14.
• G. M. Kuper, Logic Programming with Sets, ACM Symposium on Principles of Databases Systems, San Diego, CA, 1987, pp. 11-21.

Updates

• R. Fagin, G. M. Kuper, J. D. Ullman and M. Y. Vardi: Updating Logical Databases, in Advances in Computing Research, Vol. 3 (ed. P. Kanellakis), JAI Press, 1986, pp. 1-18.
• G. M. Kuper, J. D. Ullman and M. Y. Vardi, On the Equivalence of Logical Databases, ACM Symposium on Principle of Database Systems, Waterloo, Ontario, 1984, pp. 221-228.

The Universal Relation

• H. F. Korth, G. M. Kuper, J. Feigenbaum, A. Van Gelder and J. D. Ullman: System/U: A Database System Based on the Universal Relation Assumption, ACM Transactions on Database Systems, 9(3), 1984, pp. 331-347.
• G. M. Kuper, An Algorithm for Reducing Acyclic Hypergraphs, Report STAN-CS-82-892, Stanford University, January 1982.

Other

• S. Abiteboul, G. M. Kuper, H. G. Mairson, A. A. Shvartsman and M. Y. Vardi, In Memoriam: Paris C. Kanellakis, ACM Computing Surveys, 28(1), pp. 3-16, 1996.
• G. M. Kuper, K. McAloon, K. Palem, K.Perry: A Note on the Parallel Complexity of Anti-Unification, Journal of Automated Reasoning, 9, 1993, pp. 381-389.
• G. M. Kuper, K. McAloon, K. Palem and K. J. Perry, "A Note on the Parallel Complexity of Anti-Unification", Journal of Automated Reasoning, 9, 1992, pp. 381-389.
• G. M. Kuper and A. Tuzhilin, On the Expressive Power of Infinite Temporal Databases, Report RC 17881, IBM Watson Research Center, 1992, and Report STERN IS-92-16, NYU, 1992.
• G. M. Kuper, K. McAloon, K. Palem and K. J. Perry, Effective Parallel Algorithms for Anti-Unification and Relative Complement, Logic in Computer Science, Edinburgh, Scotland, 1988, pp. 112-120.