Zoltán Istenes

From MaRDI portal
Person:2898798



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Address standardization
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
2012-07-12Paper
Proving the correctness of mobile Java code2011-02-22Paper
Commanding a robot in a safe way2009-12-29Paper


Research outcomes over time


This page was built for person: Zoltán Istenes