Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Numerik, Optimierung, Simulation |
| Keywords | Programming logics |
Aktuelle Kontaktadresse
| Land | USA |
|---|---|
| Ort | Lincoln |
| Universität/Institution | University of Nebraska-Lincoln |
| Institut/Abteilung | Department of Computer Science and Engineering |
Gastgeber*innen während der Förderung
| Prof. Dr. Andreas Podelski | Max-Planck-Institut für Informatik, Saarbrücken |
|---|---|
| Prof. Dr. Andreas Podelski | Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg |
| Beginn der ersten Förderung | 01.12.2005 |
Programm(e)
| 2005 | Humboldt-Forschungsstipendien-Programm |
|---|
Publikationen (Auswahl)
| 2007 | S. Haesevoets, B. Kuijpers, P. Revesz: Efficient Affine-Invariant Similarity Retrieval. Proc. Second International Conference on Geometric Modeling and Imaging. IEEE Press, 2007. 99-108 |
|---|---|
| 2007 | Peter 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 |
| 2006 | F. 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 |
| 2006 | J. Gao, P. Revesz: Visualization of Temporal-Oriented Datasets. Proc. First International Conference on Geometric Modeling and Imaging. IEEE Press, 2006. 57-62 |