Crear mi propio perfil
Citado por
| Total | Desde 2019 | |
|---|---|---|
| Citas | 161 | 37 |
| Índice h | 7 | 3 |
| Índice i10 | 6 | 1 |
Acceso público
Ver todo1 artículo
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalDirección de correo verificada de math.ist.utl.pt- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaDirección de correo verificada de di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriDirección de correo verificada de missouri.edu
- Hugo Torres VieiraEvidence SrlDirección de correo verificada de evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaDirección de correo verificada de math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoDirección de correo verificada de math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalDirección de correo verificada de tecnico.ulisboa.pt
Seguir
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Dirección de correo verificada de ist.utl.pt - Página principal