• Groene Loper 5, Metaforum

    5612 AP Eindhoven


  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven


Research Output

Book editing

Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016 Eindhoven, the Netherlands, April 7-8, 2016

Bošnački, D. (ed.) & Wijs, A. J. (ed.), 2016, Berlin: Springer. 245 p. (Lecture Notes in Computer Science; vol. 9641)

Research output: Book/ReportBook editingAcademicpeer-review

Proceedings Second Graphs as Models Workshop, Eindhoven, The Netherlands, April 2-3, 2016

Heußner, A. (ed.), Kissinger, A. (ed.) & Wijs, A. (ed.), 4 Dec 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

Research output: Book/ReportBook editingAcademicpeer-review

Open Access

Special issue on new ideas and emerging results in understanding software

Vinju, J. J. (ed.), 2015, Amsterdam: Elsevier. 180 p. (Science of computer programming; vol. 97, no. Part 1)

Research output: Book/ReportBook editingAcademic


Special Theme "Software Quality"

Vinju, J. J. (ed.) & Cleve, A. (ed.), 2014, Sophia Antipolis: ERCIM.

Research output: Book/ReportBook editingAcademic


Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004

Cleophas, L. G. W. A. (ed.) & Watson, B. W. (ed.), 2004, Eindhoven: Technische Universiteit Eindhoven. 214 p. (Computer science reports; vol. 0440)

Research output: Book/ReportBook editingAcademic

Open Access
268 Downloads (Pure)

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Watson, B. W. (ed.) & Wood, D. (ed.), 2002, Berlin: Springer. 288 p. (Lecture notes in computer science; vol. 2494)(CIAA : international conference on implementation and application of automata; vol. 6)

Research output: Book/ReportBook editingAcademic


C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

Feijen, W. H. J. (ed.) & Gasteren, van, A. J. M. (ed.), 1991, Schoonhoven: Academic Service. 247 p.

Research output: Book/ReportBook editingProfessional