Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Orna GrumbergProfessor of Computer Science, TechnionGeverifieerd e-mailadres voor cs.technion.ac.il
- Dragan Bosnackiassistant professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevGeverifieerd e-mailadres voor cs.bgu.ac.il
- Natalia SidorovaTechnische Universiteit EindhovenGeverifieerd e-mailadres voor tue.nl
- Marc GeilenEindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Gerard HolzmannNimble ResearchGeverifieerd e-mailadres voor nimbleresearch.com
- Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenGeverifieerd e-mailadres voor cs.kuleuven.be
- Ana CavalcantiUniversity of YorkGeverifieerd e-mailadres voor cs.york.ac.uk
- Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyGeverifieerd e-mailadres voor uni-konstanz.de
- Ruurd KuiperGeverifieerd e-mailadres voor tue.nl
- Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Clark BarrettStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
- Richard HullVisiting Scholar, University of California, DavisGeverifieerd e-mailadres voor ucdavis.edu
- Dieter HutterGerman Research Center for Artificial IntelligenceGeverifieerd e-mailadres voor dfki.de
- Mieke MassinkCNR-ISTIGeverifieerd e-mailadres voor isti.cnr.it
- Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
- Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
- John RushbySRI InternationalGeverifieerd e-mailadres voor csl.sri.com