Crea il mio profilo
Accesso pubblico
Visualizza tutto26 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
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalEmail verificata su tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeEmail verificata su kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichEmail verificata su inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilEmail verificata su dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofEmail verificata su cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyEmail verificata su fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasEmail verificata su unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail verificata su math.ist.utl.pt
- Marco VolpeUniversity of LeicesterEmail verificata su leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsEmail verificata su tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaEmail verificata su tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityEmail verificata su ovgu.de