Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3823 | 254 |
h-indeks | 35 | 8 |
i10-indeks | 89 | 6 |
Dostęp publiczny
Wyświetl wszystko6 artykułów
3 artykuły
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
- Hans-Dieter EhrichProfesoor emeritus of information systemsZweryfikowany adres z tu-bs.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalZweryfikowany adres z math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaZweryfikowany adres z math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeZweryfikowany adres z dundee.ac.uk
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaZweryfikowany adres z tecnico.ulisboa.pt
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoZweryfikowany adres z math.tecnico.ulisboa.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasZweryfikowany adres z unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityZweryfikowany adres z ovgu.de
- Rohit ChadhaUniversity of MissouriZweryfikowany adres z missouri.edu
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeZweryfikowany adres z kcl.ac.uk
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofZweryfikowany adres z cle.unicamp.br
- Luís Cruz-FilipeUniversity of Southern DenmarkZweryfikowany adres z imada.sdu.dk
- Till MossakowskiProfessor of Computer Science, University of MagdeburgZweryfikowany adres z ovgu.de
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonZweryfikowany adres z ist.utl.pt
- Helder CoelhoFaculty of Sciences, University of LisbonZweryfikowany adres z di.fc.ul.pt
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonZweryfikowany adres z iseg.ulisboa.pt
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesZweryfikowany adres z fc.ul.pt
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Zweryfikowany adres z unamur.be
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de LisboaZweryfikowany adres z tecnico.ulisboa.pt
Obserwuj
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
Zweryfikowany adres z tecnico.ulisboa.pt - Strona główna