Crea el meu perfil
Accés públic
Mostra-ho tot14 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Mohammad Amin AlipourUniversity of HoustonCorreu electrònic verificat a cs.uh.edu
- Rahul GopinathThe University of SydneyCorreu electrònic verificat a gopinath.org
- Carlos JensenAssociate Professor School of EECS, Oregon State UniversityCorreu electrònic verificat a eecs.orst.edu
- Iftekhar AhmedAssistant Professor, University of California, IrvineCorreu electrònic verificat a uci.edu
- Josselin FeistTrail of BitsCorreu electrònic verificat a trailofbits.com
- Gerard HolzmannNimble ResearchCorreu electrònic verificat a nimbleresearch.com
- Willem VisserComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryCorreu electrònic verificat a jpl.nasa.gov
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- John RegehrProfessor, School of Computing, University of UtahCorreu electrònic verificat a cs.utah.edu
- Weng-Keen WongProfessor of Computer Science, Oregon State UniversityCorreu electrònic verificat a eecs.oregonstate.edu
- Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
- Darko MarinovUniversity of Illinois at Urbana-ChampaignCorreu electrònic verificat a illinois.edu
- Yang ChenSchool of Computing, University of UtahCorreu electrònic verificat a cs.utah.edu
- Arpit ChristiWeber State UniversityCorreu electrònic verificat a weber.edu
- Eric EideUniversity of Utah Kahlert School of ComputingCorreu electrònic verificat a cs.utah.edu
- Jervis PintoOregon State UniversityCorreu electrònic verificat a eecs.oregonstate.edu
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityCorreu electrònic verificat a cs.biu.ac.il
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityCorreu electrònic verificat a cs.columbia.edu
Segueix
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
Correu electrònic verificat a nau.edu - Pàgina d'inici