• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Book editing
2018

Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Havelund, K. (ed.), Peleska, J. (ed.), Roscoe, B. (ed.) & de Vink, E. (ed.), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Research output: Book/ReportBook editingAcademicpeer-review

2017

Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017): Uppsala, Sweden, 23rd April 2017

Wiklicky, H. & de Vink, E. P., 2017, Electronic Proceedings in Theoretical Computer Science ed. Uppsala. 126 p.

Research output: Book/ReportBook editingAcademicpeer-review

Open Access
2014

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F. (ed.) & Schmaltz, J. (ed.), 2014, EPTCS. 177 p.

Research output: Book/ReportBook editingAcademic

7 Downloads (Pure)

SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

Legay, A. (ed.) & Vink, de, E. P. (ed.), 2014, New York NY: Association for Computing Machinery, Inc. 353 p.

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)
1 Downloads (Pure)
2013

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures

Bernardo, M. (ed.), Vink, de, E. P. (ed.), Di Pierro, A. (ed.) & Wiklicky, H. (ed.), 2013, Berlin: Springer. 181 p. (Lecture notes in computer science; vol. 7938)

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)

Proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013, Buenos Aires, Argentina, August 26, 2013)

Borgström, J. (ed.) & Luttik, B. (ed.), 2013, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 120)

Research output: Book/ReportBook editingAcademic

Open Access
File
63 Downloads (Pure)
2012
Open Access
File
86 Downloads (Pure)

Proceedings Fourth Workshop on Classical Logic and Computation (Warwick, England, 8th July 2012)

Geuvers, J. H. (ed.) & de'Liguoro, U. (ed.), 2012, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 97)

Research output: Book/ReportBook editingAcademic

Transactions on Computational Systems Biology XIV

Priami, C. (ed.), Petre, I. (ed.) & Vink, de, E. P. (ed.), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7625)

Research output: Book/ReportBook editingAcademic

2011

Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, 22-25, 2011 : proceedings

van Eekelen, M. (ed.), Geuvers, J. H. (ed.), Schmaltz, J. (ed.) & Wiedijk, F. (ed.), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6898)

Research output: Book/ReportBook editingAcademic

Proceedings 18th International Workshop on Expressiveness in Concurrency (Aachen, Germany, September 5, 2011)

Luttik, B. (ed.) & Valencia, F. D. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 64)

Research output: Book/ReportBook editingAcademic

Open Access
File
71 Downloads (Pure)

Proceedings of the Third International Workshop on Computational Models for Cell Processes (CompMod 2011, Aachen, Germany, September 10, 2011)

Petre, I. (ed.) & Vink, de, E. P. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 67)

Research output: Book/ReportBook editingAcademic

3 Downloads (Pure)

Proceedings Sixth International Workshop on Logical frameworks and meta-languages : theory and practice (Nijmegen, The Netherlands, August 26, 2011)

Geuvers, J. H. (ed.) & Nadathur, G. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 71)

Research output: Book/ReportBook editingAcademic

Transactions on computational systems biology XIII

Priami, C. (ed.), Back, R. J. (ed.), Petre, I. (ed.) & Vink, de, E. P. (ed.), 2011, Berlin: Springer. (Lecture notes in bioinformatics; vol. 6575)(Transactions on computational systems biology; vol. 13)(Lecture notes in computer science; vol. 6575)

Research output: Book/ReportBook editingAcademic

2009

Logic Colloquium 2006

Cooper, S. B. (ed.), Geuvers, J. H. (ed.), Pillay, A. (ed.) & Väänänen, J. (ed.), 2009, Cambridge: Cambridge University Press.

Research output: Book/ReportBook editingAcademic

2007

Reflections on type theory, lambda-calculus, and the mind : essays dedicated to Henk Barendregt on the occasion of his 60th birthday

Barendsen, E. (ed.), Capretta, V. (ed.), Geuvers, J. H. (ed.) & Niqui, M. (ed.), 2007, s.l.: s.n.

Research output: Book/ReportBook editingAcademic

2006

Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005; in conjunction with ESORICS'05)

Mauw, S. (ed.), Issarny, V. (ed.) & Cremers, C. J. F. (ed.), 2006, s.n. 158 p.

Research output: Book/ReportBook editingAcademic

2005

Applications of Process Algebra (2nd ed)

Baeten, J. C. M. (ed.), 2005, Cambridge, UK: Cambridge University Press. 329 p.

Research output: Book/ReportBook editingProfessional

Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005, San Francisco CA, USA, August 27, 2005)

Baeten, J. C. M. (ed.) & Phillips, I. C. C. (ed.), 2005, Amsterdam: Elsevier. 124 p. (Electronic Notes in Theoretical Computer Science; vol. 154, no. 3)

Research output: Book/ReportBook editingProfessional

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