Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 154 | 33 |
H-indeks | 7 | 3 |
i10-indeks | 6 | 1 |
Javni pristup
Prikaži sve1 članak
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalPotvrđena adresa e-pošte na math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaPotvrđena adresa e-pošte na di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriPotvrđena adresa e-pošte na missouri.edu
- Hugo Torres VieiraEvidence SrlPotvrđena adresa e-pošte na evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaPotvrđena adresa e-pošte na tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityPotvrđena adresa e-pošte na mdx.ac.uk
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaPotvrđena adresa e-pošte na tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaPotvrđena adresa e-pošte na math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoPotvrđena adresa e-pošte na math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalPotvrđena adresa e-pošte na tecnico.ulisboa.pt
Prati
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Potvrđena adresa e-pošte na ist.utl.pt - Početna stranica