Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1667 | 439 |
indice h | 23 | 11 |
indice i10 | 50 | 12 |
Accès public
Tout afficher26 articles
6 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresse e-mail validée de kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilAdresse e-mail validée de dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresse e-mail validée de cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyAdresse e-mail validée de fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresse e-mail validée de unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresse e-mail validée de math.ist.utl.pt
- Marco VolpeUniversity of LeicesterAdresse e-mail validée de leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsAdresse e-mail validée de tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgAdresse e-mail validée de ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaAdresse e-mail validée de tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityAdresse e-mail validée de ovgu.de