Skapa en profil
Offentlig åtkomst
Visa alla1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Cięncias, Universidade de LisboaVerifierad e-postadress på di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriVerifierad e-postadress på missouri.edu
- Hugo Torres VieiraEvidence SrlVerifierad e-postadress på evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerifierad e-postadress på mdx.ac.uk
- Dimitris MostrousVerifierad e-postadress på di.fc.ul.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerifierad e-postadress på math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoVerifierad e-postadress på math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifierad e-postadress på tecnico.ulisboa.pt
Följ
Pedro Baltazar
Instituto de Telecomunicaįões, Technical University of Lisbon
Verifierad e-postadress på ist.utl.pt - Startsida