Get my own profile
Public access
View all24 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Joao LeiteProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Matthias KnorrAssistant Professor of Computer Science, NOVA LINCS, Universidade Nova de LisboaVerified email at fct.unl.pt
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Jose Julio AlferesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Martin SlotaPostdoctoral researcher, Universidade Nova de LisboaVerified email at fct.unl.pt
Tomi JanhunenTampere University, FinlandVerified email at tuni.fi
Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di FerraraVerified email at unife.it
Ana Sofia GomesCENTRIA, Departamento de Informática, Universidade Nova de LisboaVerified email at campus.fct.unl.pt
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
Stefan EllmauthalerTU DresdenVerified email at ellmauthaler.net
Manuel A. MartinsDepartamento de Matemática, Universidade de AveiroVerified email at ua.pt
Alfredo GabaldonGE ResearchVerified email at ge.com
Jesse HeyninckOpen Universiteit, the NetherlandsVerified email at tu-dortmund.de