Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 458 | 99 |
h-index | 11 | 5 |
i10-index | 14 | 1 |
Acces public
Afișați-le pe toate9 articole
6 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
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresă de e-mail confirmată pe cle.unicamp.br
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresă de e-mail confirmată pe kcl.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresă de e-mail confirmată pe math.ist.utl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresă de e-mail confirmată pe unicamp.br
- Filipe CasalTrail of BitsAdresă de e-mail confirmată pe trailofbits.com
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaAdresă de e-mail confirmată pe math.ist.utl.pt
- Luís Cruz-FilipeUniversity of Southern DenmarkAdresă de e-mail confirmată pe imada.sdu.dk
- Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoAdresă de e-mail confirmată pe aucegypt.edu
- Nikola PaunkovicInstituto de TelecomunicaçõesAdresă de e-mail confirmată pe math.ist.utl.pt
- Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa CatarinaAdresă de e-mail confirmată pe udesc.br
- André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesAdresă de e-mail confirmată pe fc.ul.pt
- Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonAdresă de e-mail confirmată pe soton.ac.uk
- Luis AlcacerInstituto de TelecomunicaçõesAdresă de e-mail confirmată pe lx.it.pt
Urmăriți
João Rasga
Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa
Adresă de e-mail confirmată pe tecnico.ulisboa.pt - Pagina de pornire