Get my own profile
Public access
View all27 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
- Andrew GacekAmazon Web ServiceVerified email at amazon.com
- Darren CoferRockwell CollinsVerified email at ieee.org
- Anitha MurugesanHoneywell AerospaceVerified email at honeywell.com
- Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
- Sanjai RayadurgamUniversity of MinnesotaVerified email at umn.edu
- Gregory GayChalmers | University of GothenburgVerified email at chalmers.se
- Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterVerified email at nasa.gov
- Neha RungtaAmazon Web ServicesVerified email at amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaVerified email at umn.edu
- David HardinCollins AerospaceVerified email at collins.com
- Danielle StewartGalois, Inc.Verified email at galois.com
- Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
- Soha HusseinAssistant Professor at Ain Shams UniversityVerified email at umn.edu
- Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
- Lee PikeAWS Automated ReasoningVerified email at amazon.com
Follow