Research Outputs Gabriel Mark Kuper


  • Mathew, Joseph; Gabriel, Kuper; Luciano, Serafini, "Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity." in Italian Conference on Computational Logic, Italia: http://ceur-ws.org, 2014. Proceedings of: Italian Conference on Computational Logic, Torino, June 16-18
  • Joseph, Mathew; Kuper, Gabriel M.; Serafini, Luciano, "Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity" in Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014., Germania: Springer, 2014, p. 60-75. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 978-3-319-11112-4
  • F. Afrati; S. Cohen; G. Kuper, "On the complexity of tree pattern containment with arithmetic comparisons" in INFORMATION PROCESSING LETTERS, v. 111, n. 15 (2011), p. 754-760. - URL: http://www.sciencedirect.com/science/article/pii/S0020019011001207 . - DOI: 10.1016/j.ipl.2011.04.014
  • G.M. Kuper; F. Massacci; N. Rasadka, "Generalized XML Security Views" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, v. 8, n. 3 (2009), p. 173-203. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 67349181381&partnerID=40&md5=c5cc1c4bdb9da7bbc0aa9003cd3039b7 . - DOI: 10.1007/s10207-008-0074-x
  • G. Kuper ; S. Jianwen, "A representation independent language for planar spatial databases with Euclidean distance" in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, v. 73, n. 6 (2007), p. 845-874
  • B. Kuijpers ; G. Kuper ; J. Paredaens ; L. Vandeurzen, "First-order languages expressing constructible spatial database queries" in SIAM JOURNAL ON COMPUTING, v. 36, (2007), p. 1570-1599
  • B. Kuijpers; G. Kuper; J. Paredaens; L. Vandeurzen, "First-Order Languages Expressing Constructible Spatial Database Queries" in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, v. 36, (2007), p. 1570. - DOI: 10.1137/S0097539702407199
  • I. Chlamtac ; A. Gumaste ; G. Kuper, "Optimizing Light-trail Assignment to WDM Networks for Dynamic IP Centric Traffic" in 13th IEEE Local area networks and metro area networks, New York. USA: IEEE, 2006, p. 113-118. Proceedings of: 13th IEEE Workshop on Local and Metropolitan Area Networks, Mill Valley, CA, April 2004
  • G. Kuper ; F. Massacci ; N. Rasadka, "Generalized XML Security Views" in SACMAT 2005: proceedings of Tenth ACM Symposium on Access Control Models and Technologies, CHICAGO: ACM Press, 2005, p. 77-84. - ISBN: 1-595-93045-0.. Proceedings of: SACMAT '05, Stockholm, 1st–3rd June 2005. - URL: www.sacmat.org . - DOI: 10.1145/1063979.1063994
  • M. Benedikt ; W. Fan ; G. Kuper, "Structural properties of XPath fragments" in THEORETICAL COMPUTER SCIENCE, v. 336, n. 1 (2005), p. 3-31
  • G. KUPER; WENFEI FAN; MICHAEL BENEDIKT, "Structural Properties of XPath Fragments" in THEORETICAL COMPUTER SCIENCE, v. 336, (2005), p. 3-31
  • E. Franconi; G. Kuper; A. Lopatenko; I. Zaihrayeu, "A distributed algorithm for robust data sharing and updates in P2P database networks" in Proceedings of the EDBT International Workshop on Peer-to-peer Computing and Databases (P2P&DB'04), Heidelberg: Springer-Verlag, 2004, p. 446-455. Proceedings of: P2P&DB, Boston, MA, 29th March 2004
  • E. Franconi; G. Kuper; A. Lopatenko; I. Zaihrayeu, "The coDB Robust Peer-to-Peer Database System" in SEBD 2004, Heidelberg: Springer-Verlag, 2004, p. 382-393. Proceedings of: SEBD, Cagliari, 21th-23th June 2004
  • E. Franconi ; G. Kuper ; A. Lopatenko ; L. Serafini, "A robust logical and computational characterisation of peer-to-peer database systems", 2003. Proceedings of: 1st international workshop on databases, information systems and peer-to-peer computing, Berlin, 7-8 September 2003. - URL: http://www.intelligence.tuc.gr/dbisp2p/
  • FRANCONI E; G. KUPER; LOPATENKO A; SERAFINI L, "International Workshop on Databases, information systems and peer-to-peer computing" in International Workshop on Databases, information systems and peer-to-peer comput, 2003
  • M. Benedikt ; W. Fan ; G. Kuper, "Structural properties of XPath fragments", Heidelberg: Springer, 2003, p. 79-95. Proceedings of: 9th International conference on database theory, Siena, 8th-10th January 2003. - URL: http://www.dis.uniroma1.it/~icdt03/
  • G. KUPER; J. CHOMICKI; DINA Q. GOLDIN; TOMAN DAVID, "Variable independence in constraint databases" in IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v. 15, (2003), p. 1422-1436
  • J. Chomicki ; D. Goldin ; G. Kuper ; D. Toman, "Variable independence in constraint databases" in IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v. 15, n. 6 (2003), p. 1422-1436
  • FAN W; G. KUPER; SIMEON J, "A unified constraint model for XML" in COMPUTER NETWORKS, v. 39, (2002), p. 489-505
  • FAN W.; G. KUPER; SIMEON J., "A Unified Constraint Model for XML" in 10th International World Wide Web Conference (WWW'10), 2001
  • COSMADAKIS S; G. KUPER; LIBKIN L., "On the Orthographic Dimension of Definable Sets" in INFORMATION PROCESSING LETTERS, v. 79, (2001), p. 141-145
  • G. KUPER; SIMEON J., "Subsumption for XML Types" in International Conference on Database Theory (ICDT), 2001
  • G. KUPER; LIBKIN L.; PAREDAENS J., "Constraint Databases", 2000
  • G. KUPER, "A Representation Independent Language for Planar Spatial Databases with Euclidean Distance" in Workshop on Database programming languages (DBPL), 1999, p. 239-251
  • G. KUPER; KYUSEOK SHIM; JIANWEN SU; S RAMASWAMY, "A Constraint-Based Spatial Extension to SQL" in ACM-GIS, 1998, p. 112-117
  • JAN PAREDAENS; G. KUPER; KUIJPERS B; VANDEURZEN L, "Eucild, Tarski, and Engler Encompassed (Preliminary Report)" in Database programming languages (DBPL), 1997, p. 1-24
  • G. KUPER; ST¿PHANE GRUMBACH ZO¿ LACROIX; P HAUNOLD, "Linear Constraints: Geometric Objects Represented by Inequalities" in COIT, 1997, p. 429-440
  • GRUMBACH S; G. KUPER, "Tractable Recursion over Geometric Data." in Constraint programming, 1997, p. 450-462
  • CHOMICKI J; G. KUPER; DINA Q. GOLDIN, "Variable Independence and Aggregation Closure" in ACM Principles of Database Systems (PODS), 1996, p. 40-48
  • KANELLAKIS PARIS; G. KUPER; PETER Z. REVESZ, "Constraint Query Languages" in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, v. 51, (1995), p. 26-52
  • CHOMICKI J; G. KUPER, "Measuring Infinite Relations" in ACM Principles of database systems (PODS), 1995, p. 78-85
  • LUIS HERMOSILLA; G. KUPER, "Towards the Definition of a Spatial Object-Oriented Data Model with Constraints" in Constraint databases, 1995, p. 120-131
  • G. KUPER; VARDI MOSHE, "On the Complexity of Queries in the Logical Data Mode" in THEORETICAL COMPUTER SCIENCE, v. 116, (1993), p. 33-57
  • G. KUPER; VARDI MOSHE, "The logical data model" in ACM TRANSACTIONS ON DATABASE SYSTEMS, v. 18, (1993), p. 379-413
  • G. KUPER; G, "Logic Programming with Sets" in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, v. 41, (1991), p. 44-64
  • KORTH; H; G. KUPER; JOAN FEIGENBAUM; ALLEN VAN GELDER; JEFFREY D. ULLMAN, "System/U: A Database System Based on the Universal Relation Assumption" in ACM TRANSACTIONS ON DATABASE SYSTEMS, v. 9, (1984), p. 331-347