Založit si vlastní profil
Veřejný přístup
Zobrazit všechny6 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Hans-Dieter EhrichProfesoor emeritus of information systemsE-mailová adresa ověřena na: tu-bs.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mailová adresa ověřena na: math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mailová adresa ověřena na: math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeE-mailová adresa ověřena na: dundee.ac.uk
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoE-mailová adresa ověřena na: math.tecnico.ulisboa.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mailová adresa ověřena na: unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mailová adresa ověřena na: ovgu.de
- Rohit ChadhaUniversity of MissouriE-mailová adresa ověřena na: missouri.edu
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mailová adresa ověřena na: kcl.ac.uk
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mailová adresa ověřena na: cle.unicamp.br
- Luís Cruz-FilipeUniversity of Southern DenmarkE-mailová adresa ověřena na: imada.sdu.dk
- Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mailová adresa ověřena na: ovgu.de
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonE-mailová adresa ověřena na: ist.utl.pt
- Helder CoelhoFaculty of Sciences, University of LisbonE-mailová adresa ověřena na: di.fc.ul.pt
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonE-mailová adresa ověřena na: iseg.ulisboa.pt
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesE-mailová adresa ověřena na: fc.ul.pt
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)E-mailová adresa ověřena na: unamur.be
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
Sledovat
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
E-mailová adresa ověřena na: tecnico.ulisboa.pt - Domovská stránka