Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2794 | 219 |
h-index | 25 | 8 |
i10-indeks | 36 | 5 |
Offentlig adgang
Se alle1 artikel
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Orna GrumbergProfessor of Computer Science, TechnionVerificeret mail på cs.technion.ac.il
- Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerificeret mail på tue.nl
- Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerificeret mail på cs.bgu.ac.il
- Natalia SidorovaTechnische Universiteit EindhovenVerificeret mail på tue.nl
- Marc GeilenEindhoven University of TechnologyVerificeret mail på tue.nl
- Gerard HolzmannNimble ResearchVerificeret mail på nimbleresearch.com
- Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerificeret mail på cs.kuleuven.be
- Ana CavalcantiUniversity of YorkVerificeret mail på cs.york.ac.uk
- Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerificeret mail på uni-konstanz.de
- Ruurd KuiperVerificeret mail på tue.nl
- Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerificeret mail på tue.nl
- Clark BarrettStanford UniversityVerificeret mail på cs.stanford.edu
- Richard HullVisiting Scholar, University of California, DavisVerificeret mail på ucdavis.edu
- Dieter HutterGerman Research Center for Artificial IntelligenceVerificeret mail på dfki.de
- Mieke MassinkCNR-ISTIVerificeret mail på isti.cnr.it
- Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerificeret mail på tue.nl
- Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityVerificeret mail på cs.columbia.edu
- Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
- John RushbySRI InternationalVerificeret mail på csl.sri.com