Main Focus: Computational Linguistics

Computational linguistics has applications ranging from machine translation [129] and declarative query languages [128] to talking robots.
Computational linguistics is also used to automate some of the work that linguists did manually, such as building online searchable dictionaries
and data mining those dictionaries to find possible cognate words, and automatically generate Swadesh lists. The data mining can also estimate
the degree of divergence between any pair of languages and use those estimates to automatically generate language family trees.

Many linguists try to decipher ancient scripts. Decipherment involves identifying the phonetic values of script symbols. That is a difficult problem
because if we need to assign to each of n signs one of n different phonetic values, then there are n! possibilities. Clearly, the search space needs
to be pruned in some way. Bilingual texts with proper names can help pruning the search space. In the absence of bilingual texts, Michael Ventris
used an alternative pruning method to decipher the Linear B script. The alternative method was matching the Linear B signs with the Cypriot Syllabary
signs, whose phonetic values were already known. Matching two sets of signs can be done manually, as Ventris did, or by a computer vision algorithm,
as we did [2, 16, 23, 33] in matching the Linear A script, the Carian Alphabet, and the Old Hungarian Alphabet. The matches suggested phonetic values
for Linear A and led to the decipherment of many Linear A texts [26]. The translation work still continues as there are over 1300 Linear A and over 400
related Cretan Hieroglyphic texts and the Phaistos Disk [4, 32]. The translations help reveal previously unknown aspects of the Minoan civilization.

Data mining is applied to archaeogenetics [10, 15], art motifs [18], vowel harmony [11], regular sound changes [7, 12, 19], toponyms [22] and weights [8].
These results help identify the origins of the Minoans and the language family to which the Minoan language belongs. The AIDA (Ancient Inscription
Database and Analytics) system [17] provides an online, searchable Minoan inscriptions database for scholars. Recently, we also developed a method
to identify allographs in undeciphered scripts with a focus on the Indus Valley Script [9], which has puzzled researchers for over a century.

Research News

'Mysterious' inscription on ancient sphinx is deciphered, Miami Herald
Mysterious inscription on ancient bronze sphinx statue is deciphered, Archaeology News
‘Mysterious’ inscription on ancient Dacia sphinx is deciphered, Arkeonews
Une mystérieuse inscription sur un ancien sphinx de la région de Dacie enfin déchiffrée, GEO
Mysterious Greek Inscription on Ancient Sphinx Deciphered, Greek Reporter
Studioso usa specchio leonardesco e traduce il mistero della Sfinge, adorata da un gruppo di legionari romani nel III secolo, Stile Arte
Revesz decodes ancient sphinx’s mysterious message, Nebraska Today
Could AI Language Models Like ChatGPT Unlock Mysterious Ancient Texts?, Discover Magazine
Origins of the Ancient Minoans | DNA, SAMA interview
Symmetry in Ancient Scripts, ISSI plenary invited talk
Origin of European River and Mountain Names, ADBIS keynote presentation
Linear A: Early Cretan Writing System, ThoughtCo
Medium, OMNIKA library, RovasInfo

Selected Publications

1.     P. Z. Revesz, Inscription on a Naxian-Style Sphinx Statue from Potaissa Deciphered as a Poem in Dactylic Meter,
Mediterranean Archaeology and Archaeometry, 23 (3), 1-15, 2023. YouTube video

2.     S. Daggumati, and P. Z. Revesz, Convolutional neural networks analysis reveals three possible sources of Bronze Age writings between Greece and India,
Information, 14 (4), no. 227, 2023. YouTube video

3.     P. Z. Revesz, A generalization of the Chomsky-Halle phonetic representation using real numbers for robust speech recognition in noisy environments,
27th International Database Engineered Applications Symposium, ACM Press, Heraklion, Greece, May 2023.

4.     P. Z. Revesz, Experimental evidence for a left-to-right reading direction of the Phaistos Disk,
Mediterranean Archaeology and Archaeometry, 22 (1), 79-96, 2022.

5.     P. Z. Revesz, Decipherment challenges due to tamga and letter mix-ups in an Old Hungarian runic inscription from the Altai Mountains,
Information, 13 (9), no. 422, 2022.

6.     P. Z. Revesz, and G. Varga, A proposed translation of an Altai Mountain inscription presumed to be from the 7th century BC,
Information, 13 (5), no. 243, 2022.

