Get my own profile

Public access

View all23 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Joao LeiteUniversidade 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 tu-dresden.de
- 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