EEMCS

Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1

Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779

Brunekreef, J.J. and Katoen, J.P. and Koymans, R.L.C. and Mauw, S. (1996) Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing, 9 (4). pp. 157-171. ISSN 0178-2770 *** ISI Impact 1,585 ***

Katoen, J.P. and Schoenmakers, B. (1996) Systolic Arrays for the Recognition of P-invariant Segments. Science of Computer Programming, 27. pp. 119-137. ISSN 0167-6423 *** ISI Impact 1,282 ***