7.     P. Z. Revesz, Sumerian-Ugric protowords and regular sound changes,
Appendix to: S. Parpola, Etymological Dictionary of the Sumerian Language, vol. 3, Eisenbrauns, pp. 390-415, 2022.

8.     P. Z. Revesz, Data science applied to discover ancient Minoan-Indus Valley trade routes implied by common weight measures,
26th International Database Engineered Applications Symposium, ACM Press, pp. 150-155, 2022.

9.     S. Daggumati, and P. Z. Revesz, A method of identifying allographs in undeciphered scripts and its application to the Indus Valley Script,
Humanities and Social Sciences Communications, 8, 50, 2021.

10.  P. Z. Revesz, Data mining autosomal archaeogenetic data to determine Minoan origins,
25th International Database Engineering and Applications Symposium, ACM Press, pp. 46-55, 2021.

11.  P. Z. Revesz, A vowel harmony testing algorithm to aid in ancient script decipherment,
24th International Conference on Circuits, Systems, Communications and Computers, IEEE Press, pp. 35-38, 2020. YouTube video

12.  P. Z. Revesz, Minoan and Finno-Ugric regular sound changes discovered by data mining,
24th International Conference on Circuits, Systems, Communications and Computers, IEEE Press, pp. 241-246, 2020.

13.  S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Affine-invariant querying of spatial data using a triangle-based logic,
Geoinformatica, 24 (4), 849-879, 2020.

14.  J. Cai, and P. Z. Revesz, A novel spatio-temporal interpolation algorithm and its application to the COVID-19 pandemic,
24th International Database Engineering and Applications Symposium, ACM Press, pp. 65-74, 2020.

15.  P. Z. Revesz, Minoan archaeogenetic data mining reveals Danube Basin and western Black Sea littoral origin,
International Journal of Biology and Biomedical Engineering, 13, 108-120, 2019. YouTube video

16.  S. Daggumati, and P. Z. Revesz, Data mining ancient scripts to investigate their relationships and origins,
23rd International Database Engineering and Applications Symposium, ACM Press, art. 26, pp. 209-218, 2019. YouTube video

17.  P. Z. Revesz, M. P. Rashid, and Y. Tuyishime The design and implementation of AIDA: Ancient Inscription Database and Analytics system,
23rd International Database Engineering and Applications Symposium, ACM Press, art. 35, pp. 292-297, 2019. YouTube video

18.  P. Z. Revesz, Art motif similarity measure analysis: Fertile Crescent, Old European, Scythian and Hungarian elements in Minoan culture,
WSEAS Transactions on Mathematics, 18, 264-287, 2019. YouTube video

19.  P. Z. Revesz, Sumerian contains Dravidian and Uralic substrates associated with the Emegir and Emesal dialects,
WSEAS Transactions on Information Science and Applications, 16, 8-30, 2019. YouTube video

20.  P. Z. Revesz, A comparative analysis of Hungarian folk songs and Sanskrit literature using motif similarity matrices,
WSEAS Transactions on Information Science and Applications, 16, 75-86, 2019.

21.  13. P. Z. Revesz, and R. Woodward, Estimating the maximum rise in temperature according to climate models using abstract interpretation,
Acta Universitatis Sapientiae Informatica, 11 (1), 5-23, 2019.

22.  P. Z. Revesz, Spatio-temporal data mining of major European river and mountain names reveals their Near Eastern and African origins,
22nd European Conference on Advances in Databases and Information Systems, Springer LNCS 11019, 20-32, 2018. YouTube video

23.  S. Daggumati, and P. Z. Revesz, Data mining ancient script image data using convolutional neural networks,
22nd International Database Engineering and Applications Symposium, ACM Press, pp. 267-272, 2018.

24.  P. Z. Revesz, S. Billa, M. A. Griep, V. R. B. Santosh, A computational method that uses protein structures to detect horizontal gene transfer,
International Journal of Biology and Biomedical Engineering, 12, 215-228, 2018.

25.  P. Z. Revesz, and D. Singh, Fast virus and bacteria genome sequencing by compatible restriction enzyme fingerprinting,
International Journal of Biology and Biomedical Engineering, 12, 18-27, 2018.

