Crea il mio profilo
Accesso pubblico
Visualizza tutto18 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesEmail verificata su uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaEmail verificata su uiowa.edu
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Mathias PreinerStanford UniversityEmail verificata su cs.stanford.edu
- Andres NötzliStanford UniversityEmail verificata su stanford.edu
- Aina NiemetzStanford UniversityEmail verificata su cs.stanford.edu
- Yoni ZoharBar Ilan UniversityEmail verificata su biu.ac.il
- Hanna LachnittStanford UniversityEmail verificata su stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail verificata su loria.fr
- Alex OzdemirStanford UniversityEmail verificata su stanford.edu
- Gereon KremerCertora LtdEmail verificata su cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityEmail verificata su stanford.edu
- Mathias FleuryUniversity FreiburgEmail verificata su informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
- David DeharbeCLEARSYEmail verificata su clearsy.com
- Daniel LarrazUniversity of IowaEmail verificata su uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityEmail verificata su stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisEmail verificata su dcc.ufmg.br
- Mikoláš JanotaCTU PragueEmail verificata su cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail verificata su certora.com