Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Jácome CunhaUniversity of Porto & HASLab/INESC TECVerified email at fe.up.pt
João SaraivaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jorge MendesVerified email at di.uminho.pt
João Paulo FernandesAssociate Professor, DEI-FEUP & LIACCVerified email at fe.up.pt
Tiago OliveiraMPI-SP and Universidade do Porto (FCUP)Verified email at mpi-sp.org
Benedikt SchmidtGoogleVerified email at google.com
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jose ProencaCISTER - ISEPVerified email at proenca.org
Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
Ricardo BessaSenior Researcher at INESC TEC - Power Systems UnitVerified email at inescporto.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt
Vitor PereiraSRI InternationalVerified email at sri.com