Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 3593 | 305 |
h-індекс | 19 | 8 |
i10-індекс | 38 | 6 |
Доступні для всіх
Переглянути всі3 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Erik PollRadboud University NijmegenПідтверджена електронна адреса в cs.ru.nl
- Daniel M. ZimmermanSenior Staff Research Scientist, CertiKПідтверджена електронна адреса в acm.org
- Gary T. LeavensProfessor, University of Central FloridaПідтверджена електронна адреса в cs.ucf.edu
- Yoonsik CheonThe University of Texas at El PasoПідтверджена електронна адреса в utep.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonПідтверджена електронна адреса в cs.washington.edu
- Werner DietlElectrical and Computer Engineering, University of WaterlooПідтверджена електронна адреса в uwaterloo.ca
- Mikoláš JanotaCTU PragueПідтверджена електронна адреса в cvut.cz
- Peter MüllerETH ZurichПідтверджена електронна адреса в inf.ethz.ch
- Martijn OostdijkInnoValorПідтверджена електронна адреса в innovalor.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenПідтверджена електронна адреса в cs.ru.nl
- Martijn WarnierProfessor of Complex Systems Design, Delft University of TechnologyПідтверджена електронна адреса в tudelft.nl
- Marieke HuismanПідтверджена електронна адреса в ewi.utwente.nl
- Radu GrigoreFacebookПідтверджена електронна адреса в fb.com
- Christian KroerAssistant Professor, Columbia UniversityПідтверджена електронна адреса в columbia.edu
- Stefan BlomUniversity of TwenteПідтверджена електронна адреса в utwente.nl
- Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroПідтверджена електронна адреса в lero.ie
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenПідтверджена електронна адреса в ru.nl
- Sam OwreSRI InternationalПідтверджена електронна адреса в sri.com
- Viliam HolubCTO at Logentries/ former Post Doc at University College DublinПідтверджена електронна адреса в logentries.com
- Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkПідтверджена електронна адреса в dtu.dk
Підписатись
Joseph Kiniry
Principal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fair
Підтверджена електронна адреса в acm.org - Домашня сторінка