Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1667 | 439 |
h-indeks | 23 | 11 |
i10-indeks | 50 | 12 |
Dostęp publiczny
Wyświetl wszystko26 artykułów
6 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaZweryfikowany adres z tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalZweryfikowany adres z tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeZweryfikowany adres z kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilZweryfikowany adres z dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofZweryfikowany adres z cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyZweryfikowany adres z fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasZweryfikowany adres z unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalZweryfikowany adres z math.ist.utl.pt
- Marco VolpeUniversity of LeicesterZweryfikowany adres z leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsZweryfikowany adres z tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgZweryfikowany adres z ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaZweryfikowany adres z tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityZweryfikowany adres z ovgu.de