Get my own profile
Co-authors
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Hugo PachecoHasLab & INESC TECVerified email at inesctec.pt
David ChemouilONERA DTIS & Université fédérale de ToulouseVerified email at onera.fr
Julien BrunelONERAVerified email at onera.fr
Jose ProencaCISTER - ISEPVerified email at proenca.org
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Cláudio Belo LourençoINRIA SaclayVerified email at lri.fr
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt
João Mendes MoreiraFundação para a CIência e a Tecnologia, unidade FCCNVerified email at fccn.pt
Filipe Neves Dos SantosManager Laboratory of Robotics and IoT for Smart Precision Agriculture and Forestry @ INESC TECVerified email at inesctec.pt
Rafael ArraisINESC TECVerified email at inesctec.pt
Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
Orlando BeloAssociate Professor with Habilitation, University of MinhoVerified email at di.uminho.pt
Bruno OliveiraEscola Superior de Tecnologia e Gestão de Felgueiras - CIICESIVerified email at estgf.ipp.pt
Jácome CunhaUniversity of Minho & HASLab/INESC TecVerified email at di.uminho.pt
André SantosResearcher at HASLab, INESC TECVerified email at inesctec.pt