Skapa en profil
Offentlig åtkomst
Visa alla6 artiklar
3 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifierad e-postadress på tecnico.ulisboa.pt
- Hans-Dieter EhrichProfesoor emeritus of information systemsVerifierad e-postadress på tu-bs.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerifierad e-postadress på math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerifierad e-postadress på dundee.ac.uk
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoVerifierad e-postadress på math.tecnico.ulisboa.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerifierad e-postadress på unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerifierad e-postadress på ovgu.de
- Rohit ChadhaUniversity of MissouriVerifierad e-postadress på missouri.edu
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerifierad e-postadress på kcl.ac.uk
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerifierad e-postadress på cle.unicamp.br
- Luís Cruz-FilipeUniversity of Southern DenmarkVerifierad e-postadress på imada.sdu.dk
- Till MossakowskiProfessor of Computer Science, University of MagdeburgVerifierad e-postadress på ovgu.de
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerifierad e-postadress på ist.utl.pt
- Helder CoelhoFaculty of Sciences, University of LisbonVerifierad e-postadress på di.fc.ul.pt
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonVerifierad e-postadress på iseg.ulisboa.pt
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerifierad e-postadress på fc.ul.pt
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verifierad e-postadress på unamur.be
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
Följ
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
Verifierad e-postadress på tecnico.ulisboa.pt - Startsida