| 2008 |
|---|
| 73 | EE | Peter Z. Revesz,
Thomas Triplet:
Reclassification of Linearly Classified Data Using Constraint Databases.
ADBIS 2008: 231-245 |
| 72 | EE | Peter Z. Revesz:
Constraint Databases, Spatial.
Encyclopedia of GIS 2008: 157-160 |
| 71 | EE | Peter Z. Revesz:
Indexing Spatial Constraint Databases.
Encyclopedia of GIS 2008: 529-530 |
| 70 | EE | Peter Z. Revesz:
MLPQ Spatial Constraint Database System.
Encyclopedia of GIS 2008: 661-662 |
| 2007 |
|---|
| 69 | EE | 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 |
| 68 | EE | Peter Z. Revesz:
Constraint Databases and Geographic Information Systems.
Constraint Databases, Geometric Elimination and Geographic Information Systems 2007 |
| 67 | EE | Scot Anderson,
Peter Z. Revesz:
CDB-PV: A Constraint Database-Based Program Verifier.
SARA 2007: 35-49 |
| 66 | EE | Peter Z. Revesz:
The Constraint Database Approach to Software Verification.
VMCAI 2007: 329-345 |
| 2006 |
|---|
| 65 | EE | Jun Gao,
Peter Z. Revesz:
Voting prediction using new spatiotemporal interpolation methods.
DG.O 2006: 293-300 |
| 64 | EE | Floris Geerts,
Peter Z. Revesz,
Jan Van den Bussche:
On-line maintenance of simplified weighted graphs for efficient distance queries.
GIS 2006: 203-210 |
| 63 | EE | Jun Gao,
Peter Z. Revesz:
Visualization of Temporal-Oriented Datasets.
GMAI 2006: 57-62 |
| 62 | EE | Peter Z. Revesz,
Shasha Wu:
Spatiotemporal reasoning about epidemiological data.
Artificial Intelligence in Medicine 38(2): 157-170 (2006) |
| 61 | EE | Floris Geerts,
Peter Z. Revesz,
Jan Van den Bussche:
On-line topological simplification of weighted graphs
CoRR abs/cs/0608091: (2006) |
| 60 | EE | Scot Anderson,
Peter Z. Revesz:
Efficient Threshold Aggregation of Moving Objects
CoRR abs/cs/0611031: (2006) |
| 2005 |
|---|
| 59 | EE | Peter Z. Revesz:
The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints.
ADBIS 2005: 167-182 |
| 58 | EE | Scot Anderson,
Peter Z. Revesz:
Verifying the Incorrectness of Programs and Automata.
SARA 2005: 1-13 |
| 57 | EE | Peter Z. Revesz:
Efficient Rectangle Indexing Algorithms Based on Point Dominance.
TIME 2005: 210-212 |
| 56 | EE | 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) |
| 2004 |
|---|
| 55 | | 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 |
| 54 | EE | Peter Z. Revesz:
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.
ADBIS 2004: 1-21 |
| 53 | EE | Viswanathan Ramanathan,
Peter Z. Revesz:
Constraint Database Solutions to the Genome Map Assembly Problem.
CDB 2004: 90-116 |
| 52 | EE | 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 |
| 51 | EE | Shasha Wu,
Peter Z. Revesz:
DOAS: A Drought Online Analysis System with Constraint Databases.
DG.O 2004 |
| 50 | EE | Peter Z. Revesz,
Shasha Wu:
Visualization of Recursively Defined Concepts.
IV 2004: 613-621 |
| 49 | EE | Yi Chen,
Peter Z. Revesz:
Max-Count Aggregation Estimation for Moving Points.
TIME 2004: 103-108 |
| 48 | EE | Lixin Li,
Peter Z. Revesz:
Interpolation methods for spatio-temporal geographic data.
Computers, Environment and Urban Systems 28(3): 201-227 (2004) |
| 2003 |
|---|
| 47 | EE | Lixin Li,
Peter Z. Revesz:
The Relationship among GIS-Oriented Spatiotemporal Databases.
DG.O 2003 |
| 46 | | Peter Z. Revesz:
A Retrospective on Constraint Databases.
PCK50 2003: 12-27 |
| 45 | EE | Peter Z. Revesz,
Yi Chen:
Efficient Aggregation over Moving Objects.
TIME 2003: 118-127 |
| 44 | EE | Yi Chen,
Peter Z. Revesz:
Querying Spatiotemporal XML Using DataFoX.
Web Intelligence 2003: 301-309 |
| 43 | | 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) |
| 2002 |
|---|
| 42 | | Peter Z. Revesz:
Introduction to Constraint Databases
Springer 2002 |
| 41 | EE | Peter Z. Revesz,
Lixin Li:
Representation and Querying of Interpolation Data in Constraint Databases.
DG.O 2002 |
| 40 | EE | Lixin Li,
Peter Z. Revesz:
A Comparison of Spatio-temporal Interpolation Methods.
GIScience 2002: 145-160 |
| 39 | EE | Peter Z. Revesz,
Lixin Li:
Constraint-Based Visualization of Spatial Interpolation Data.
IV 2002: 563-569 |
| 38 | | Peter Z. Revesz,
Mengchu Cai:
Efficient Querying and Animation of Periodic Spatio-Temporal Databases.
Ann. Math. Artif. Intell. 36(4): 437-457 (2002) |
| 37 | EE | Jan Chomicki,
Sofie Haesevoets,
Bart Kuijpers,
Peter Z. Revesz:
Classes of Spatiotemporal Objects and Their Closure Properties
CoRR cs.DB/0212017: (2002) |
| 2001 |
|---|
| 36 | EE | Peter Z. Revesz,
Rui Chen,
Min Ouyang:
Approximate Query Evaluation Using Linear Constraint Databases.
TIME 2001: 170-175 |
| 35 | | Peter Z. Revesz:
Constraint Databases and Temporal Reasoning.
TIME 2001 |
| 34 | | Ying Deng,
Peter Z. Revesz:
Spatial and Topological Data Models.
Information Modeling in the New Millennium 2001: 345-359 |
| 2000 |
|---|
| 33 | EE | Peter Z. Revesz,
Mengchu Cai:
Efficient Querying of Periodic Spatiotemporal Objects.
CP 2000: 396-410 |
| 32 | | Peter Z. Revesz:
Datalog and Constraints.
Constraint Databases 2000: 155-170 |
| 31 | | Peter Z. Revesz:
The DISCO System.
Constraint Databases 2000: 383-389 |
| 30 | EE | Mengchu Cai,
Dinesh Keshwani,
Peter Z. Revesz:
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases.
EDBT 2000: 430-444 |
| 29 | EE | Min Ouyang,
Peter Z. Revesz:
Algorithms for Cartogram Animation.
IDEAS 2000: 231-235 |
| 28 | EE | Rui Chen,
Min Ouyang,
Peter Z. Revesz:
Approximating Data in Constraint Databases.
SARA 2000: 124-143 |
| 27 | EE | Peter Z. Revesz:
Reformulation and Approximation in Model Checking.
SARA 2000: 202-218 |
| 26 | EE | Peter Z. Revesz,
Rui Chen,
Pradip Kanjamala,
Yiming Li,
Yuguo Liu,
Yonghui Wang:
The MLPQ/GIS Constraint Database System.
SIGMOD Conference 2000: 601 |
| 1999 |
|---|
| 25 | EE | Jan Chomicki,
Yuguo Liu,
Peter Z. Revesz:
Animating Spatiotemporal Constraint Databases.
Spatio-Temporal Database Management 1999: 224-241 |
| 24 | EE | Jan Chomicki,
Peter Z. Revesz:
A Geometric Framework for Specifying Spatiotemporal Objects.
TIME 1999: 41-46 |
| 23 | | Jan Chomicki,
Peter Z. Revesz:
Constraint-based Interoperability of Spatiotemporal Databases.
GeoInformatica 3(3): 211-243 (1999) |
| 1998 |
|---|
| 22 | EE | Peter Z. Revesz:
Safe Datalog Queries with Linear Constraints.
CP 1998: 355-369 |
| 21 | EE | Peter Z. Revesz:
Safe Query Languages for Constraint Databases.
ACM Trans. Database Syst. 23(1): 58-99 (1998) |
| 1997 |
|---|
| 20 | | Peter Z. Revesz:
Genomic Database Applications in DISCO.
CDB 1997: 234-245 |
| 19 | | Peter Z. Revesz:
Problem Solving in the DISCO Constraint Database System.
CDB 1997: 302-315 |
| 18 | EE | Peter Z. Revesz:
Model-Theoretic Minimal Chenge Operators for Constraint Databases.
ICDT 1997: 447-460 |
| 17 | | Peter Z. Revesz,
Yiming Li:
MLPQ: A Linear Constraint Database System with Aggregate Operators.
IDEAS 1997: 132-137 |
| 16 | EE | Jan Chomicki,
Peter Z. Revesz:
Constraint-Based Interoperability of Spatiotemporal Databases.
SSD 1997: 142-161 |
| 15 | | Peter Z. Revesz:
Refining Restriction Enzyme Genome Maps.
Constraints 2(3/4): 361-375 (1997) |
| 14 | | Gösta Grahne,
Alberto O. Mendelzon,
Peter Z. Revesz:
Knowledgebase Transformations.
J. Comput. Syst. Sci. 54(1): 98-112 (1997) |
| 1995 |
|---|
| 13 | | Jo-Hag Byon,
Peter Z. Revesz:
DISCO: A Constraint Database System with Sets.
CDB 1995: 68-83 |
| 12 | | Peter Z. Revesz:
Safe Stratified Datalog with Integer Order Programs.
CP 1995: 154-169 |
| 11 | EE | Peter Z. Revesz:
Datalog Queries of Set Constraint Databases.
ICDT 1995: 425-438 |
| 10 | | Peter Z. Revesz:
Constraint Databases: A Survey.
Semantics in Databases 1995: 209-246 |
| 9 | | Paris C. Kanellakis,
Gabriel M. Kuper,
Peter Z. Revesz:
Constraint Query Languages.
J. Comput. Syst. Sci. 51(1): 26-52 (1995) |
| 1994 |
|---|
| 8 | | Divesh Srivastava,
Raghu Ramakrishnan,
Peter Z. Revesz:
Constraint Objects.
PPCP 1994: 218-228 |
| 1993 |
|---|
| 7 | EE | Peter Z. Revesz:
On the Semantics of Theory Change: Arbitration between Old and New Information.
PODS 1993: 71-82 |
| 6 | | Peter Z. Revesz:
A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.
Theor. Comput. Sci. 116(1&2): 117-149 (1993) |
| 1992 |
|---|
| 5 | EE | Gösta Grahne,
Alberto O. Mendelzon,
Peter Z. Revesz:
Knowledgebase Transformations.
PODS 1992: 246-260 |
| 1990 |
|---|
| 4 | EE | Peter Z. Revesz:
A Closed Form for Datalog Queries with Integer Order.
ICDT 1990: 187-201 |
| 3 | EE | Paris C. Kanellakis,
Gabriel M. Kuper,
Peter Z. Revesz:
Constraint Query Languages.
PODS 1990: 299-313 |
| 1989 |
|---|
| 2 | | Paris C. Kanellakis,
Peter Z. Revesz:
On the Relationship of Congruence Closure and Unification.
J. Symb. Comput. 7(3/4): 427-444 (1989) |
| 1987 |
|---|
| 1 | EE | Paris C. Kanellakis,
Peter Z. Revesz:
On the Relationship of Congruence Closure and Unification.
DBPL 1987: 23-41 |
