| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Peter Z. Revesz Peter Z. Revesz: The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints. ADBIS 2005 : 167-182 Scot Anderson , Peter Z. Revesz: Verifying the Incorrectness of Programs and Automata. SARA 2005 : 1-13 Peter Z. Revesz: Efficient Rectangle Indexing Algorithms Based on Point Dominance. TIME 2005 : 210-212 Bart Kuijpers , Peter Z. Revesz: Report on the 1st International Symposium on the Applications of Constraint Databases (CDB'04). SIGMOD Record 34 (2): 62-64 (2005) Bart Kuijpers , Peter Z. Revesz: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004 Springer 2004 Peter Z. Revesz: Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints. ADBIS 2004 : 1-21 Viswanathan Ramanathan , Peter Z. Revesz: Constraint Database Solutions to the Genome Map Assembly Problem. CDB 2004 : 90-116 Steve Goddard , Jitender S. Deogun , Sherri K. Harms , Michael J. Hayes , Kenneth G. Hubbard , Stephen E. Reichenbach , Peter Z. Revesz, William J. Waltman , Donald A. Wilhite : A Geospatial Decision Support System for Drought Risk Management. DG.O 2004 Shasha Wu , Peter Z. Revesz: DOAS: A Drought Online Analysis System with Constraint Databases. DG.O 2004 Peter Z. Revesz, Shasha Wu : Visualization of Recursively Defined Concepts. IV 2004 : 613-621 Yi Chen , Peter Z. Revesz: Max-Count Aggregation Estimation for Moving Points. TIME 2004 : 103-108 Lixin Li , Peter Z. Revesz: The Relationship among GIS-Oriented Spatiotemporal Databases. DG.O 2003 Peter Z. Revesz: A Retrospective on Constraint Databases. PCK50 2003 : 12-27 Peter Z. Revesz, Yi Chen : Efficient Aggregation over Moving Objects. TIME 2003 : 118-127 Yi Chen , Peter Z. Revesz: Querying Spatiotemporal XML Using DataFoX. Web Intelligence 2003 : 301-309 Jan Chomicki , Sofie Haesevoets , Bart Kuijpers , Peter Z. Revesz: Classes of Spatio-Temporal Objects and their Closure Properties. Ann. Math. Artif. Intell. 39 (4): 431-461 (2003) Peter Z. Revesz: Introduction to Constraint Databases Springer 2002 Lixin Li , Peter Z. Revesz: A Comparison of Spatio-temporal Interpolation Methods. GIScience 2002 : 145-160 Peter Z. Revesz, Lixin Li : Constraint-Based Visualization of Spatial Interpolation Data. IV 2002 : 563-569 Peter Z. Revesz, Mengchu Cai : Efficient Querying and Animation of Periodic Spatio-Temporal Databases. Ann. Math. Artif. Intell. 36 (4): 437-457 (2002) Jan Chomicki , Sofie Haesevoets , Bart Kuijpers , Peter Z. Revesz: Classes of Spatiotemporal Objects and Their Closure Properties CoRR cs.DB/0212017 : (2002) Peter Z. Revesz, Rui Chen , Min Ouyang : Approximate Query Evaluation Using Linear Constraint Databases. TIME 2001 : 170-175 Peter Z. Revesz: Constraint Databases and Temporal Reasoning. TIME 2001 Ying Deng , Peter Z. Revesz: Spatial and Topological Data Models. Information Modeling in the New Millennium 2001 : 345-359 Peter Z. Revesz, Mengchu Cai : Efficient Querying of Periodic Spatiotemporal Objects. CP 2000 : 396-410 Peter Z. Revesz: Datalog and Constraints. Constraint Databases 2000 : 155-170 Peter Z. Revesz: The DISCO System. Constraint Databases 2000 : 383-389 Mengchu Cai , Dinesh Keshwani , Peter Z. Revesz: Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases. EDBT 2000 : 430-444 Min Ouyang , Peter Z. Revesz: Algorithms for Cartogram Animation. IDEAS 2000 : 231-235 Rui Chen , Min Ouyang , Peter Z. Revesz: Approximating Data in Constraint Databases. SARA 2000 : 124-143 Peter Z. Revesz: Reformulation and Approximation in Model Checking. SARA 2000 : 202-218 Peter Z. Revesz, Rui Chen , Pradip Kanjamala , Yiming Li , Yuguo Liu , Yonghui Wang : The MLPQ/GIS Constraint Database System. SIGMOD Conference 2000 : 601 Jan Chomicki , Yuguo Liu , Peter Z. Revesz: Animating Spatiotemporal Constraint Databases. Spatio-Temporal Database Management 1999 : 224-241 Jan Chomicki , Peter Z. Revesz: A Geometric Framework for Specifying Spatiotemporal Objects. TIME 1999 : 41-46 Jan Chomicki , Peter Z. Revesz: Constraint-based Interoperability of Spatiotemporal Databases. GeoInformatica 3 (3): 211-243 (1999) Peter Z. Revesz: Safe Datalog Queries with Linear Constraints. CP 1998 : 355-369 Peter Z. Revesz: Safe Query Languages for Constraint Databases. ACM Trans. Database Syst. 23 (1): 58-99 (1998) Peter Z. Revesz: Genomic Database Applications in DISCO. CDB 1997 : 234-245 Peter Z. Revesz: Problem Solving in the DISCO Constraint Database System. CDB 1997 : 302-315 Peter Z. Revesz: Model-Theoretic Minimal Chenge Operators for Constraint Databases. ICDT 1997 : 447-460 Peter Z. Revesz, Yiming Li : MLPQ: A Linear Constraint Database System with Aggregate Operators. IDEAS 1997 : 132-137 Jan Chomicki , Peter Z. Revesz: Constraint-Based Interoperability of Spatiotemporal Databases. SSD 1997 : 142-161 Peter Z. Revesz: Refining Restriction Enzyme Genome Maps. Constraints 2 (3/4): 361-375 (1997) Gösta Grahne , Alberto O. Mendelzon , Peter Z. Revesz: Knowledgebase Transformations. J. Comput. Syst. Sci. 54 (1): 98-112 (1997) Jo-Hag Byon , Peter Z. Revesz: DISCO: A Constraint Database System with Sets. CDB 1995 : 68-83 Peter Z. Revesz: Safe Stratified Datalog with Integer Order Programs. CP 1995 : 154-169 Peter Z. Revesz: Datalog Queries of Set Constraint Databases. ICDT 1995 : 425-438 Peter Z. Revesz: Constraint Databases: A Survey. Semantics in Databases 1995 : 209-246 Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz: Constraint Query Languages. J. Comput. Syst. Sci. 51 (1): 26-52 (1995) Divesh Srivastava , Raghu Ramakrishnan , Peter Z. Revesz: Constraint Objects. PPCP 1994 : 218-228 Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993 : 71-82 Peter Z. Revesz: A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. Theor. Comput. Sci. 116 (1&2): 117-149 (1993) Gösta Grahne , Alberto O. Mendelzon , Peter Z. Revesz: Knowledgebase Transformations. PODS 1992 : 246-260 Peter Z. Revesz: A Closed Form for Datalog Queries with Integer Order. ICDT 1990 : 187-201 Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz: Constraint Query Languages. PODS 1990 : 299-313 Paris C. Kanellakis , Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. J. Symb. Comput. 7 (3/4): 427-444 (1989) Paris C. Kanellakis , Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. DBPL 1987 : 23-41 1 [ 56 ] 2 [ 13 ] 3 [ 30 ] [ 33 ] [ 38 ] 4 [ 26 ] [ 28 ] [ 36 ] 5 [ 43 ] [ 44 ] [ 47 ] 6 [ 16 ] [ 23 ] [ 24 ] [ 25 ] [ 37 ] [ 42 ] 7 [ 34 ] 8 [ 50 ] 9 [ 50 ] 10 [ 5 ] [ 14 ] 11 [ 37 ] [ 42 ] 12 [ 50 ] 13 [ 50 ] 14 [ 50 ] 15 [ 1 ] [ 2 ] [ 3 ] [ 9 ] 16 [ 26 ] 17 [ 30 ] 18 [ 37 ] [ 42 ] [ 53 ] [ 54 ] 19 [ 3 ] [ 9 ] 20 [ 39 ] [ 40 ] [ 46 ] 21 [ 17 ] [ 26 ] 22 [ 25 ] [ 26 ] 23 [ 5 ] [ 14 ] 24 [ 28 ] [ 29 ] [ 36 ] 25 [ 8 ] 26 [ 51 ] 27 [ 50 ] 28 [ 8 ] 29 [ 50 ] 30 [ 26 ] 31 [ 50 ] 32 [ 48 ] [ 49 ]  ©2006 Association for Computing Machinery |
