Periodical

Preface for the Formal Methods in System Design special issue on ‘FASE 2022’
Formal Methods in System Design, 2024
DOI
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’
Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'
Science of Computer Programming 232, January 2024
DOI
Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Journal of Logic and Algebraic Programming 78 (7)
DOI
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
Theoretical Computer Science 410 (2-3)
DOI
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07