Crea il mio profilo
Accesso pubblico
Visualizza tutto1 articolo
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Orna GrumbergProfessor of Computer Science, TechnionEmail verificata su cs.technion.ac.il
- Dragan Bosnackiassistant professor, Eindhoven University of TechnologyEmail verificata su tue.nl
- Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevEmail verificata su cs.bgu.ac.il
- Natalia SidorovaTechnische Universiteit EindhovenEmail verificata su tue.nl
- Marc GeilenEindhoven University of TechnologyEmail verificata su tue.nl
- Gerard HolzmannNimble ResearchEmail verificata su nimbleresearch.com
- Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenEmail verificata su cs.kuleuven.be
- Ana CavalcantiUniversity of YorkEmail verificata su cs.york.ac.uk
- Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyEmail verificata su uni-konstanz.de
- Ruurd KuiperEmail verificata su tue.nl
- Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyEmail verificata su tue.nl
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Richard HullVisiting Scholar, University of California, DavisEmail verificata su ucdavis.edu
- Dieter HutterGerman Research Center for Artificial IntelligenceEmail verificata su dfki.de
- Mieke MassinkCNR-ISTIEmail verificata su isti.cnr.it
- Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyEmail verificata su tue.nl
- Alfred AhoLawrence Gussman Professor of Computer Science, Columbia UniversityEmail verificata su cs.columbia.edu
- Lakhnech, YassineUnversity of Grenoble, CNRS, Verimag
- John RushbySRI InternationalEmail verificata su csl.sri.com