Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 153 | 31 |
h-indeks | 7 | 3 |
i10-indeks | 6 | 1 |
Dostęp publiczny
Wyświetl wszystko1 artykuł
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalZweryfikowany adres z math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaZweryfikowany adres z di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriZweryfikowany adres z missouri.edu
- Hugo Torres VieiraEvidence SrlZweryfikowany adres z evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaZweryfikowany adres z tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityZweryfikowany adres z mdx.ac.uk
- Dimitris MostrousZweryfikowany adres z di.fc.ul.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
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaZweryfikowany adres z math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoZweryfikowany adres z math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalZweryfikowany adres z tecnico.ulisboa.pt
Obserwuj
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Zweryfikowany adres z ist.utl.pt - Strona główna