Research Output

Filter
Book editing
2004

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
File
281 Downloads (Pure)
2003

Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 : proceedings

Baeten, J. C. M. (ed.), Lenstra, J. K. (ed.), Parrow, J. (ed.) & Woeginger, G. J. (ed.), 2003, Berlin: Springer. 1199 p. (Lecture notes in computer science; vol. 2719)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 30)

Research output: Book/ReportBook editingAcademic

2002

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Brinksma, E. (ed.) & Larsen, K. G. (ed.), 2002, Berlin: Springer. 623 p. (Lecture notes in computer science; vol. 2404)(CAV : computer-aided verification : international conference : proceedings; vol. 14)

Research output: Book/ReportBook editingProfessional

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

2001

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings

Feijs, L. M. G. (ed.), Mauw, S. (ed.), Goga, N. (ed.) & Willemse, T. A. C. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 110 p. (Computer science reports; vol. 0110)

Research output: Book/ReportBook editingAcademic

Open Access
File
112 Downloads (Pure)

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Brinksma, E. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), 2001, Berlin: Springer. 429 p. (Lecture notes in computer science; vol. 2090)(EEF/Euro summer school on trends in computer science; vol. 1)

Research output: Book/ReportBook editingProfessional

Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings

Baeten, J. C. M. (ed.), Bosnacki, D. (ed.), Voeten, J. P. M. (ed.) & Holenderski, L. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 91 p. (Computer science reports; vol. 0114)

Research output: Book/ReportBook editingAcademic

Open Access
File
55 Downloads (Pure)
1999

CONCUR'99 : concurrency theory: 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings

Baeten, J. C. M. (ed.) & Mauw, S. (ed.), 1999, Berlin: Springer. 573 p. (Lecture notes in computer science; vol. 1664)(CONCUR, international conference on concurrency theory : proceedings; vol. 10)

Research output: Book/ReportBook editingProfessional

The proceedings of the first international symposium on Visual Formal Methods VFM'99, Eindhoven, August 23rd, 1989

Bosnacki, D. (ed.), Mauw, S. (ed.) & Willemse, T. A. C. (ed.), 1999, Eindhoven: Technische Universiteit Eindhoven. 114 p. (Computing science reports; vol. 9908)

Research output: Book/ReportBook editingAcademic

Open Access
File
70 Downloads (Pure)
1998

Multimodal human-computer communication : systems, techniques, and experiments

Bunt, H. C. (ed.), Beun, R. J. (ed.) & Borghuis, V. A. J. (ed.), 1998, Berlin: Springer. 343 p. (Lecture notes in computer science; vol. 1374)(Lecture notes in artificial intelligence; vol. 1374)

Research output: Book/ReportBook editingAcademicpeer-review

Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

Groote, J. F. (ed.), Luttik, S. P. (ed.) & Wamel, van, J. J. (ed.), 1998, Amsterdam: SMC. 370 p.

Research output: Book/ReportBook editingAcademicpeer-review

1997

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Brinksma, E. (ed.), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1217)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 3)

Research output: Book/ReportBook editingProfessional

1995

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Brinksma, E. (ed.), Cleaveland, W. R. (ed.), Larsen, K. G. (ed.), Margaria, T. (ed.) & Steffen, B. (ed.), 1995, Berlin: Springer. 289 p. (Lecture notes in computer science; vol. 1019)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 1)

Research output: Book/ReportBook editingAcademic

1992

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems organized by PTT Research Leidschendam, The Netherlands, 15-17 October, 1991

Kroon, J. (ed.), Heijink, R. J. (ed.) & Brinksma, E. (ed.), 1992, Amsterdam: North-Holland Publishing Company. 310 p.

Research output: Book/ReportBook editingProfessional

1991

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

1990

Protocol, specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 ninth international symposium of protocol specification, testing, and verification, Enschede, the Netherlands, 6-9 June, 1989

Brinksma, E. (ed.), Scollo, G. (ed.) & Vissers, C. A. (ed.), 1990, Amsterdam: North-Holland Publishing Company. 401 p. (Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... international workshop; vol. 9)

Research output: Book/ReportBook editingProfessional