26.  P. Z. Revesz, Establishing the West-Ugric language family with Minoan, Hattic and Hungarian by a decipherment of Linear A,
WSEAS Transactions on Information Science and Applications, 14, 306-335, 2017. YouTube video

27.  P. Z. Revesz, A translation of the Arkalochori Axe and the Malia Altar Stone,
WSEAS Transactions on Information Science and Applications, 14, 124-133, 2017.

 

28.  S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Affine-invariant triangulation of spatio-temporal data with an application to image retrieval,
ISPRS International Journal of Geo-Information, 6 (4), 100, 2017.

29.  B. Kuijpers, and P. Z. Revesz, A dynamic data structure to efficiently find the points below a line and estimate their number,
ISPRS International Journal of Geo-Information, 6 (3), 82, 2017.

30.  J. Ramanan, and P. Z. Revesz, Testing the independence hypothesis of accepted mutations for pairs of adjacent amino acids in protein sequences,
International Journal of Biology and Biomedical Engineering, 11, 170-179, 2017.

31.  P. Z. Revesz, Data mining citations to predict emerging scientific leaders and citation curves,
International Journal of Education and Information Technologies, 11, 171-179, 2017.

32.  P. Z. Revesz, A computer-aided translation of the Phaistos Disk,
International Journal of Computers, 10, 94-100, 2016.

33.  P. Z. Revesz, Bioinformatics evolutionary tree algorithms reveal the history of the Cretan Script Family,
International Journal of Applied Mathematics and Informatics, 10, 67-76, 2016.

34.  H. Yue, L. R. Rilett, and P. Z. Revesz, Spatio-temporal traffic video data archiving and retrieval system,
Geoinformatica, 20 (1), 59-94, 2016.

35.  P. Z. Revesz, A last genetic contact tree generation algorithm for a set of human populations,
7th ACM Int. Conf. on Bioinformatics, Computational Biology, and Health Informatics, ACM Press, pp. 501-502, 2016.

36.  P. Z. Revesz, A spatio-temporal analysis of mitochondrial DNA haplogroup I,
MATEC Web of Conferences (20th CSCC), 76 (04048), 2016.

37.  P. Z. Revesz, A mitochondrial DNA-based model of the spread of human populations,
International Journal of Biology and Biomedical Engineering, 10, 124-133, 2016.

38.  P. Z. Revesz, and Z. Li, Incremental phylogenetics by repeated insertions: An evolutionary tree algorithm,
International Journal of Biology and Biomedical Engineering, 10, 148-158, 2016.

39.  P. Z. Revesz, A recurrence equation-based solution for the cubic spline interpolation problem,
International Journal of Mathematical Models and Methods in Applied Sciences, 9, 446-452, 2015.

40.  P. Z. Revesz, Inertial navigation by interpolating the flight path of moving objects based on accelerator or velocity measurements,
International Journal of Mathematical Models and Methods in Applied Sciences, 9, 241-246, 2015.

41.  Z. Li, and P. Z. Revesz, Bilinear and smooth hue transition interpolation-based Bayer Filter designs for digital cameras,
International Journal of Circuits, Systems and Signal Processing, 9, 211-221, 2015.

42.  P. Z. Revesz, Data mining citation databases: A new index measure that predicts Nobel Prizewinners,
International Database Engineering and Applications Symposium, ACM Press, pp. 1-9, Yokohama, Japan, July 2015.

43.  P. Z. Revesz, Artificial intelligence basic research directions at the U.S. Air Force,
International Journal on Artificial Intelligence Tools, 23 (6), 2014.

44.  P. Z. Revesz, and D. Singh, Efficient and robust constraint automaton-based genome map assembly,
Proc. 4th International C* Conference on Computer Science and Software Engrineering,, ACM Press, 9, 1-9, 2014.

45.  P. Z. Revesz, A method for predicting the citations to the scientific publications of individual researchers,
International Database Engineering and Applications Symposium, ACM Press, pp. 9-18, Porto, Portugal, July 2014.

46.  A. Mohan, and P. Z. Revesz, Applications of spatio-temporal data mining to North Platte River reservoirs,
International Database Engineering and Applications Symposium, ACM Press, pp. 306-309, Porto, Portugal, July 2014.

47.  P. Z. Revesz, and C. Assi, Data mining the functional characterizations of proteins to predict their cancer-relatedness,
International Journal of Biology and Biomedical Engineering, 7 (1), 7-14, 2013.

