Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mohammad Amin AlipourUniversity of HoustonVerified email at cs.uh.edu- Rahul GopinathThe University of SydneyVerified email at gopinath.org
- Carlos JensenAssociate Professor School of EECS, Oregon State UniversityVerified email at eecs.orst.edu
- Iftekhar AhmedAssistant Professor, University of California, IrvineVerified email at uci.edu
- Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
- Josselin FeistTrail of BitsVerified email at trailofbits.com
- Josie HolmesNorthern Arizona UniversityVerified email at nau.edu
- Daniel KroeningAmazonVerified email at amazon.com
- John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
- Weng-Keen WongProfessor of Computer Science, Oregon State UniversityVerified email at eecs.oregonstate.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
- Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Yang ChenSchool of Computing, University of UtahVerified email at cs.utah.edu
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
- Eric EideUniversity of Utah School of ComputingVerified email at cs.utah.edu
- Arpit ChristiWeber State UniversityVerified email at weber.edu
Follow
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
Verified email at nau.edu - Homepage