Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 1228 | 368 |
indeks h | 17 | 10 |
indeks i10 | 22 | 10 |
Javni dostop
Prikaži vse2 članka
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenPreverjeni e-poštni naslov na cs.ru.nl
- John PowerHonorary Professor in Computing, Macquarie UniversityPreverjeni e-poštni naslov na bath.edu
- James WorrellProfessor of Computer Science, Oxford UniversityPreverjeni e-poštni naslov na cs.ox.ac.uk
- Uday ReddyUniversity of BirminghamPreverjeni e-poštni naslov na cs.bham.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonPreverjeni e-poštni naslov na qmul.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalPreverjeni e-poštni naslov na math.ist.utl.pt
- Alessio SantamariaLecturer at the University of SussexPreverjeni e-poštni naslov na sussex.ac.uk
- Marta BungeEmeritus Professor of Mathematics, McGill UniversityPreverjeni e-poštni naslov na mcgill.ca
Spremljaj
Claudio Hermida
University of Birmingham, Computer Science
Preverjeni e-poštni naslov na cs.bham.ac.uk