Založit si vlastní profil
Veřejný přístup
Zobrazit všechny58 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Matt FredriksonCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonE-mailová adresa ověřena na: cs.wisc.edu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Mihai ChristodorescuGoogleE-mailová adresa ověřena na: christodorescu.org
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinE-mailová adresa ověřena na: cs.wisc.edu
- Orna GrumbergProfessor of Computer Science, TechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Barton MillerVilas Distinguished Achievement Professor, University of Wisconsin-MadisonE-mailová adresa ověřena na: cs.wisc.edu
- Vinod GanapathyProfessor of Computer Science, Indian Institute of Science BangaloreE-mailová adresa ověřena na: iisc.ac.in
- Vinod YegneswaranPrincipal Computer Scientist, SRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Thomas RistenpartProfessor of Computer Science, Cornell TechE-mailová adresa ověřena na: cornell.edu
- Dawn SongProfessor of Computer Science, UC BerkeleyE-mailová adresa ověřena na: cs.berkeley.edu
- Paul BarfordProfessor of Computer Science, University of Wisconsin - MadisonE-mailová adresa ověřena na: cs.wisc.edu
- Onn ShehoryBar Ilan UniversityE-mailová adresa ověřena na: biu.ac.il
- Randal BryantCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mailová adresa ověřena na: sri.com
- Yves Le TraonProfessor of Computer Science, University of LuxembourgE-mailová adresa ověřena na: uni.lu
- Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEME-mailová adresa ověřena na: uni-paderborn.de
- David BrumleyComputer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
- Jacques KleinUniversity of Luxembourg / SnTE-mailová adresa ověřena na: uni.lu
- Wenke LeeJohn P. Imlay Jr. Chair and Professor of Computer Science at Georgia TechE-mailová adresa ověřena na: cc.gatech.edu
Sledovat
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
E-mailová adresa ověřena na: cs.wisc.edu