Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 458 | 99 |
h-indeks | 11 | 5 |
i10-indeks | 14 | 1 |
Dostęp publiczny
Wyświetl wszystko9 artykułów
6 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalZweryfikowany adres z tecnico.ulisboa.pt
- 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
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofZweryfikowany adres z cle.unicamp.br
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeZweryfikowany adres z kcl.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalZweryfikowany adres z math.ist.utl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasZweryfikowany adres z unicamp.br
- Filipe CasalTrail of BitsZweryfikowany adres z trailofbits.com
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaZweryfikowany adres z math.ist.utl.pt
- Luís Cruz-FilipeUniversity of Southern DenmarkZweryfikowany adres z imada.sdu.dk
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoZweryfikowany adres z aucegypt.edu
- Nikola PaunkovicInstituto de TelecomunicaçõesZweryfikowany adres z math.ist.utl.pt
- Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa CatarinaZweryfikowany adres z udesc.br
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesZweryfikowany adres z fc.ul.pt
- Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonZweryfikowany adres z soton.ac.uk
- Luis AlcacerInstituto de TelecomunicaçõesZweryfikowany adres z lx.it.pt
Obserwuj
João Rasga
Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa
Zweryfikowany adres z tecnico.ulisboa.pt - Strona główna