48.  P. Z. Revesz, An algorithm for constructing hypothetical evolutionary trees using common mutations similarity matrices,
ACM International Conf. on Bioinformatics and Computational Biology, ACM Press, pp. 731-734, 2013.

49.  H. Yue, and P. Z. Revesz, TVICS: An efficient traffic video information converting system,
19th International Symposium on Temporal Representation and Reasoning, IEEE Press, pp. 141-148, 2012.

50.  M. Shortridge, T. Triplet, P. Z. Revesz, M. Griep, and R. Powers, Bacterial protein structures reveal phylum dependent divergence,
Computational Biology and Chemistry, 35 (1), 24-33, 2011.

51.  P. Z. Revesz, and T. Triplet, Temporal data classification using linear classifiers,
Information Systems, 36 (1), 30-41, 2011.

52.  V. Santosh, M. Griep, and P. Z. Revesz, Protein structure-based method for identifying horizontal gene transfer,
Proc. 1st International C* Conference on Computer Science and Software Engrineering,, ACM Press, pp. 9-16, 2011.

53.  A. Ngo, and P. Z. Revesz, Efficient traffic crash and snow complaint GIS system,
12th International Conference on Digital Government Research, ACM Press, pp. 235-244, 2011.

54.  S. Billa, M. Griep, and P. Z. Revesz, Approximate search on protein structures for identification of horizontal gene transfer in bacteria,
9th Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, pp. 18-25, 2011.

55.  S. Wu, and P. Z. Revesz, Extracting topological information from spatial constraint databases,
9th Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, pp. 149-156, 2011.

56.  M. R. Genesereth, and P. Z. Revesz, eds., Proc. Ninth International Symposium on Abstraction, Reformulation and Approximation,
AAAI Press, 2011.

57.  P. Z. Revesz, Introduction to Databases: From Biological to Spatio-Temporal,
Springer, Texts in Computer Science Series, 2010.

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

59.  T. Triplet, M. Shortridge, M. Griep, J. Stark, R. Powers, P. Z. Revesz, PROFESS: A PROtein Function, Evolution, Structure and Sequence database,
DATABASE - The Journal of Biological Databases and Curation, 2010.

60.  H. Yue, E. Jones, P. Z. Revesz, Local polynomial regression models for vehicle speed estimation and forecasting in linear constraint databases,
17th International Symposium on Temporal Representation and Reasoning, IEEE Press, pp. 154-161, 2010.

61.  S. Anderson, and P. Z. Revesz, Efficient MaxCount and threshold operators of moving objects,
Geoinformatica,, 13 (4), 355-396, 2009.

62.  P. Z. Revesz, A comparison of abstract data type and constraint database approaches to GIS query languages,
ACM SIGSPATIAL International Conf. on Advances in Geographic Information Systems,, ACM Press, pp. 380-383, 2009.

63.  P. Z. Revesz, Tightened transitive closure of integer addition constraints,
8th Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, pp. 132-142, 2009.

64.  P. Z. Revesz, Robust affine-invariant similarity measures for patterned triangles,
Tenth IASTED Int. Conf. on Computer Graphics and Imaging, ACTA Press, pp. 292-297, 2008.

65.  P. Z. Revesz, and T. Triplet, Reclassification of linearly classified data using constraint databases,
12th East-European Conference on Advances in Databases and Information Systems, Springer LNCS 5207, pp. 231-245, Pori, Finland, 2008.

66.  S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Efficient affine-invariant similarity retrieval,
2nd International Conference on Geometric Modeling and Imaging, IEEE Press, pp. 99-108, 2007.

67.  S. Anderson, and P. Z. Revesz, CDB-PV: A constraint database-based program verifier,
7th Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNCS 4612, pp. 35-49, 2007.

68.  P. Z. Revesz, The constraint database approach to software verification,
8th Int. Conf. on Verification, Model Checking and Abstract Interpretationon, Springer LNCS 4349, pp. 329-345, 2007.

69.  J. Pustejovsky, and P. Z. Revesz, eds., Proc. 13th International Symposium on Temporal Representation and Reasoning,
IEEE Press, 2006.

