Editoriais (8) Publicacións nas que participase algún/ha investigador/a

2017

  1. E-Vocabulary and e-learning

    Education Sciences

  2. Introduction to the Software Engineering and Formal Methods 2013 special issue

    Software and Systems Modeling

  3. Message from the Program Chairs

    Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017

  4. Message from the program chairs

    Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017

  5. Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)

    Science of Computer Programming

  6. Preface: Special issue on software verification and testing

    Journal of Systems and Software

  7. Special issue on advanced technologies enabling adaptive and collaborative smart systems

    Future Generation Computer Systems

  8. Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)

    Acta Informatica