• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

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 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access

Preface to special issue on EXPRESS 2011

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
2012

Preface

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer 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, blz. vii-viii

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer 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, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer 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, blz. 167-168

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer 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, blz. 1-

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface (Special issue on ICALP 2003)

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

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, blz. 1-3

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface to Special issue on Expressiveness in concurrency

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

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, blz. 175-176

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

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, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
2002

Guest editor's introduction

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

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access