Department
Sistemas Informáticos y Computación
Editorials (10) Publications in which a researcher has participated
2015
-
Editorial of Special Issue Trends in Functional Programming 2011/12
Computer Languages, Systems and Structures
-
Foreword
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
-
Introduction to the special issue on Mutation Testing
Software Testing Verification and Reliability
-
Preface
CEUR Workshop Proceedings
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface to rewriting logic and its applications (extended selected papers from WRLA 2012)
Science of Computer Programming
-
Special Track on Service-Oriented Architectures and Programming (SOAP)
Proceedings of the ACM Symposium on Applied Computing
-
Special issue on formal active and passive testing of distributed and networked systems
Annales des Telecommunications/Annals of Telecommunications