Ustvarite profil
Navedeno
| Vse | Od leta 2020 | |
|---|---|---|
| Navedbe | 448 | 354 |
| indeks h | 14 | 11 |
| indeks i10 | 20 | 15 |
Javni dostop
Prikaži vse21 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
Naijun ZhanSchool of Computer Science, Peking UniversityPreverjeni e-poštni naslov na ios.ac.cn- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
- Martin FränzleProfessor of Computer Science, University of OldenburgPreverjeni e-poštni naslov na informatik.uni-oldenburg.de
- ting ganSchool of Computer Science, Wuhan UniversityPreverjeni e-poštni naslov na whu.edu.cn
- Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASPreverjeni e-poštni naslov na ios.ac.cn
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonPreverjeni e-poštni naslov na cs.uni-saarland.de
- Jie AnInstitute of Software, Chinese Academy of Sciences, Beijing, ChinaPreverjeni e-poštni naslov na iscas.ac.cn
- Kevin BatzPostDoc, Programming Principles, Logic, and Verification Group, University College LondonPreverjeni e-poštni naslov na rwth-aachen.de
- Deepak KapurUniversity of New MexicoPreverjeni e-poštni naslov na cs.unm.edu
- Bohua ZhanInstitute of Software, Chinese Academy of SciencesPreverjeni e-poštni naslov na ios.ac.cn
- Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgPreverjeni e-poštni naslov na uol.de
- Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Liang ZouTencentPreverjeni e-poštni naslov na tencent.com
- Jian WangMax Planck Institute for InformaticsPreverjeni e-poštni naslov na mpi-inf.mpg.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderPreverjeni e-poštni naslov na colorado.edu
- Philipp SchröerRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Anders P. RavnAalborg UniversityPreverjeni e-poštni naslov na cs.aau.dk
- Guohua WuNanyang Technological UniversityPreverjeni e-poštni naslov na ntu.edu.sg
- Wenbo ShenZhejiang UniversityPreverjeni e-poštni naslov na zju.edu.cn
Spremljaj
Mingshuai Chen
Assistant Professor of Computer Science, Zhejiang University
Preverjeni e-poštni naslov na zju.edu.cn - Domača stran