• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Boekredactie
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. (redactie), Peleska, J. (redactie), Roscoe, B. (redactie) & de Vink, E. (redactie), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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 redactie Uppsala. 126 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
2014

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

Verbeek, F. (redactie) & Schmaltz, J. (redactie), 2014, EPTCS. 177 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

7 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (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. (redactie), Vink, de, E. P. (redactie), Di Pierro, A. (redactie) & Wiklicky, H. (redactie), 2013, Berlin: Springer. 181 blz. (Lecture notes in computer science; vol. 7938)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (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. (redactie) & Luttik, B. (redactie), 2013, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 120)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on Computational Systems Biology XIV

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2011

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
71 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie) & Nadathur, G. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 71)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on computational systems biology XIII

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2009

Logic Colloquium 2006

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2007

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Issarny, V. (redactie) & Cremers, C. J. F. (redactie), 2006, s.n. 158 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2005

Applications of Process Algebra (2nd ed)

Baeten, J. C. M. (redactie), 2005, Cambridge, UK: Cambridge University Press. 329 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

2003

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic