Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalGeverifieerd e-mailadres voor math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaGeverifieerd e-mailadres voor di.fc.ul.pt
- Rohit ChadhaUniversity of MissouriGeverifieerd e-mailadres voor missouri.edu
- Hugo Torres VieiraEvidence SrlGeverifieerd e-mailadres voor evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityGeverifieerd e-mailadres voor mdx.ac.uk
- Dimitris MostrousGeverifieerd e-mailadres voor di.fc.ul.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaGeverifieerd e-mailadres voor math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoGeverifieerd e-mailadres voor math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalGeverifieerd e-mailadres voor tecnico.ulisboa.pt
Volgen
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Geverifieerd e-mailadres voor ist.utl.pt - Homepage