Welcome...

dr. J.W. Polderman (Jan Willem)

Programme Director AM & SC

Publications

Recent
Vettori, P., Polderman, J. W., & Langerak, R. (2014). A geometric approach to stability of linear reset systems. In Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014 (pp. 776-783). Groningen: University of Groningen.
Kordy, P. T., Langerak, R., Mauw, S., & Polderman, J. W. (2014). A Symbolic Algorithm for the Analysis of Robust Timed Automata. In C. Jones, P. Pihlajasaari, & J. W. Sun (Eds.), 19th International Symposium on Formal Methods, FM 2014 (pp. 351-366). (Lecture Notes in Computer Science; Vol. 8442). London: Springer Verlag. DOI: 10.1007/978-3-319-06410-9_25

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3054
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3054
P.O. Box 217
7500 AE Enschede
The Netherlands