Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 1667 | 439 |
h-index | 23 | 11 |
i10-index | 50 | 12 |
Acces public
Afișați-le pe toate26 de articole
6 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- 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
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresă de e-mail confirmată pe kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilAdresă de e-mail confirmată pe dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresă de e-mail confirmată pe cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyAdresă de e-mail confirmată pe fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresă de e-mail confirmată pe unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresă de e-mail confirmată pe math.ist.utl.pt
- Marco VolpeUniversity of LeicesterAdresă de e-mail confirmată pe leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsAdresă de e-mail confirmată pe tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgAdresă de e-mail confirmată pe ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaAdresă de e-mail confirmată pe tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityAdresă de e-mail confirmată pe ovgu.de