Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2795 | 220 |
h-indeks | 25 | 8 |
i10-indeks | 36 | 5 |
Dostęp publiczny
Wyświetl wszystko1 artykuł
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Orna GrumbergProfessor of Computer Science, TechnionZweryfikowany adres z cs.technion.ac.il
- Dragan Bosnackiassistant professor, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevZweryfikowany adres z cs.bgu.ac.il
- Natalia SidorovaTechnische Universiteit EindhovenZweryfikowany adres z tue.nl
- Marc GeilenEindhoven University of TechnologyZweryfikowany adres z tue.nl
- Gerard HolzmannNimble ResearchZweryfikowany adres z nimbleresearch.com
- Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenZweryfikowany adres z cs.kuleuven.be
- Ana CavalcantiUniversity of YorkZweryfikowany adres z cs.york.ac.uk
- Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyZweryfikowany adres z uni-konstanz.de
- Ruurd KuiperZweryfikowany adres z tue.nl
- Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Clark BarrettStanford UniversityZweryfikowany adres z cs.stanford.edu
- Richard HullVisiting Scholar, University of California, DavisZweryfikowany adres z ucdavis.edu
- Dieter HutterGerman Research Center for Artificial IntelligenceZweryfikowany adres z dfki.de
- Mieke MassinkCNR-ISTIZweryfikowany adres z isti.cnr.it
- Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityZweryfikowany adres z cs.columbia.edu
- Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
- John RushbySRI InternationalZweryfikowany adres z csl.sri.com