Crea il mio profilo
Accesso pubblico
Visualizza tutto25 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Mathias PreinerStanford UniversityEmail verificata su cs.stanford.edu
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Cesare TinelliProfessor of Computer Science, The University of IowaEmail verificata su uiowa.edu
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesEmail verificata su uiowa.edu
- Haniel BarbosaUniversidade Federal de Minas GeraisEmail verificata su dcc.ufmg.br
- Yoni ZoharBar Ilan UniversityEmail verificata su biu.ac.il
- Andres NötzliStanford UniversityEmail verificata su stanford.edu
- Gereon KremerCertora LtdEmail verificata su cs.stanford.edu
- Alex OzdemirStanford UniversityEmail verificata su stanford.edu
- Martin BrainCity, University of LondonEmail verificata su city.ac.uk
- Makai MannTechnical Staff, MIT Lincoln LaboratoryEmail verificata su ll.mit.edu
- Ying ShengPhD student of Stanford UniversityEmail verificata su stanford.edu
- Giles RegerAmazon and University of ManchesterEmail verificata su manchester.ac.uk
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail verificata su gatech.edu
- Joseph ScottUniversity of WaterlooEmail verificata su uwaterloo.ca
- Saeed NejatiAmazonEmail verificata su amazon.com
- Martina SeidlUniv.-Prof., JKU LinzEmail verificata su jku.at
- Florian LonsingEmail verificata su florianlonsing.com
- David DeharbeCLEARSYEmail verificata su clearsy.com