Get my own profile
Public access
View all14 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
- Derek KingstonAir Force Research LaboratoryVerified email at wpafb.af.mil
- Lu FengAssociate Professor of Computer Science, University of VirginiaVerified email at virginia.edu
- Matthew L. BoltonAssociate Professor of Systems Engineering at the University of VirginiaVerified email at virginia.edu
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
- Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Yue WangProfessor, Warren H. Owen - Duke Energy Professor of Engineering, Mechanical Engineering, ClemsonVerified email at clemson.edu
- Stanley C. AhaltDean, School of Data Science and Society, UNC-CH; Professor of Computer Science, UNC-CHVerified email at cs.unc.edu
- Eric M. WolffCruiseVerified email at getcruise.com
- Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- John C. GallagherProfessor of Computer Science, Wright State UniversityVerified email at wright.edu
- Lee PikeAWS Automated ReasoningVerified email at amazon.com
- Gloria CalhounAir Force Research Lab-Retired
- Clayton D. RothwellShield AI
Follow
Laura Humphrey
Senior Computer Scientist, NASA Langley Research Center
Verified email at nasa.gov