70.  K. Mercier, M. Baran, V. Ramanathan, P. Z. Revesz, R. Xiao, G. Montelione, R. Powers, FAST-NMR: Functional annotation screening technology using NMR,
Journal of the American Chemical Society, 128 (47), 15292-99, 2006.

71.  R. Powers, J. Copeland, K. Germer, K. Mercier, V. Ramanathan, P.Z. Revesz, Comparison of protein active-site structures for functional annotation of proteins and drug design,
Proteins: Structure, Function, and Bioinformatics, 65 (1), 124-135, 2006.

72.  P. Z. Revesz, and S. Wu, Spatiotemporal reasoning about epidemiological data,
Artificial Intelligence in Medicine, 38, (2), 157-170, 2006.

73.  F. Geerts, P. Z. Revesz, and J. Van den Bussche, On-line maintenance of simplified weighted graphs for efficient distance queries,
ACM SIGSPATIAL International Conf. on Advances in Geographic Information Systems, ACM Press, pp. 203-210, 2006.

74.  J. Gao, and P. Z. Revesz, Visualization of temporal-oriented data sets,
1st International Conference on Geometric Modeling and Imaging, IEEE Press, pp. 57-62, 2006.

75.  J. Gao, and P. Z. Revesz, Voting prediction using new spatiotemporal interpolation methods,
7th International Conference on Digital Government Research, ACM Press, pp. 293-300, 2006.

76.  P. Z. Revesz, The expressivity of constraint query languages with Boolean algebra linear cardinality constraints,
9th European Conference on Advances in Databases and Information Systems, Springer LNCS 3631, pp. 167-182, Tallinn, Estonia, 2005.

77.  S. Anderson and P. Z. Revesz, Verifying the incorrectness of programs and automata,
6th Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNCS 3607, pp. 1-13, 2005.

78.  J. Gao, and P. Z. Revesz, Adaptive spatio-temporal interpolation methods,
8th Joint Conference on Information Sciences, Curran Associates, pp. 1677-90, 2005.

79.  P. Z. Revesz, Efficient rectangle indexing algorithms based on point dominance,
12th International Symposium on Temporal Representation and Reasoning, IEEE Press, pp. 210-212, 2005.

80.  B. Kuijpers and P. Z. Revesz, Report on the first international symposium on the applications of constraint databases,
ACM SIGMOD Record, 34 (2), 62-64, 2005.

81.  L. Li and P. Z. Revesz, Interpolation methods for spatiotemporal geographic data,
Journal of Computers, Environment, and Urban Systems, 28 (3), pp. 201-227, 2004.

82.  P. Z. Revesz, Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints,
8th East-European Conference on Advances in Databases and Information Systems, Springer LNCS 3255, pp. 1-21, 2004.

83.  V. Ramanathan, and P. Z. Revesz, Constraint database solutions to the genome map assembly problem,
1st International Symposium on Constraint Databases, Springer LNCS 3074, 88-111, June 2004.

84.  S. Wu and P. Z. Revesz, DOAS: A drought online analysis system with constraint databases,
5th International Conference on Digital Government Research, Digital Government Society Press, pp. 417-418, 2004.

85.  Y. Chen and P. Z. Revesz, Max-Count aggregation estimation for moving points,
11th International Symposium on Temporal Representation and Reasoning, IEEE Press, pp. 103-108, 2004.

86.  P. Z. Revesz and S. Wu, Visualization of recursively defined concepts,
8th International Conference on Information Visualisation, IEEE Press, pp. 613-621, 2004.

87.  B. Kuijpers, P. Z. Revesz, eds., Proc. 1st International Symposium on Constraint Databases and Applications,
Springer LNCS 3074, 2004.

88.  J. Chomicki, S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Classes of spatiotemporal objects and their closure properties,
Annals of Mathematics and Artificial Intelligence, 39 (4), pp. 431-461, 2003.

89.  L. Li, and P. Z. Revesz, The relationship among GIS-oriented spatiotemporal databases,
4th International Conference on Digital Government Research, Digital Government Society Press, pp. 375-378, 2003.

90.  J. Li, R. Narayanan, and P. Z. Revesz, A shape-based approach to change detection and information mining in remote sensing,
In: Frontiers of Remote Sensing Information Processing, C.H. Chen, ed., World Scientific Pub., pp. 63-86, 2003.

