Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 6141 | 1459 |
indeks h | 33 | 15 |
indeks i10 | 84 | 24 |
Javni dostop
Prikaži vse18 člankov
2 članka
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Preverjeni e-poštni naslov na cwi.nl
- Jan RuttenCWIPreverjeni e-poštni naslov na cwi.nl
- Alexandra SilvaCornell UniversityPreverjeni e-poštni naslov na cornell.edu
- Farhad ArbabProfessor of Computer Science, Leiden UniversityPreverjeni e-poštni naslov na liacs.nl
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofPreverjeni e-poštni naslov na utwente.nl
- Jurriaan RotRadboud UniversityPreverjeni e-poštni naslov na cs.ru.nl
- Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgPreverjeni e-poštni naslov na uni.lu
- Filippo BonchiCNRS ENS-LyonPreverjeni e-poštni naslov na ens-lyon.fr
- Martin SteffenUniversity of OsloPreverjeni e-poštni naslov na ifi.uio.no
- Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenPreverjeni e-poštni naslov na acm.org
- Alexander KurzChapman UniversityPreverjeni e-poštni naslov na chapman.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaPreverjeni e-poštni naslov na cs.unibo.it
- Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityPreverjeni e-poštni naslov na han.nl
- Susanne GrafResearch Director, CNRS, Grenoble University, VerimagPreverjeni e-poštni naslov na imag.fr
- Maria-Eugenia IacobProfessor, University of TwentePreverjeni e-poštni naslov na utwente.nl
- Helle Hvid HansenAssociate Professor at University of GroningenPreverjeni e-poštni naslov na rug.nl
- Fan Zhou (周帆)University of Electronic Science and Technology of ChinaPreverjeni e-poštni naslov na uestc.edu.cn
- Xueqin Chen (陈学勤)Delft University of TechnologyPreverjeni e-poštni naslov na tudelft.nl
- Dave ClarkeIndependentPreverjeni e-poštni naslov na storytel.com
Spremljaj
Marcello Bonsangue
Professor of Computer Science, Leiden University
Preverjeni e-poštni naslov na liacs.leidenuniv.nl - Domača stran