Peter Z. Revesz

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
84Protein structure-based method for identifying horizontal gene transfer. Venkat R. B. Santosh, Mark A. Griep, Peter Z. Revesz. C3S2E 2011, 9-16. Web SearchBibTeXDownload
83Bacterial protein structures reveal phylum dependent divergence. Matthew D. Shortridge, Thomas Triplet, Peter Z. Revesz, Mark A. Griep, Robert Powers. Computational Biology and Chemistry (35): 24-33 (2011). Web SearchBibTeXDownload
82Efficient traffic crash and snow complaint GIS system. Anthony Ngo, Peter Z. Revesz. DG.O 2011, 235-244. Web SearchBibTeXDownload
81Temporal data classification using linear classifiers. Peter Z. Revesz, Thomas Triplet. Inf. Syst. (36): 30-41 (2011). Web SearchBibTeXDownload
2010
80Classification integration and reclassification using constraint databases. Peter Z. Revesz, Thomas Triplet. Artificial Intelligence in Medicine (49): 79-91 (2010). Web SearchBibTeXDownload
79Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases. Hang Yue, Elizabeth G. Jones, Peter Z. Revesz. TIME 2010, 154-161. Web SearchBibTeXDownload
2009
78Temporal Data Classification Using Linear Classifiers. Peter Z. Revesz, Thomas Triplet. ADBIS 2009, 347-361. Web SearchBibTeXDownload
77Allen's Relations. Peter Z. Revesz, Paolo Terenziani. Encyclopedia of Database Systems 2009, 78-79. Web SearchBibTeXDownload
76Temporal Constraints. Peter Z. Revesz. Encyclopedia of Database Systems 2009, 2945-2948. Web SearchBibTeXDownload
75Spatiotemporal Interpolation Algorithms. Peter Z. Revesz. Encyclopedia of Database Systems 2009, 2736-2739. Web SearchBibTeXDownload
74Efficient MaxCount and threshold operators of moving objects. Scot Anderson, Peter Z. Revesz. GeoInformatica (13): 355-396 (2009). Web SearchBibTeXDownload
73A comparison of abstract data type and constraint database approaches to GIS query languages. Peter Z. Revesz. GIS 2009, 380-383. Web SearchBibTeXDownload
72Tightened Transitive Closure of Integer Addition Constraints. Peter Z. Revesz. SARA 2009. Web SearchBibTeXDownload
2008
71Reclassification of Linearly Classified Data Using Constraint Databases. Peter Z. Revesz, Thomas Triplet. ADBIS 2008, 231-245. Web SearchBibTeXDownload
70Indexing Spatial Constraint Databases. Peter Z. Revesz. Encyclopedia of GIS 2008, 529-530. Web SearchBibTeXDownload
69Constraint Databases, Spatial. Peter Z. Revesz. Encyclopedia of GIS 2008, 157-160. Web SearchBibTeXDownload
68MLPQ Spatial Constraint Database System. Peter Z. Revesz. Encyclopedia of GIS 2008, 661-662. Web SearchBibTeXDownload
2007
67Constraint Databases and Geographic Information Systems. Peter Z. Revesz. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007. Web SearchBibTeXDownload
6607212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007. Web SearchBibTeXDownload
65CDB-PV: A Constraint Database-Based Program Verifier. Scot Anderson, Peter Z. Revesz. SARA 2007, 35-49. Web SearchBibTeXDownload
64The Constraint Database Approach to Software Verification. Peter Z. Revesz. VMCAI 2007, 329-345. Web SearchBibTeXDownload
2006
63Spatiotemporal reasoning about epidemiological data. Peter Z. Revesz, Shasha Wu. Artificial Intelligence in Medicine (38): 157-170 (2006). Web SearchBibTeXDownload
62On-line topological simplification of weighted graphs. Floris Geerts, Peter Z. Revesz, Jan Van den Bussche. CoRR (abs/cs/0608091) (2006). Cited by 1Web SearchBibTeXDownload
61Efficient Threshold Aggregation of Moving Objects. Scot Anderson, Peter Z. Revesz. CoRR (abs/cs/0611031) (2006). Web SearchBibTeXDownload
60Voting prediction using new spatiotemporal interpolation methods. Jun Gao, Peter Z. Revesz. DG.O 2006, 293-300. Web SearchBibTeXDownload
59On-line maintenance of simplified weighted graphs for efficient distance queries. Floris Geerts, Peter Z. Revesz, Jan Van den Bussche. GIS 2006, 203-210. Cited by 2Web SearchBibTeXDownload
58Visualization of Temporal-Oriented Datasets. Jun Gao, Peter Z. Revesz. GMAI 2006, 57-62. Web SearchBibTeXDownload
2005
57The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints. Peter Z. Revesz. ADBIS 2005, 167-182. Web SearchBibTeXDownload
56Verifying the Incorrectness of Programs and Automata. Scot Anderson, Peter Z. Revesz. SARA 2005, 1-13. Web SearchBibTeXDownload
55Report on the 1st International Symposium on the Applications of Constraint Databases (CDB'04). Bart Kuijpers, Peter Z. Revesz. SIGMOD Record (34): 62-64 (2005). Web SearchBibTeXDownload
54Efficient Rectangle Indexing Algorithms Based on Point Dominance. Peter Z. Revesz. TIME 2005, 210-212. Web SearchBibTeXDownload
2004
53Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints. Peter Z. Revesz. ADBIS 2004, 1-21. Web SearchBibTeXDownload
52Constraint Database Solutions to the Genome Map Assembly Problem. Viswanathan Ramanathan, Peter Z. Revesz. CDB 2004, 90-116. Cited by 1Web SearchBibTeXDownload
51Interpolation methods for spatio-temporal geographic data. Lixin Li, Peter Z. Revesz. Computers, Environment and Urban Systems (28): 201-227 (2004). Web SearchBibTeXDownload
50A Geospatial Decision Support System for Drought Risk Management. 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. DG.O 2004. Web SearchBibTeXDownload
49DOAS: A Drought Online Analysis System with Constraint Databases. Shasha Wu, Peter Z. Revesz. DG.O 2004. Web SearchBibTeXDownload
48Visualization of Recursively Defined Concepts. Peter Z. Revesz, Shasha Wu. IV 2004, 613-621. Web SearchBibTeXDownload
47Max-Count Aggregation Estimation for Moving Points. Yi Chen, Peter Z. Revesz. TIME 2004, 103-108. Web SearchBibTeXDownload
2003
46Classes of Spatio-Temporal Objects and their Closure Properties. Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz. Ann. Math. Artif. Intell. (39): 431-461 (2003). Cited by 19Web SearchBibTeXDownload
45The Relationship among GIS-Oriented Spatiotemporal Databases. Lixin Li, Peter Z. Revesz. DG.O 2003. Web SearchBibTeXDownload
44A Retrospective on Constraint Databases. Peter Z. Revesz. PCK50 2003, 12-27. Web SearchBibTeX
43Efficient Aggregation over Moving Objects. Peter Z. Revesz, Yi Chen. TIME 2003, 118-127. Web SearchBibTeXDownload
42Querying Spatiotemporal XML Using DataFoX. Yi Chen, Peter Z. Revesz. Web Intelligence 2003, 301-309. Web SearchBibTeXDownload
2002
41Efficient Querying and Animation of Periodic Spatio-Temporal Databases. Peter Z. Revesz, Mengchu Cai. Ann. Math. Artif. Intell. (36): 437-457 (2002). Web SearchBibTeXDownload
40Classes of Spatiotemporal Objects and Their Closure Properties. Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz. CoRR (cs.DB/0212017) (2002). Web SearchBibTeXDownload
39Representation and Querying of Interpolation Data in Constraint Databases. Peter Z. Revesz, Lixin Li. DG.O 2002. Web SearchBibTeXDownload
38A Comparison of Spatio-temporal Interpolation Methods. Lixin Li, Peter Z. Revesz. GIScience 2002, 145-160. Web SearchBibTeXDownload
37Constraint-Based Visualization of Spatial Interpolation Data. Peter Z. Revesz, Lixin Li. IV 2002, 563-569. Web SearchBibTeXDownload
2001
36Spatial and Topological Data Models. Ying Deng, Peter Z. Revesz. Information Modeling in the New Millennium 2001, 345-359. Web SearchBibTeX
35Approximate Query Evaluation Using Linear Constraint Databases. Peter Z. Revesz, Rui Chen, Min Ouyang. TIME 2001, 170-175. Web SearchBibTeXDownload
34Constraint Databases and Temporal Reasoning. Peter Z. Revesz. TIME 2001. Web SearchBibTeX
2000
33The DISCO System. Peter Z. Revesz. Constraint Databases 2000, 383-389. Web SearchBibTeX
32Datalog and Constraints. Peter Z. Revesz. Constraint Databases 2000, 155-170. Web SearchBibTeX
31Efficient Querying of Periodic Spatiotemporal Objects. Peter Z. Revesz, Mengchu Cai. CP 2000, 396-410. Web SearchBibTeXDownload
30Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases. Mengchu Cai, Dinesh Keshwani, Peter Z. Revesz. EDBT 2000, 430-444. Web SearchBibTeXDownload
29Algorithms for Cartogram Animation. Min Ouyang, Peter Z. Revesz. IDEAS 2000, 231-235. Web SearchBibTeXDownload
28Approximating Data in Constraint Databases. Rui Chen, Min Ouyang, Peter Z. Revesz. SARA 2000, 124-143. Web SearchBibTeXDownload
27Reformulation and Approximation in Model Checking. Peter Z. Revesz. SARA 2000, 202-218. Web SearchBibTeXDownload
26The MLPQ/GIS Constraint Database System. Peter Z. Revesz, Rui Chen, Pradip Kanjamala, Yiming Li, Yuguo Liu, Yonghui Wang. SIGMOD Conference 2000, 601. Web SearchBibTeX
1999
25Constraint-based Interoperability of Spatiotemporal Databases. Jan Chomicki, Peter Z. Revesz. GeoInformatica (3): 211-243 (1999). Cited by 111Web SearchBibTeXDownload
24Animating Spatiotemporal Constraint Databases. Jan Chomicki, Yuguo Liu, Peter Z. Revesz. Spatio-Temporal Database Management 1999, 224-241. Cited by 17Web SearchBibTeXDownload
23A Geometric Framework for Specifying Spatiotemporal Objects. Jan Chomicki, Peter Z. Revesz. TIME 1999, 41-46. Cited by 65Web SearchBibTeXDownload
1998
22Safe Query Languages for Constraint Databases. Peter Z. Revesz. ACM Trans. Database Syst. (23): 58-99 (1998). Web SearchBibTeXDownload
21Safe Datalog Queries with Linear Constraints. Peter Z. Revesz. CP 1998, 355-369. Web SearchBibTeXDownload
1997
20Genomic Database Applications in DISCO. Peter Z. Revesz. CDB 1997, 234-245. Web SearchBibTeXDownload
19Problem Solving in the DISCO Constraint Database System. Peter Z. Revesz. CDB 1997, 302-315. Web SearchBibTeXDownload
18Refining Restriction Enzyme Genome Maps. Peter Z. Revesz. Constraints (2): 361-375 (1997). Web SearchBibTeXDownload
17Model-Theoretic Minimal Chenge Operators for Constraint Databases. Peter Z. Revesz. ICDT 1997, 447-460. Web SearchBibTeXDownload
16MLPQ: A Linear Constraint Database System with Aggregate Operators. Peter Z. Revesz, Yiming Li. IDEAS 1997, 132-137. Web SearchBibTeX
15Knowledgebase Transformations. Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz. J. Comput. Syst. Sci. (54): 98-112 (1997). Cited by 27Web SearchBibTeXDownload
14Constraint-Based Interoperability of Spatiotemporal Databases. Jan Chomicki, Peter Z. Revesz. SSD 1997, 142-161. Web SearchBibTeXDownload
1995
13DISCO: A Constraint Database System with Sets. Jo-Hag Byon, Peter Z. Revesz. CDB 1995, 68-83. Web SearchBibTeXDownload
12Safe Stratified Datalog with Integer Order Programs. Peter Z. Revesz. CP 1995, 154-169. Web SearchBibTeXDownload
11Datalog Queries of Set Constraint Databases. Peter Z. Revesz. ICDT 1995, 425-438. Web SearchBibTeXDownload
10Constraint Query Languages. Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz. J. Comput. Syst. Sci. (51): 26-52 (1995). Web SearchBibTeXDownload
9Constraint Databases: A Survey. Peter Z. Revesz. Semantics in Databases 1995, 209-246. Web SearchBibTeXDownload
1994
8Constraint Objects. Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz. PPCP 1994, 218-228. Cited by 51Web SearchBibTeXDownload
1993
7On the Semantics of Theory Change: Arbitration between Old and New Information. Peter Z. Revesz. PODS 1993, 71-82. Web SearchBibTeX
6A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. Peter Z. Revesz. Theor. Comput. Sci. (116): 117-149 (1993). Web SearchBibTeXDownload
1992
5Knowledgebase Transformations. Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz. PODS 1992, 246-260. Cited by 27Web SearchBibTeX
1990
4A Closed Form for Datalog Queries with Integer Order. Peter Z. Revesz. ICDT 1990, 187-201. Web SearchBibTeXDownload
3Constraint Query Languages. Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz. PODS 1990, 299-313. Web SearchBibTeX
1989
2On the Relationship of Congruence Closure and Unification. Paris C. Kanellakis, Peter Z. Revesz. J. Symb. Comput. (7): 427-444 (1989). Web SearchBibTeXDownload
1987
1On the Relationship of Congruence Closure and Unification. Paris C. Kanellakis, Peter Z. Revesz. DBPL 1987, 23-41. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research