Research Output 1972 2019

Filter
Editorial
2019

Preface

Botto-Tobar, M., Barzola-Monteses, J., Santos-Baquerizo, E., Espinoza-Andaluz, M. & Yánez-Pazmiño, W., 1 Jan 2019, In : Communications in Computer and Information Science. 959, p. VI 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

Preface

Botto-Tobar, M., Barba-Maggi, L., González-Huerta, J., Villacrés-Cevallos, P., Gómez, O. S. & Uvidia-Fassler, M. I., 1 Jan 2019, In : Advances in Intelligent Systems and Computing. 884, p. v-vi

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File

The JOT Journal: towards a rising generation

Pierantonio, A., van den Brand, M. & Combemale, B., 1 Mar 2019, In : Journal of Object Technology. 18, 1, p. 1-3 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File
2018

Preface

Botto-Tobar, M., Esparza-Cruz, N., León-Acurio, J., Crespo-Torres, N. & Beltrán-Mora, M., 1 Jan 2018, In : Communications in Computer and Information Science. 798, p. VI

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File
2017

2nd International Workshop on Automotive Systems and Software Architectures (WASA)—Introduction to special section

Dajsuren, Y., Altinger, H. & Staron, M., 1 Sep 2017, In : Journal of Systems Architecture. 79, p. 18-18 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Software architecture
Software engineering
Automotive engineering
Microcontrollers
Electric vehicles

Foreword to the SANER 2015 special issue

Serebrenik, A. & Adams, B., 16 Mar 2017, In : Journal of Software : Evolution and Process. 29, 3, 1 p., e1844

Research output: Contribution to journalEditorialAcademic

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6)

van den Brand, M. G. J., Vinju, J. J. & Mens, K., 1 Feb 2017, In : Science of Computer Programming. 134, p. 1-3 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

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
Theorem proving
Computer programming languages
Satellites

Preface to special issue on EXPRESS 2011

Luttik, S. P. & 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
Expressiveness
Concurrency
Computer science
Computer Science
Satellites

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Preface

Bosnacki, D., Edelkamp, S., Lafuente, A. L. & Wijs, A., 15 Nov 2016, In : Science of Computer Programming. 130, 15 November, p. 1-1 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

2015
1 Citation (Scopus)

Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST) : a special issue on Academics Modelling with Eclipse (ACME2012)

Brand, van den, M. G. J., Di Ruscio, D., Kolovos, D. S. & Rose, L. M., 2015, In : Science of Computer Programming. 98, 1, p. 1-2

Research output: Contribution to journalEditorialAcademicpeer-review

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
Formal methods
Artificial intelligence
Specifications

Preface (Special Issue on New Ideas and Emerging Results in Understanding Software)

Vinju, J. J., 2015, In : Science of Computer Programming. 97, 1, p. 1-1

Research output: Contribution to journalEditorialAcademicpeer-review

2014

Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4)

Brand, van den, M. G. J., Kienle, H. M. & Mens, K., 2014, In : Science of Computer Programming. 79, 1, p. 1-5

Research output: Contribution to journalEditorialAcademicpeer-review

Computer programming
Visibility
Computer science
Software engineering
Teaching
1 Citation (Scopus)

Preface to Special section on foundations of coordination languages and software architectures (Selected papers from FOCLASA’10)

Mousavi, M. & Salaün, G., 2014, In : Science of Computer Programming. 80, Part A, p. 1-2 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Software architecture
2013

Preface to the special section on software evolution, adaptability, and maintenance

Seinturier, L. & Brand, van den, M. G. J., 2013, In : Science of Computer Programming. 78, 8, p. 969-970

Research output: Contribution to journalEditorialAcademicpeer-review

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

Semantics
Computer programming languages
Mathematical models
Computer systems programming
Object oriented programming
2010
1 Citation (Scopus)
Open Access
Software engineering
Technical presentations
Computer programming
Demonstrations
Engineers
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

Concurrency
Industry
2008
3 Citations (Scopus)

Guest editor's introduction : Second issue of experimental software and toolkits (EST)

Brand, van den, M. G. J., 2008, In : Science of Computer Programming. 72, 1-2, p. 1-2

Research output: Contribution to journalEditorialProfessional

Open Access

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

Logic
2007
4 Citations (Scopus)

Guest editor's introduction : Experimental software and toolkits (EST)

Brand, van den, M. G. J., 2007, In : Science of Computer Programming. 69, 1-3, p. 1-2

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

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

Expressiveness
Concurrency
Express

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

Rounding
Wide-field
Cover
Output

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

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

Expressiveness
Concurrency
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

2004

Guest editorial (Special issue on Design, implementation, and analysis of communication protocols)

Brinksma, E., Hao, R., Lee, D., Miller, R. E. & Lee, C. T., 2004, In : IEEE Journal on Selected Areas in Communications. 22, 10, p. 1917-1919

Research output: Contribution to journalEditorialProfessional

Network protocols
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
2000

Guest editor's introduction (Selected papers for the 2nd IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (1997))

Bowman, H., Derrick, J. & Brinksma, E., 2000, In : IEEE Transactions on Software Engineering. 26, 7, p. 577-578

Research output: Contribution to journalEditorialProfessional

Open Access
File
Formal methods