Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 1668 | 440 |
indeks h | 23 | 11 |
indeks i10 | 50 | 12 |
Javni dostop
Prikaži vse26 člankov
6 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaPreverjeni e-poštni naslov na tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalPreverjeni e-poštni naslov na tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegePreverjeni e-poštni naslov na kcl.ac.uk
- David BasinProfessor of Computer Science, ETH ZurichPreverjeni e-poštni naslov na inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), BrazilPreverjeni e-poštni naslov na dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofPreverjeni e-poštni naslov na cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyPreverjeni e-poštni naslov na fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of CampinasPreverjeni e-poštni naslov na unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalPreverjeni e-poštni naslov na math.ist.utl.pt
- Marco VolpeUniversity of LeicesterPreverjeni e-poštni naslov na leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systemsPreverjeni e-poštni naslov na tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of MagdeburgPreverjeni e-poštni naslov na ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaPreverjeni e-poštni naslov na tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityPreverjeni e-poštni naslov na ovgu.de