Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 153 | 31 |
h-index | 7 | 3 |
i10-index | 6 | 1 |
Acces public
Afișați-le pe toate1 articol
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresă de e-mail confirmată pe math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresă de e-mail confirmată pe di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriAdresă de e-mail confirmată pe missouri.edu
- Hugo Torres VieiraEvidence SrlAdresă de e-mail confirmată pe evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityAdresă de e-mail confirmată pe mdx.ac.uk
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaAdresă de e-mail confirmată pe math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoAdresă de e-mail confirmată pe math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresă de e-mail confirmată pe tecnico.ulisboa.pt
Urmăriți
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Adresă de e-mail confirmată pe ist.utl.pt - Pagina de pornire