• 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
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

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

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

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

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

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

2012
Open Access
Bestand
89 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

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
64 Downloads (Pure)
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)
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
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