Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3828 | 257 |
h-index | 35 | 8 |
i10-index | 89 | 6 |
Acces public
Afișați-le pe toate6 articole
3 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Hans-Dieter EhrichProfesoor emeritus of information systemsAdresă de e-mail confirmată pe tu-bs.de
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresă de e-mail confirmată pe math.ist.utl.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaAdresă de e-mail confirmată pe math.ist.utl.pt
- José Luiz FiadeiroProfessor of Computer Science, University of DundeeAdresă de e-mail confirmată pe dundee.ac.uk
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoAdresă de e-mail confirmată pe math.tecnico.ulisboa.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresă de e-mail confirmată pe unicamp.br
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityAdresă de e-mail confirmată pe ovgu.de
- Rohit ChadhaUniversity of MissouriAdresă de e-mail confirmată pe missouri.edu
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresă de e-mail confirmată pe kcl.ac.uk
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresă de e-mail confirmată pe cle.unicamp.br
- Luís Cruz-FilipeUniversity of Southern DenmarkAdresă de e-mail confirmată pe imada.sdu.dk
- Till MossakowskiProfessor of Computer Science, University of MagdeburgAdresă de e-mail confirmată pe ovgu.de
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonAdresă de e-mail confirmată pe ist.utl.pt
- Helder CoelhoFaculty of Sciences, University of LisbonAdresă de e-mail confirmată pe di.fc.ul.pt
- Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonAdresă de e-mail confirmată pe iseg.ulisboa.pt
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesAdresă de e-mail confirmată pe fc.ul.pt
- Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Adresă de e-mail confirmată pe unamur.be
- Carlos A. Bana e CostaCEG-IST, Instituto Superior Técnico, Universidade de LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
Urmăriți
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
Adresă de e-mail confirmată pe tecnico.ulisboa.pt - Pagina de pornire