91.  Y. Chen, and P. Z. Revesz, Querying spatiotemporal XML using DataFox,
IEEE International Conference on Web Intelligence, IEEE Press, pp. 301-309, October 2003.

92.  Y. Chen and P. Z. Revesz, Efficient aggregation over moving objects,
10th International Symposium on Temporal Representation and Reasoning, IEEE Press, 118-127, July 2003.

93.  P. Z. Revesz, A retrosceptive on constraint databases,
In: PCK50 - Principles of Computing and Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, CA, June 2003.

94.  P. Z. Revesz, Introduction to Constraint Databases,
Springer, Texts in Computer Science Series, 2002.

95.  P. Z. Revesz, and M. Cai, Efficient querying and animation of periodic spatiotemporal databases,
Annals of Mathematics and Artificial Intelligence, 36 (4), pp. 437-457, 2002.

96.  L. Li, and P. Z. Revesz, A comparison of spatio-temporal interpolation methods,
2nd International Conference on Geographic Information Science, Springer LNCS 2478, 145-160, Sept. 2002.

97.  L. Li, and P. Z. Revesz, Constraint-based visualization of spatial interpolation data,
6th International Conference on Information Visualisation, IEEE Press, 563-569, July 2002.

98.  P. Z. Revesz and L. Li, Representation and querying of interpolation data in constraint databases,
3rd International Conference on Digital Government Research, Digital Government Society Press, 225-228, May 2002.

99.  P. Z. Revesz, R. Chen, M. Ouyang, Approximate query evaluation using linear constraint databases,
8th International Symposium on Temporal Representation and Reasoning, IEEE Press, 170-175, June 2001.

100. Y. Deng and P. Z. Revesz, Spatial and topological data models,
In: Information Modeling in the New Millennium, M. Rossi, K. Siau, eds., IGI Publishing, pp. 345-59, 2001.

101. M. Cai, D. Keshwani, and P. Z. Revesz, Parametric Rectangles: A model for querying and animation of spatiotemporal databases,
7th Conference on Extending Database Technology (EDBT), Springer LNCS 1777, pp. 430-444, Konstanz, Germany, March 2000.

102. M. Cai, and P. Z. Revesz, Parametric R-tree: An index structure for moving objects,
10th International Conference on Management of Data, McGraw Hill, pp. 57-64, Pune, India, December 2000.

103. M. Ouyang, and P. Z. Revesz, Algorithms for cartogram animation,
International Database Engineering and Applications Symposium, IEEE Press, pp. 231-235, Yokohama, Japan, Sept. 2000.

104. R. Chen, M. Ouyang, P. Z. Revesz, Approximating data in constraint databases,
4th Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNAI 1864, 124-143, July 2000.

105. P. Z. Revesz, Reformulation and approximation in model checking,
4th Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNAI 1864, 202-218, July 2000.

106. P. Z. Revesz, R. Chen, P. Kanjamala, Y. Li, Y. Liu, and Y. Wang The MLPQ/GIS constraint database system,
ACM-SIGMOD International Conference on Management of Data (SIGMOD), ACM Press, Dallas, Texas, USA, May 2000.

107. P. Z. Revesz, Datalog and constraints,
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds., Springer, 155-170, 2000.

108. P. Z. Revesz, The DISCO system,
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds., Springer, 383-389, 2000.

109. J. Chomicki, and P. Z. Revesz, Constraint-based interoperability of spatiotemporal databases,
Geoinformatica, 3 (3), 211-243, 1999.

110. J. Chomicki, Y. Liu, and P. Z. Revesz, Animating spatiotemporal constraint databases,
Workshop on Spatio-Temporal Database Management (STDBM), Springer LNCS 1678, Edinburgh, Scotland, September 1999.

111. P. Z. Revesz, Datalog programs with difference constraints,
Seventh International Workshop on Deductive Databases and Logic Programming, Japanese Computer Sociey Press, 69-76, Tokyo, Japan, Sept. 1999.

112. J. Chomicki, and P. Z. Revesz, A Geometric Framework for Specifying Spatiotemporal Objects,
Sixth International Conf. on Temporal Representation and Reasoning (TIME), IEEE Press, 41-46, Orlando, Florida, May 1999.

113. P. Z. Revesz, The evaluation and the computational complexity of Datalog queries of Boolean constraint databases,
International Journal of Algebra and Computation, 8 (5), 553-574, 1998.

