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

Preface

Corradini, A., Fernández, M., Mackie, I., Plump, D., van Raamsdonk, F. & Zantema, H., 10 Sep 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 225, 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

Preface to special issue on EXPRESS 2011

Luttik, B. & Valencia, F. D., 2016, In : Mathematical Structures in Computer Science. 26, 8, p. 1351 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File
34 Downloads (Pure)
2015

Preface: EPTCS 196 : Proceedings Workshop on Models for Formal Analysis of Real Systems, Suva, Fiji, November 23, 2015

Van Glabbeek, R., Groote, J. F. & Höfner, P., 8 Nov 2015, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 196

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
2012

Preface

Luttik, B. & Reniers, M. A., 12 Aug 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 89

Research output: Contribution to journalEditorialAcademicpeer-review

2009

Preface (Special issue on the IFIP WG1.8 Workshop on Applying Concurrency Research in Industry)

Aceto, L., Baeten, J. C. M., Fokkink, W. J., Ingólfsdóttir, A. & Nestmann, U., 2009, In : Journal of Logic and Algebraic Programming. 78, 4, p. vii-viii

Research output: Contribution to journalEditorialAcademicpeer-review

2008

Preface (Special issue on Logic Colloquium 2006)

Cooper, S. B., Geuvers, J. H., Pillay, A. & Väänänen, J., 2008, In : Annals of Pure and Applied Logic. 156, 1, p. 1-2

Research output: Contribution to journalEditorialAcademicpeer-review

2007

Preface (Special issue on 12th International Workshop on Expressiveness in Concurrency (Express'05), San Francisco CA, USA, August 27, 2005)

Baeten, J. C. M. & Phillips, I. C. C., 2007, In : Theoretical Computer Science. 386, 3, p. 167-168

Research output: Contribution to journalEditorialAcademicpeer-review

Preface (Special issue on Constructive analysis, types and exact real numbers)

Spitters, B. A. W., Geuvers, J. H., Niqui, M. & Wiedijk, F., 2007, In : Mathematical Structures in Computer Science. 17, 1, p. 1-

Research output: Contribution to journalEditorialAcademicpeer-review

Preface (Special issue on ICALP 2003)

Baeten, J. C. M., Lenstra, J. K. & Woeginger, G. J., 2007, In : Theoretical Computer Science. 379, 3, p. 305-

Research output: Contribution to journalEditorialProfessional

11 Downloads (Pure)
2006

Guest editor's introduction to Special issue on Process theory for hybrid systems

Baeten, J. C. M. & Luttik, B., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, p. 1-3

Research output: Contribution to journalEditorialAcademicpeer-review

Preface to Special issue on Expressiveness in concurrency

Baeten, J. C. M. & Corradini, F., 2006, In : Theoretical Computer Science. 356, 3, p. 263-264

Research output: Contribution to journalEditorialProfessional

2005

Guest editors' introduction (Special issue on Process Algebra and System Architecture)

Bernardo, M. & Middelburg, C. A., 2005, In : Journal of Logic and Algebraic Programming. 63, 2, p. 175-176

Research output: Contribution to journalEditorialProfessional

2003

Guest editors' introduction : Special issue on probabilistic techniques for the design and analysis of systems

D'Argenio, P. R. & Baeten, J. C. M., 2003, In : Journal of Logic and Algebraic Programming. 56, 1-2, p. 1-2

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
2002

Guest editor's introduction

Middelburg, C. A., 2002, In : Journal of Logic and Algebraic Programming. 51, 2, p. 123-124

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access