| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Conference paper
Hang Yue, Peter Z. Revesz.
TVICS: An Efficient Traffic Video Information Converting System.
|
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 2012 |
 (0)
|
2012 |
|
|
Journal article
Peter Z. Revesz, Thomas Triplet.
Temporal data classification using linear classifiers.
|
Inf. Syst. 2011, Volume 36 |
(0)
|
2011 |
|
|
Journal article
Matthew D. Shortridge, Thomas Triplet, Peter Z. Revesz, Mark A. Griep, Robert Powers.
Bacterial protein structures reveal phylum dependent divergence.
|
Computational Biology and Chemistry 2011, Volume 35 |
(0)
|
2011 |
|
|
Conference paper
Venkat R. B. Santosh, Mark A. Griep, Peter Z. Revesz.
Protein structure-based method for identifying horizontal gene transfer.
|
Fourth International C* Conference on Computer Science Software Engineering, C3S2E 2011, Montreal, Quebec, Canada, May 16-18, 2011, Proceedings 2011 |
(0)
|
2011 |
|
|
Conference paper
Anthony Ngo, Peter Z. Revesz.
Efficient traffic crash and snow complaint GIS system.
|
Proceedings of the 12th Annual International Conference on Digital Government Research, DG.O 2011, College Park, MD, USA, June 12 - 15, 2011 2011 |
(0)
|
2011 |
|
|
Conference paper
Swetha Billa, Mark A. Griep, Peter Z. Revesz.
Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria.
|
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. 2011 |
(0)
|
2011 |
|
|
Conference paper
Shasha Wu, Peter Z. Revesz.
Extracting Topological Information from Spatial Constraint Databases.
|
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. 2011 |
(0)
|
2011 |
|
|
Conference paper
Peter Z. Revesz, Thomas Triplet.
Classification integration and reclassification using constraint databases.
|
Artificial Intelligence in Medicine 2010, Volume 49 |
(0)
|
2010 |
|
|
Conference paper
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 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010 2010 |
(0)
|
2010 |
|
|
Conference paper
Peter Z. Revesz, Thomas Triplet.
Temporal Data Classification Using Linear Classifiers.
|
Advances in Databases and Information Systems, 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Conference paper
Peter Z. Revesz.
A comparison of abstract data type and constraint database approaches to GIS query languages.
|
17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings 2009 |
(0)
|
2009 |
|
|
Conference paper
Scot Anderson, Peter Z. Revesz.
Efficient MaxCount and threshold operators of moving objects.
|
GeoInformatica 2009, Volume 13 |
(0)
|
2009 |
|
|
Book chapter
Peter Z. Revesz, Paolo Terenziani.
Allen's Relations.
|
Encyclopedia of Database Systems 2009 |
(0)
|
2009 |
|
|
Book chapter
Peter Z. Revesz.
Spatiotemporal Interpolation Algorithms.
|
Encyclopedia of Database Systems 2009 |
(0)
|
2009 |
|
|
Book chapter
Peter Z. Revesz.
Temporal Constraints.
|
Encyclopedia of Database Systems 2009 |
(0)
|
2009 |
|
|
Conference paper
Peter Z. Revesz.
Tightened Transitive Closure of Integer Addition Constraints.
|
Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 |
(0)
|
2009 |
|
|
Conference paper
Peter Z. Revesz, Thomas Triplet.
Reclassification of Linearly Classified Data Using Constraint Databases.
|
Advances in Databases and Information Systems, 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008. Proceedings 2008 |
(0)
|
2008 |
|
|
Book chapter
Peter Z. Revesz.
Constraint Databases, Spatial.
|
Encyclopedia of GIS. 2008 |
(0)
|
2008 |
|
|
Book chapter
Peter Z. Revesz.
Indexing Spatial Constraint Databases.
|
Encyclopedia of GIS. 2008 |
(0)
|
2008 |
|
|
Book chapter
Peter Z. Revesz.
MLPQ Spatial Constraint Database System.
|
Encyclopedia of GIS. 2008 |
(0)
|
2008 |
|
|
Conference paper
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, 20.05. - 25.05.2007 2007 |
(0)
|
2007 |
|
|
Conference paper
Peter Z. Revesz.
Constraint Databases and Geographic Information Systems.
|
Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007 2007 |
(0)
|
2007 |
|
|
Conference paper
Scot Anderson, Peter Z. Revesz.
CDB-PV: A Constraint Database-Based Program Verifier.
|
Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Peter Z. Revesz.
The Constraint Database Approach to Software Verification.
|
Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Jun Gao, Peter Z. Revesz.
Voting prediction using new spatiotemporal interpolation methods.
|
Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006 2006 |
(0)
|
2006 |
|
|
Conference paper
Floris Geerts, Peter Z. Revesz, Jan Van den Bussche.
On-line maintenance of simplified weighted graphs for efficient distance queries.
|
14th ACM International Symposium on Geographic Information Systems, ACM-GIS 2006, November 10-11, 2006, Arlington, Virginia, USA, Proceedings 2006 |
(0)
|
2006 |
|
|
Conference paper
Jun Gao, Peter Z. Revesz.
Visualization of Temporal-Oriented Datasets.
|
2006 International Conference on Geometric Modeling and Imaging (GMAI 2006), 5-7 July 2006, London, UK 2006 |
(0)
|
2006 |
|
|
Conference paper
Peter Z. Revesz, Shasha Wu.
Spatiotemporal reasoning about epidemiological data.
|
Artificial Intelligence in Medicine 2006, Volume 38 |
(0)
|
2006 |
|
|
Conference paper
Scot Anderson, Peter Z. Revesz.
Efficient Threshold Aggregation of Moving Objects
|
CoRR 2006, Volume 0 |
(0)
|
2006 |
|
|
Conference paper
Floris Geerts, Peter Z. Revesz, Jan Van den Bussche.
On-line topological simplification of weighted graphs
|
CoRR 2006, Volume 0 |
(0)
|
2006 |
|
|
Conference paper
Peter Z. Revesz.
The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints.
|
Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
Scot Anderson, Peter Z. Revesz.
Verifying the Incorrectness of Programs and Automata.
|
Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
Peter Z. Revesz.
Efficient Rectangle Indexing Algorithms Based on Point Dominance.
|
12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA 2005 |
(0)
|
2005 |
|
|
Conference paper
Bart Kuijpers, Peter Z. Revesz.
Report on the 1st International Symposium on the Applications of Constraint Databases (CDB'04).
|
SIGMOD Record 2005, Volume 34 |
(0)
|
2005 |
|
|
Conference paper
Peter Z. Revesz.
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.
|
Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing 2004 |
(0)
|
2004 |
|
|
Conference paper
Viswanathan Ramanathan, Peter Z. Revesz.
Constraint Database Solutions to the Genome Map Assembly Problem.
|
Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004 2004 |
(0)
|
2004 |
|
|
Conference paper
Shasha Wu, Peter Z. Revesz.
DOAS: A Drought Online Analysis System with Constraint Databases.
|
DG.O 2004 |
(0)
|
2004 |
|
|
Conference paper
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 |
(0)
|
2004 |
|
|
Conference paper
Peter Z. Revesz, Shasha Wu.
Visualization of Recursively Defined Concepts.
|
8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK 2004 |
(0)
|
2004 |
|
|
Conference paper
Yi Chen, Peter Z. Revesz.
Max-Count Aggregation Estimation for Moving Points.
|
11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France 2004 |
(0)
|
2004 |
|
|
Conference paper
Lixin Li, Peter Z. Revesz.
Interpolation methods for spatio-temporal geographic data.
|
Computers, Environment and Urban Systems 2004, Volume 28 |
(0)
|
2004 |
|
|
Conference paper
Peter Z. Revesz.
A Retrospective on Constraint Databases.
|
PCK50 - Principles of Computing Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 2003 |
(0)
|
2003 |
|
|
Conference paper
Lixin Li, Peter Z. Revesz.
The Relationship among GIS-Oriented Spatiotemporal Databases.
|
DG.O 2003 |
(0)
|
2003 |
|
|
Conference paper
Peter Z. Revesz, Yi Chen.
Efficient Aggregation over Moving Objects.
|
10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia 2003 |
(0)
|
2003 |
|
|
Conference paper
Yi Chen, Peter Z. Revesz.
Querying Spatiotemporal XML Using DataFoX.
|
2003 IEEE / WIC International Conference on Web Intelligence, (WI 2003), 13-17 October 2003, Halifax, Canada 2003 |
(0)
|
2003 |
|
|
Conference paper
Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz.
Classes of Spatio-Temporal Objects and their Closure Properties.
|
Ann. Math. Artif. Intell. 2003, Volume 39 |
(0)
|
2003 |
|
|
Conference paper
Peter Z. Revesz, Lixin Li.
Representation and Querying of Interpolation Data in Constraint Databases.
|
DG.O 2002 |
(0)
|
2002 |
|
|
Conference paper
Lixin Li, Peter Z. Revesz.
A Comparison of Spatio-temporal Interpolation Methods.
|
Geographic Information Science, Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Peter Z. Revesz, Lixin Li.
Constraint-Based Visualization of Spatial Interpolation Data.
|
IV 2002 |
(0)
|
2002 |
|
|
Conference paper
Peter Z. Revesz, Mengchu Cai.
Efficient Querying and Animation of Periodic Spatio-Temporal Databases.
|
Ann. Math. Artif. Intell. 2002, Volume 36 |
(0)
|
2002 |
|
|
Conference paper
Jan Chomicki, Sofie Haesevoets, Bart Kuijpers, Peter Z. Revesz.
Classes of Spatiotemporal Objects and Their Closure Properties
|
CoRR 2002, Volume 0 |
(0)
|
2002 |
|
|
Conference paper
Ying Deng, Peter Z. Revesz.
Spatial and Topological Data Models.
|
Information Modeling in the New Millennium 2001 |
(0)
|
2001 |
|
|
Conference paper
Peter Z. Revesz.
Constraint Databases and Temporal Reasoning.
|
TIME 2001 |
(0)
|
2001 |
|
|
Conference paper
Peter Z. Revesz, Rui Chen, Min Ouyang.
Approximate Query Evaluation Using Linear Constraint Databases.
|
TIME 2001 |
(0)
|
2001 |
|
|
Conference paper
Peter Z. Revesz.
Datalog and Constraints.
|
Constraint Databases 2000 |
(0)
|
2000 |
|
|
Conference paper
Peter Z. Revesz.
The DISCO System.
|
Constraint Databases 2000 |
(0)
|
2000 |
|
|
Conference paper
Peter Z. Revesz, Mengchu Cai.
Efficient Querying of Periodic Spatiotemporal Objects.
|
Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Mengchu Cai, Dinesh Keshwani, Peter Z. Revesz.
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases.
|
Advances in Database Technology - EDBT 2000, 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Min Ouyang, Peter Z. Revesz.
Algorithms for Cartogram Animation.
|
2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Peter Z. Revesz.
Reformulation and Approximation in Model Checking.
|
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Rui Chen, Min Ouyang, Peter Z. Revesz.
Approximating Data in Constraint Databases.
|
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Conference paper
Peter Z. Revesz, Rui Chen, Pradip Kanjamala, Yiming Li, Yuguo Liu, Yonghui Wang.
The MLPQ/GIS Constraint Database System.
|
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, USA. 2000 |
(0)
|
2000 |
|
|
Conference paper
Jan Chomicki, Yuguo Liu, Peter Z. Revesz.
Animating Spatiotemporal Constraint Databases.
|
Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Jan Chomicki, Peter Z. Revesz.
A Geometric Framework for Specifying Spatiotemporal Objects.
|
TIME 1999 |
(0)
|
1999 |
|
|
Conference paper
Jan Chomicki, Peter Z. Revesz.
Constraint-based Interoperability of Spatiotemporal Databases.
|
GeoInformatica 1999, Volume 3 |
(0)
|
1999 |
|
|
Journal article
Peter Z. Revesz.
The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases.
|
IJAC 1998, Volume 8 |
(0)
|
1998 |
|
|
Conference paper
Peter Z. Revesz.
Safe Datalog Queries with Linear Constraints.
|
Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Conference paper
Peter Z. Revesz.
Safe Query Languages for Constraint Databases.
|
ACM Trans. Database Syst. 1998, Volume 23 |
(0)
|
1998 |
|
|
Conference paper
Peter Z. Revesz.
Genomic Database Applications in DISCO.
|
Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers 1997 |
(0)
|
1997 |
|
|
Conference paper
Peter Z. Revesz.
Problem Solving in the DISCO Constraint Database System.
|
Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers 1997 |
(0)
|
1997 |
|
|
Conference paper
Peter Z. Revesz.
Model-Theoretic Minimal Chenge Operators for Constraint Databases.
|
Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings 1997 |
(0)
|
1997 |
|
|
Conference paper
Peter Z. Revesz, Yiming Li.
MLPQ: A Linear Constraint Database System with Aggregate Operators.
|
IDEAS 1997 |
(0)
|
1997 |
|
|
Conference paper
Jan Chomicki, Peter Z. Revesz.
Constraint-Based Interoperability of Spatiotemporal Databases.
|
Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings 1997 |
(0)
|
1997 |
|
|
Conference paper
Peter Z. Revesz.
Refining Restriction Enzyme Genome Maps.
|
Constraints 1997, Volume 2 |
(0)
|
1997 |
|
|
Conference paper
Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz.
Knowledgebase Transformations.
|
J. Comput. Syst. Sci. 1997, Volume 54 |
(0)
|
1997 |
|
|
Conference paper
Jo-Hag Byon, Peter Z. Revesz.
DISCO: A Constraint Database System with Sets.
|
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings 1996 |
(0)
|
1995 |
|
|
Conference paper
Peter Z. Revesz.
Safe Stratified Datalog with Integer Order Programs.
|
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings 1995 |
(0)
|
1995 |
|
|
Conference paper
Peter Z. Revesz.
Datalog Queries of Set Constraint Databases.
|
Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings 1995 |
(0)
|
1995 |
|
|
Conference paper
Peter Z. Revesz.
Constraint Databases: A Survey.
|
Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995 1998 |
(0)
|
1995 |
|
|
Conference paper
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz.
Constraint Query Languages.
|
J. Comput. Syst. Sci. 1995, Volume 51 |
(0)
|
1995 |
|
|
Conference paper
Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz.
Constraint Objects.
|
Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings 1994 |
(0)
|
1994 |
|
|
Conference paper
Peter Z. Revesz.
On the Semantics of Theory Change: Arbitration between Old and New Information.
|
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA 1993 |
(0)
|
1993 |
|
|
Conference paper
Peter Z. Revesz.
A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.
|
Theor. Comput. Sci. 1993, Volume 116 |
(0)
|
1993 |
|
|
Conference paper
Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz.
Knowledgebase Transformations.
|
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA 1992 |
(0)
|
1992 |
|
|
Conference paper
Peter Z. Revesz.
A Closed Form for Datalog Queries with Integer Order.
|
ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings 1990 |
(0)
|
1990 |
|
|
Conference paper
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz.
Constraint Query Languages.
|
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA 1990 |
(0)
|
1990 |
|
|
Conference paper
Paris C. Kanellakis, Peter Z. Revesz.
On the Relationship of Congruence Closure and Unification.
|
J. Symb. Comput. 1989, Volume 7 |
(0)
|
1989 |
|
|
Conference paper
Paris C. Kanellakis, Peter Z. Revesz.
On the Relationship of Congruence Closure and Unification.
|
Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France 1990 |
(0)
|
1987 |
r/PZRevesz