114. P. Z. Revesz, Safe query languages for constraint databases,
ACM Transactions on Database Systems, 23 (1), 58-99, 1998.

115. P. Z. Revesz, Constraint databases: A survey,
In: Semantics in Databases, L. Libkin and B. Thalheim, eds., Springer LNCS 1358, 209-246, 1998.

116. P. Z. Revesz, Safe Datalog queries with linear constraints,
4th International Conference on Principles and Practice of Constraint Programming (CP), Springer LNCS 1520, 355-369, 1998.

117. P. Kanjamala, P. Z. Revesz, and Y. Wang, MLPQ/GIS: A geographic information system using linear constraint databases,
9th International Conference on Management of Data (COMAD), McGraw Hill, 389-392, Hyderabad, India, December 1998.

118. P. Z. Revesz and Y. Li, MLPQ: A linear constraint database system with aggregate operators,
International Database Engineering and Applications Symposium, IEEE Press, 132-137, Montreal, Canada, 1997.

119. P. Z. Revesz, Refining restriction enzyme genome maps,
Constraints, 2 (3-4), 361-375, 1997.

120. G. Grahne, A.O. Mendelzon, P. Z. Revesz, Knowledgebase transformations,
Journal of Computer and System Sciences, 54 (1), 98-112, 1997.

121. P. Z. Revesz, On the semantics of arbitration,
International Journal of Algebra and Computation, 7 (2), 133-160, 1997.

122. P. Z. Revesz, Problem solving in the DISCO constraint database system,
2nd International Workshop on Constraint Database Systems, Springer LNCS 1191, 302-315, Delphi, Greece, 1997.

123. P. Z. Revesz, Model-theoretic minimal change operators for constraint databases,
6th International Conference on Database Theory (ICDT), Springer LNCS 1186, 447-460, Delphi, Greece, 1997.

124. A. Benczur, A.B. Novak, P. Z. Revesz, On the semantics of revision and model-fitting in weighted case,
Journal of Information and Organizational Sciences, 20 (1), 45-58, 1996.

125. A. Benczur, A.B. Novak, P. Z. Revesz, Classical and weighted knowledgebase transformations,
Computers and Mathematics with Applications, 32 (5), 85-98, 1996.

126. J. Byon, and P. Z. Revesz, DISCO: A constraint database system with sets,
Workshop on Constraint Databases and Applications, Springer LNCS 1034, 68-83, 1995.

127. K. L. Lu, and P. Z. Revesz, The capacity of matcher neural networks,
In: Intelligent Engineering Systems Through Artificial Neural Networks, C. Dagli, ed., ASME Press, 15-20, 1995.

128. P. C. Kanellakis, G. M. Kuper, P. Z. Revesz, Constraint query languages,
Journal of Computer and System Sciences, 51 (1), 26-52, 1995.

129. P. Z. Revesz and R. K. Veera, A sign-to-speech translation system using matcher neural networks,
In: Intelligent Engineering Systems Through Artificial Neural Networks, C. Dagli, ed., ASME Press, 369-374, 1993.

130. P. Z. Revesz, On the semantics of theory change: Arbitration between old and new information,
Proc. 12th ACM Symposium on Principles of Databases Systems, 71-82, 1993.

131. P. Z. Revesz, A closed-form evaluation for Datalog queries with integer (gap)-order constraints,
Theoretical Computer Science, 116 (1), 117-149, 1993.

132. P. C. Kanellakis and P. Z. Revesz, On the relationship of congruence closure and unification,
Journal of Symbolic Computation, 7 (3-4), 427-444, 1989.

Selected Dissertations Supervised

133. S. Anderson, Software Verification and Spatiotemporal Aggregation in Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2007.

134. J. Gao, Adaptive Interpolation Methods for Spatiotemporal Data,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2006.

135. S. Wu, Information Visualization Methods for GIS, Constraint and Spatiotemporal Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, August 2005.

136. Y. Chen, Aggregation Operators on Spatiotemporal Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2003.

137. L. Li, Spatiotemporal Interpolation Methods in GIS,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2003.

138. R. Chen, Temporal and Video Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2000.

139. M. Ouyang, Efficient Visualization and Querying of Geographic Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2000.

140. Y. Deng, Similarity Queries for Linear Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2000.