INESC TEC — Portugal
Computer Science · Physical Sciences
20h-index1.0kcitations104works1.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(31), Model-Driven Software Engineering Techniques(30), Logic, programming, and type systems(26), Advanced Software Engineering Methodologies(25), Software Testing and Debugging Techniques(19)
Publications104 total
IEEE Robotics & Automation Magazine·2025Open Access
AYA Editora eBooks·2024Open Access
Lecture notes in computer science·2024· 1 citedOpen Access
arXiv (Cornell University)·2024Open Access
International Journal on Software Tools for Technology Transfer·2024· 1 citedOpen Access
2024· 4 citedOpen Access
Technische Universität Berlin – Universitätsbibliothek·2024· 10 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2024· 1 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
Lecture notes in computer science·2024· 1 cited
Zenodo (CERN European Organization for Nuclear Research)·2023· 2 citedOpen Access
Lecture notes in computer science·2023· 2 citedOpen Access
Lecture notes in computer science·2023Open Access
Lecture notes in computer science·2023· 1 citedOpen Access
Lecture notes in computer science·2023· 3 cited
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering·2022· 3 citedOpen Access
2022· 3 citedOpen Access
page 1 of 6Next →
Frequent Co-authors
Nuno Macedo(28), Hugo Pacheco(11), Joost Visser(6), André Santos(5), Julien Brunel(4), David Chemouil(4), Ana Gabriela Garis(3), Daniel Eduardo Riesco(3), José N. Oliveira(3), Tiago Guimarães(3), Renato Carvalho(3), Ana C. R. Paiva(3), Ricardo Silva(2), Miguel Sozinho Ramalho(2), Pablo Berdaguer(2), José Proença(2), Jorge Sousa Pinto(2), Carlos Baquero(2), Paulo Sérgio Almeida(2), Carla Ferreira(2)