Please email me (revesz@cse.unl.edu) for reprints of journal and conference papers that are not linked here.
1. J. Pustejovsky, P. Revesz, eds., Proc. 13th International Symposium on Temporal Representation and Reasoning, IEEE Press, 2006.
2. B. Kuijpers, P. Revesz, eds., Proc. First International Symposium on Constraint Databases, Springer LNCS 3074, 2004.
3. P.
Revesz, Introduction to Constraint Databases, Springer,
4.
Fast-NMR – Functional Annotation Screening
Technology Using NMR,
(K. Mercier, M. Baran,
V. Ramanathan, P. Revesz, R. Xiao, G. Montelione, R. Powers)
Journal of the American Chemical Society,
vol. 128, no. 47, pp. 15292-99, 2006.
5.
Comparison of
Protein Active-Site Structures for Functional Annotation of Proteins and
Drug Design,
(R. Powers, J. Copeland, K. Germer, K. Mercier, V. Ramanathan, P. Revesz)
Proteins: Structure, Function, and Bioinformatics,
vol. 65, no. 1, pp. 124-135, 2006.
6.
Spatiotemporal Reasoning about Epidemiological Data,
(P. Revesz,
Artificial Intelligence in Medicine,
vol. 38, no. 2, pp. 157-170, 2006.
8.
Classes of Spatiotemporal Objects and their Closure Properties,
(J. Chomicki, S. Haesevoets,
B. Kuijpers, P. Revesz)
Annals of Mathematics and Artificial
Intelligence, vol. 39, no. 4, pp. 431-461, 2003.
9.
Constraint-Based Visualization of Spatiotemporal
Databases, (P. Revesz, L. Li)
In: Advances in Geometric Modeling,
M. Sarfaz, ed.,
John Wiley Inc., pp. 263-276, 2003.
10. A
Shape-Based Approach to Change Detection and Information Mining in Remote
Sensing, (J. Li, R. Narayanan, P. Revesz)
In: Frontiers of Remote Sensing
Information Processing, C.H. Chen, ed.,
World Scientific Publishing, pp. 63-86, 2003.
11. Efficient
Querying of Periodic Spatiotemporal Objects, (P. Revesz, M. Cai)
Annals of Mathematics and Artificial Intelligence, vol. 36, no. 4, pp. 437-457,
2002.
12. Parametric
Spatiotemporal Objects, (J. Chomicki, P. Revesz)
Periodico Dell'Associazione
Italiana per l'Intelligenza
Artificiale, vol. 14, no. 1, pp. 41-47, 2001.
13. Spatial
and Topological Data Models,
(Y. Deng, P. Revesz)
In: Information Modeling in the Next Millennium, M. Rossi and K. Siau, eds., pp. 345-359, 2001.
14. Datalog and Constraints, (P. Revesz)
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds., Springer,
pp. 155-170, 2000.
15. The DISCO
Constraint Database System, (P.
Revesz)
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds.,
Springer, pp. 383-389, 2000.
16. Constraint-Based Interoperability of Spatiotemporal
Databases, (J.
Chomicki, P. Revesz)
Geoinformatica, vol. 3, no. 3, pp. 211-243,
1999.
17. Safe Query Languages for Constraint Databases, (P. Revesz)
ACM Transactions on Database Systems, vol. 23, no. 1, pp. 58-99, 1998.
18. The Evaluation and the Computational Complexity
of Datalog Queries of Boolean Constraint Databases, (P. Revesz)
International Journal of Algebra and Computation, vol. 8, no. 5, pp.
553-574, 1998.
19. Constraint Databases: A Survey, (P. Revesz)
In: Semantics in Databases, L. Libkin and B. Thalheim, eds., Springer LNCS 1358, pp. 209-246, 1998.
20. Weighted
Knowledgebase Transformations,
(A. Benczur, A. B. Novak, P. Revesz)
Annales Universitatis
Scientarium Budapestinensis,
vol. 17, pp. 65-78, 1998.
21. Refining Restriction Enzyme Genome Maps, (P. Revesz)
Constraints, vol. 2, no. 3-4, pp. 361-375, 1997.
22. Knowledgebase Transformations, (G. Grahne,
A. O. Mendelzon, P. Revesz)
Journal of Computer and System Sciences, vol. 54, no. 1, pp. 98-112,
1997.
23. On the Semantics of Arbitration, (P. Revesz)
International Journal of Algebra and Computation, vol. 7, no. 2, pp.
133-160, 1997.
24. Classical
and Weighted Knowledgebase Transformations, (A. Benczur,
A. B. Novak, P. Revesz)
Computers and Mathematics with Applications, vol. 32., no. 5, pp. 85-98,
1996.
25. On
the Semantics of Revision and Model-Fitting in Weighted Case, (A. Benczur,
A. B. Novak, P. Revesz)
Zbornik Radova,
vol. 20, pp. 45-58, 1996.
26. Constraint Query Languages, (P. C. Kanellakis,
G. M. Kuper, P. Revesz)
Journal of Computer and System Sciences, vol. 51, no. 1, pp. 26-52,
1995.
27. On
Knowledgebase Transformations,
(A. Benczur, A. B. Novak, P. Revesz)
Applied Mathematics Letters, vol. 17, no. 3-4, pp. 347-371, 1993.
28. A Closed Form Evaluation for Datalog
Queries with Integer (Gap)-Order Constraints, (P. Revesz)
Theoretical Computer Science, vol. 116, no. 1, pp.117-149, 1993.
29. On
the Relationship of Congruence Closure and Unification, (P. C. Kanellakis, P. Revesz)
Journal of Symbolic Computation, vol. 7, no. 3-4, pp. 427-444, 1989.
30. On-Line
Maintenance of Simplified Weighted Graphs for Efficient Distance Queries, (F. Geerts, P. Revesz, J. Van den Bussche)
Proc. 14th ACM International
Symposium on Advances in Geographic Information Systems (ACMGIS),
ACM Press, pp. 203-210, Arlington, VA, USA, November 2006.
31. Visualization
of Temporal-Oriented
Data Sets, (J. Gao, P. Revesz)
Proc. First International Conference on Geometric Modeling and Imaging,
IEEE Press, pp. 57-62,
32. Voting
Prediction Using New Spatiotemporal Interpolation Methods, (J. Gao, P. Revesz)
Proc. Seventh International Conference on
Digital Government Research, pp. 293-300, May 2006.
33. The
Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints, (P.
Revesz)
Proc. Advances in Databases and
Information Systems (ADBIS),
Springer LNCS 3631, pp. 167-182, Tallinn, Estonia, September 2005.
34. Verifying the Incorrectness of Programs
and Automata, (
Proc. Sixth International Symposium on
Abstraction, Reformulation and Approximation (SARA),
Springer LNCS 3607, pp. 1-13,
Edinburgh, Scotland, UK, July 2005.
35. Efficient
Rectangle Indexing Algorithms based on Point Dominance, (P. Revesz)
Proc. Twelfth International Symposium on
Temporal Representation and Reasoning (TIME),
IEEE Press, pp. 210-212, Burlington, Vermont, June 2005.
36. Quantifier-Elimination
for the First-Order Theory of Boolean Algebras with Linear Cardinality
Constraints, (P. Revesz)
Proc.
Advances in Databases and Information Systems (ADBIS),
Springer LNCS 3255, pp. 1-21,
37. Visualization
of Recursively Defined Concepts, (P. Revesz, S. Wu)
Proc.
Eighth International Conference on Information Visualization (IV),
IEEE Press, pp. 613-621, London , United Kingdom , July 2004.
38. Max-Count
Aggregation Estimation for Moving Points, (Y. Chen, P. Revesz)
Proc. Eleventh
International Symposium on Temporal Representation and Reasoning (TIME),
IEEE Press, pp. 103-108, Tatihou, Basse
Normandie , France , July 2004.
39. Constraint
Database Solutions to the Genome Map Assembly Problem, (V. Ramanathan,
P. Revesz)
Proc.
First International Symposium on Constraint Databases (CDB),
Springer LNCS 3074, pp. 88-111,
40. Spatiotemporal
Database Models for Attracting Students to Research, (A. B. Novak, P. Revesz,
Z. Tuza)
International Conference in Memoriam John
von Neumann,
pp. 244-256, Budapest, Hungary, December 2003.
41. Querying
Spatiotemporal XML Using DataFox, (Y. Chen, P.
Revesz)
Proc.
IEEE International Conference on Web Intelligence (WI),
IEEE Press, pp. 301-309, Halifax, Nova Scotia, Canada, October 2003.
42. Efficient
Aggregation over Moving Objects, (P. Revesz, Y. Chen)
Proc.
Tenth International Symposium on Temporal Representation and Reasoning (TIME),
IEEE Press, pp. 118-127, Cairns, Queensland, Australia, July 2003.
43. A
Retrospective on Constraint Databases, (P. Revesz)
Principles of Computing and Knowledge:
Paris C. Kanellakis Memorial Workshop,
ACM Press, pp. 12-27, San Diego, CA, USA, June 2003.
44. A Comparison of Spatio
-Temporal Interpolation Methods,
(L. Li, P. Revesz )
Proc. Second International
Conference on Geographic Information Science (GIScience),
Springer LNCS 2478, pp. 145-160, Boulder, Colorado, September 2002.
45. Constraint-Based
Visualization of Spatial Interpolation Data, (P. Revesz, L. Li)
Proc.
Sixth International Conference on Information Visualisation
(IV),
IEEE Press, pp. 563-569, London, United Kingdom, July 2002.
46. Approximate
Query Evaluation using Linear Constraint Databases, (P. Revesz, R. Chen, M. Ouyang)
Proc.
Eight International Symposium on Temporal Representation and Reasoning (TIME),
IEEE Press, pp. 170-175, Cividale del Friuli, Italy, June 2001.
47. Parametric
R-tree: An Index Structure for Moving Objects, (M. Cai,
P. Revesz)
Proc.
Tenth International Conference on Management of Data (COMAD),
McGraw Hill, pp. 57-64, Pune, India, December 2000.
48. Geo-Temporal
Data Transformations and Visualization, (R. Chen, P. Revesz)
Proc. First International
Conference on Geographic Information Science (GIScience),
pp. 240-242, Savannah, Georgia, October 2000.
49. Efficient
Querying of Periodic Spatiotemporal Objects, (P. Revesz, M. Cai)
Proc.
Sixth International Conference on Principles and Practice of Constraint
Programming (CP),
Springer LNCS 1894, pp. 396-410,
50. Algorithms for Cartogram Animation, (M. Ouyang,
P. Revesz)
Proc.
International Database Engineering and Applications Symposium (IDEAS),
IEEE Press, pp. 231-235,
51. Approximating
Data in Constraint Databases, (R. Chen, M. Ouyang,
P. Revesz)
Proc.
Fourth International Symposium on Abstraction, Reformulation and Approximation
(SARA),
Springer LNAI 1864, pp. 124-143, Horseshoe Bay, Texas, July 2000.
52. Reformulation
and Approximation in Model Checking,
(P. Revesz)
Proc.
Fourth International Symposium on Abstraction, Reformulation and Approximation
(SARA),
Springer LNAI 1864, pp. 202-218, Horseshoe Bay, Texas, July 2000.
53. The
MLPQ/
Proc.
ACM-SIGMOD International Conference on Management of Data (SIGMOD),
ACM Press, Dallas, Texas, May 2000.
54. Parametric Rectangles: A Model for Querying and
Animation of Spatiotemporal Databases, (M. Cai,
D. Keshwani, P. Revesz)
Proc.
Seventh Conference on Extending Database Technology (EDBT),
Springer LNCS 1777, pp. 430-444,
55. Animation of Spatiotemporal Databases, (J. Chomicki,
Y. Liu, P. Revesz)
Proc.
Workshop on Spatio-Temporal Database Management
(STDBM),
Springer LNCS 1678,
56. Datalog Programs with Difference Constraints, (P. Revesz)
Proc.
Twelfth International Conference on Applications of Prolog (INAP),
pp. 69-76,
57. The
Dominating Cycle Problem in 2-Connected Graphs and the Matching Problem for Bag
of Bags are NP-complete, (P.
Revesz)
Proc. International Conference on Paul Erdos and
his Mathematics,
pp. 221-225,
58. A Geometric Framework for Specifying Spatiotemporal
Objects, (J. Chomicki, P. Revesz)
Proc.
Sixth International Workshop on Temporal Representation and Reasoning (TIME),
IEEE Press, pp. 41-46, Orlando, Florida, May 1999.
59. MLPQ/GIS: A Geographic Information System
using Linear Constraint Databases, (P. Kanjamala,
P. Revesz, Y. Wang)
Proc.
Ninth International Conference on Management of Data (COMAD),
McGraw Hill, pp. 389-392, Hyderabad, India, December 1998.
60. Safe Datalog Queries
with Linear Constraints,
(P. Revesz)
Proc.
Fourth International Conference on Principles and Practice of Constraint
Programming (CP),
Springer LNCS 1520, pp. 355-369,
61. Temporal
Application of Weighted Knowledgebase Revision, (A. Benczur,
A. B. Novak, P. Revesz)
Proc.
IEEE International Conference on Intelligent Engineering Systems (INES),
IEEE Press, pp. 227-230,
62. MLPQ:
A Linear Constraint Database System with Aggregate Operators, (P. Revesz, Y. Li)
Proc.
International Database Engineering and Applications Symposium (IDEAS),
IEEE Press, pp. 132-137,
63. Constraint-Based
Interoperability of Spatiotemporal Databases, (J. Chomicki,
P. Revesz)
Proc.
Fifth International Symposium on Spatial Databases (SSD),
Springer LNCS 1262, pp. 142-162,
64. Model-Theoretic Minimal Change Operators for
Constraint Databases, (P.
Revesz)
Proc.
Sixth International Conference on Database Theory (ICDT),
Springer LNCS 1186,
65. Problem Solving in the DISCO Constraint Database
System, (P. Revesz)
Proc. Second International Workshop on
Constraint Database Systems (CDB),
Springer LNCS 1191, pp. 302-315,
66. Genomic Database Applications in DISCO, (P. Revesz)
Proc. Workshop on Constraints and Databases
(CDB),
Springer LNCS 1191, pp. 234-245,
67. DISCO: A Constraint Database System with Sets, (J. Byon, P.
Revesz)
Proc.
Workshop on Constraint Databases and Applications (CDB),
Springer LNCS 1034, pp. 68-83,
68. Safe Stratified Datalog
with Integer Order Programs,
(P. Revesz)
Proc.
First International Conference on Principles and Practice of Constraint
Programming (CP),
Springer LNCS 976, pp. 154-169,
69. Datalog Queries of Set
Constraint Databases, (P.
Revesz)
Proc.
Fifth International Conference on Database Theory (ICDT),
Springer LNCS 893, pp. 425-438,
70. Constraint
Objects, (D. Srivastava, R. Ramakrishnan, P.
Revesz)
Proc. Workshop on
Principles and Practice of Constraint Programming (CP),
Springer LNCS 874, pp. 218-228,
71. On the Semantics of Theory Change: Arbitration between
Old and New Information,
(P. Revesz)
Proc.
Twelfth ACM Symposium on Principles of Database Systems (PODS),
ACM Press, pp. 71-82, Washington D.C., May 1993.
72. Knowledgebase
Transformations, (G. Grahne, A.O. Mendelzon,
P. Revesz)
Proc.
Eleventh ACM Symposium on Principles of Database Systems (PODS),
ACM Press, pp. 246-260, San Diego, CA, June 1992.
73. A
Closed Form for Datalog Queries with Integer Order,
(P. Revesz)
Proc.
Third International Conference on Database Theory (ICDT),
Springer LNCS 470, pp. 187-201,
(This paper won the Best Student Paper Award of the conference.)
74. Constraint
Query Languages, (P.C. Kanellakis, G.M. Kuper, P. Revesz)
Proc.
Ninth ACM Symposium on Principles of Database Systems (PODS),
ACM Press, pp. 299-313, Nashville, Tennessee, April 1990.
75. On
a Distinction between Congruence Closure and Unification, (P.C. Kanellakis, P. Revesz)
Workshop
on Database Programming Languages (DBPL),
Post-workshop proceedings appears in: Advances
in Database Programming Languages,
ACM Press, pp. 23-41, 1990.
|Back|