Peter Z. Revesz

Hang Yue, Peter Z. Revesz: TVICS: An Efficient Traffic Video Information Converting System. TIME 2012: 141-148

Matthew D. Shortridge, Thomas Triplet, Peter Z. Revesz, Mark A. Griep, Robert Powers: Bacterial protein structures reveal phylum dependent divergence. Computational Biology and Chemistry 35(1): 24-33 (2011)

Peter Z. Revesz, Thomas Triplet: Temporal data classification using linear classifiers. Inf. Syst. 36(1): 30-41 (2011)

Venkat R. B. Santosh, Mark A. Griep, Peter Z. Revesz: Protein structure-based method for identifying horizontal gene transfer. C3S2E 2011: 9-16

Anthony Ngo, Peter Z. Revesz: Efficient traffic crash and snow complaint GIS system. DG.O 2011: 235-244

Swetha Billa, Mark A. Griep, Peter Z. Revesz: Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria. SARA 2011

Shasha Wu, Peter Z. Revesz: Extracting Topological Information from Spatial Constraint Databases. SARA 2011

Michael R. Genesereth, Peter Z. Revesz (Eds.): Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI 2011, isbn 978-1-57735-543-4

Peter Z. Revesz, Thomas Triplet: Classification integration and reclassification using constraint databases. Artificial Intelligence in Medicine 49(2): 79-91 (2010)

Hang Yue, Elizabeth G. Jones, Peter Z. Revesz: Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases. TIME 2010: 154-161

Scot Anderson, Peter Z. Revesz: Efficient MaxCount and threshold operators of moving objects. GeoInformatica 13(4): 355-396 (2009)

Peter Z. Revesz, Thomas Triplet: Temporal Data Classification Using Linear Classifiers. ADBIS 2009: 347-361

Peter Z. Revesz: A comparison of abstract data type and constraint database approaches to GIS query languages. GIS 2009: 380-383

Peter Z. Revesz: Tightened Transitive Closure of Integer Addition Constraints. SARA 2009

Peter Z. Revesz, Paolo Terenziani: Allen's Relations. Encyclopedia of Database Systems 2009: 78-79

Peter Z. Revesz: Spatiotemporal Interpolation Algorithms. Encyclopedia of Database Systems 2009: 2736-2739

Peter Z. Revesz: Temporal Constraints. Encyclopedia of Database Systems 2009: 2945-2948

Peter Z. Revesz, Thomas Triplet: Reclassification of Linearly Classified Data Using Constraint Databases. ADBIS 2008: 231-245

Peter Z. Revesz: Constraint Databases, Spatial. Encyclopedia of GIS 2008: 157-160

Peter Z. Revesz: Indexing Spatial Constraint Databases. Encyclopedia of GIS 2008: 529-530

Peter Z. Revesz: MLPQ Spatial Constraint Database System. Encyclopedia of GIS 2008: 661-662

Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz: 07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007

Peter Z. Revesz: Constraint Databases and Geographic Information Systems. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007

Scot Anderson, Peter Z. Revesz: CDB-PV: A Constraint Database-Based Program Verifier. SARA 2007: 35-49

Peter Z. Revesz: The Constraint Database Approach to Software Verification. VMCAI 2007: 329-345

Peter Z. Revesz, Shasha Wu: Spatiotemporal reasoning about epidemiological data. Artificial Intelligence in Medicine 38(2): 157-170 (2006)

Jun Gao, Peter Z. Revesz: Voting prediction using new spatiotemporal interpolation methods. DG.O 2006: 293-300

Floris Geerts, Peter Z. Revesz, Jan Van den Bussche: On-line maintenance of simplified weighted graphs for efficient distance queries. GIS 2006: 203-210

Jun Gao, Peter Z. Revesz: Visualization of Temporal-Oriented Datasets. GMAI 2006: 57-62

Floris Geerts, Peter Z. Revesz, Jan Van den Bussche: On-line topological simplification of weighted graphs. CoRR abs/cs/0608091 (2006)

Scot Anderson, Peter Z. Revesz: Efficient Threshold Aggregation of Moving Objects. CoRR abs/cs/0611031 (2006)

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)

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

Lixin Li, Peter Z. Revesz: Interpolation methods for spatio-temporal geographic data. Computers, Environment and Urban Systems 28(3): 201-227 (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

Bart Kuijpers, Peter Z. Revesz (Eds.): Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004. Lecture Notes in Computer Science 3074, Springer 2004

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: A Retrospective on Constraint Databases. PCK50 2003: 12-27

Lixin Li, Peter Z. Revesz: The Relationship among GIS-Oriented Spatiotemporal Databases. DG.O 2003

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

Peter Z. Revesz: Introduction to Constraint Databases. Springer 2002, isbn 0-387-98729-0

Peter Z. Revesz, Mengchu Cai: Efficient Querying and Animation of Periodic Spatio-Temporal Databases. Ann. Math. Artif. Intell. 36(4): 437-457 (2002)

Peter Z. Revesz, Lixin Li: Representation and Querying of Interpolation Data in Constraint Databases. DG.O 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

Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz: Classes of Spatiotemporal Objects and Their Closure Properties. CoRR cs.DB/0212017 (2002)

Ying Deng, Peter Z. Revesz: Spatial and Topological Data Models. Information Modeling in the New Millennium 2001: 345-359

Peter Z. Revesz: Constraint Databases and Temporal Reasoning. TIME 2001

Peter Z. Revesz, Rui Chen, Min Ouyang: Approximate Query Evaluation Using Linear Constraint Databases. TIME 2001: 170-175

Peter Z. Revesz: Datalog and Constraints. Constraint Databases 2000: 155-170

Peter Z. Revesz: The DISCO System. Constraint Databases 2000: 383-389

Peter Z. Revesz, Mengchu Cai: Efficient Querying of Periodic Spatiotemporal Objects. CP 2000: 396-410

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, Peter Z. Revesz: Constraint-based Interoperability of Spatiotemporal Databases. GeoInformatica 3(3): 211-243 (1999)

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

Peter Z. Revesz: The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases. IJAC 8(5): 553-574 (1998)

Peter Z. Revesz: Safe Query Languages for Constraint Databases. ACM Trans. Database Syst. 23(1): 58-99 (1998)

Peter Z. Revesz: Safe Datalog Queries with Linear Constraints. CP 1998: 355-369

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)

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

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. J. Comput. Syst. Sci. 51(1): 26-52 (1995)

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

Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz: Constraint Objects. PPCP 1994: 218-228

Peter Z. Revesz: A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. Theor. Comput. Sci. 116(1&2): 117-149 (1993)

Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993: 71-82

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