Prof. Dr. Peter Revesz

Profile

Academic positionFull Professor
Research fieldsNumerical Analysis, Optimization, Simulation
KeywordsProgramming logics

Current contact address

CountryUnited States of America
CityLincoln
InstitutionUniversity of Nebraska-Lincoln
InstituteDepartment of Computer Science and Engineering

Host during sponsorship

Prof. Dr. Andreas PodelskiMax-Planck-Institut für Informatik, Saarbrücken
Prof. Dr. Andreas PodelskiInstitut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg
Start of initial sponsorship01/12/2005

Programme(s)

2005Humboldt Research Fellowship Programme

Publications (partial selection)

2007S. Haesevoets, B. Kuijpers, P. Revesz: Efficient Affine-Invariant Similarity Retrieval. Proc. Second International Conference on Geometric Modeling and Imaging. IEEE Press, 2007. 99-108
2007Peter Revesz: The Constraint Database Approach to Software Verification. Proc. 8th Int. Conf. on Verification, Model Checking, and Abstract Interpretation. Springer-Verlag LNCS 4349, 2007. 329-345
2006F. Geerts, P. Revesz, J. Van den Bussche: On-Line Maintenance of Simplified Weighted Graphs for Efficient Distance Queries. Proc. 14th ACM International Symposium on Advances in Geographic Information Systems. ACM Press, 2006. 203-210
2006J. Gao, P. Revesz: Visualization of Temporal-Oriented Datasets. Proc. First International Conference on Geometric Modeling and Imaging. IEEE Press, 2006. 57-62