Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 1670 | 442 |
h-indeks | 23 | 11 |
i10-indeks | 50 | 13 |
Offentlig tilgang
Vis alle26 artikler
6 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifisert e-postadresse på tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifisert e-postadresse på tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerifisert e-postadresse på kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichVerifisert e-postadresse på inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerifisert e-postadresse på dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerifisert e-postadresse på cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerifisert e-postadresse på fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerifisert e-postadresse på unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifisert e-postadresse på math.ist.utl.pt
- Marco VolpeUniversity of LeicesterVerifisert e-postadresse på leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsVerifisert e-postadresse på tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgVerifisert e-postadresse på ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerifisert e-postadresse på tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerifisert e-postadresse på ovgu.de