Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
6 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaEmail verificata su tecnico.ulisboa.pt
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofEmail verificata su cle.unicamp.br
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasEmail verificata su unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityEmail verificata su ovgu.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail verificata su math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaEmail verificata su math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeEmail verificata su dundee.ac.uk
- Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgEmail verificata su ext.uni.lu
- Hans-Dieter EhrichProfesoor emeritus of information systemsEmail verificata su tu-bs.de
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoEmail verificata su math.tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeEmail verificata su kcl.ac.uk
- Helder CoelhoFaculty of Sciences, University of LisbonEmail verificata su di.fc.ul.pt
- Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
- Luís Cruz-FilipeUniversity of Southern DenmarkEmail verificata su imada.sdu.dk
- Rohit ChadhaUniversity of MissouriEmail verificata su missouri.edu
- Stefan ConradProfessor für Informatik, Universität DüsseldorfEmail verificata su acm.org
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Email verificata su unamur.be
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoEmail verificata su aucegypt.edu
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonEmail verificata su ist.utl.pt
Segui
Cristina Sernadas
Professor of Logic and Computation, Instituto Superior Técnico, Portugal
Email verificata su tecnico.ulisboa.pt - Home page