Crea il mio profilo
Accesso pubblico
Visualizza tutto24 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Aina NiemetzStanford UniversityEmail verificata su cs.stanford.edu
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaEmail verificata su uiowa.edu
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesEmail verificata su uiowa.edu
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Haniel BarbosaUniversidade Federal de Minas GeraisEmail verificata su dcc.ufmg.br
- Yoni ZoharBar Ilan UniversityEmail verificata su biu.ac.il
- Alex OzdemirStanford UniversityEmail verificata su stanford.edu
- Andres NötzliStanford UniversityEmail verificata su stanford.edu
- Gereon KremerCertora LtdEmail verificata su cs.stanford.edu
- Martin BrainCity, University of LondonEmail verificata su city.ac.uk
- Makai MannTechnical Staff, MIT Lincoln LaboratoryEmail verificata su ll.mit.edu
- 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
- Florian LonsingEmail verificata su florianlonsing.com
- Martina SeidlUniv.-Prof., JKU LinzEmail verificata su jku.at
- Christoph M. KirschProfessor of Computer Sciences, University of SalzburgEmail verificata su cs.uni-salzburg.at
- Andreas FröhlichJKU LinzEmail verificata su jku.at
- Ahmed IrfanSRI InternationalEmail verificata su cs.stanford.edu