Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 594 | 290 |
h-index | 15 | 9 |
i10-index | 19 | 8 |
Nyilvános hozzáférés
Összes megtekintése22 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Joao LeiteUniversidade Nova de LisboaE-mail megerősítve itt: fct.unl.pt
- Matthias KnorrAssistant Professor of Computer Science, NOVA LINCS, Universidade Nova de LisboaE-mail megerősítve itt: fct.unl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mail megerősítve itt: math.ist.utl.pt
- Jose Julio AlferesProfessor of Computer Science, Universidade Nova de LisboaE-mail megerősítve itt: fct.unl.pt
- Martin SlotaPostdoctoral researcher, Universidade Nova de LisboaE-mail megerősítve itt: fct.unl.pt
- Tomi JanhunenTampere University, FinlandE-mail megerősítve itt: tuni.fi
- Marco AlbertiAssociate Professor, Dipartimento di Matematica e Informatica, Università di FerraraE-mail megerősítve itt: unife.it
- Ana Sofia GomesCENTRIA, Departamento de Informática, Universidade Nova de LisboaE-mail megerősítve itt: campus.fct.unl.pt
- Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityE-mail megerősítve itt: informatik.uni-leipzig.de
- Stefan EllmauthalerTU DresdenE-mail megerősítve itt: tu-dresden.de
- Manuel A. MartinsDepartamento de Matemática, Universidade de AveiroE-mail megerősítve itt: ua.pt
- Alfredo GabaldonGE ResearchE-mail megerősítve itt: ge.com
- Jesse HeyninckOpen Universiteit, the NetherlandsE-mail megerősítve itt: tu-dortmund.de