Crea el meu perfil
Accés públic
Mostra-ho tot27 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaCorreu electrònic verificat a umn.edu
- Andrew GacekAmazon Web ServiceCorreu electrònic verificat a amazon.com
- Darren CoferRockwell CollinsCorreu electrònic verificat a ieee.org
- Anitha MurugesanHoneywell AerospaceCorreu electrònic verificat a honeywell.com
- Ajitha RajanUniversity of EdinburghCorreu electrònic verificat a staffmail.ed.ac.uk
- Sanjai RayadurgamUniversity of MinnesotaCorreu electrònic verificat a umn.edu
- Gregory GayChalmers | University of GothenburgCorreu electrònic verificat a chalmers.se
- Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterCorreu electrònic verificat a nasa.gov
- Neha RungtaAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Bernd FischerComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- David HardinCollins AerospaceCorreu electrònic verificat a collins.com
- Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaCorreu electrònic verificat a umn.edu
- Danielle StewartGalois, Inc.Correu electrònic verificat a galois.com
- Johann SchumannSGT, Inc. NASA AmesCorreu electrònic verificat a nasa.gov
- Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
- Soha HusseinLecturer at the University of MinnesotaCorreu electrònic verificat a umn.edu
- Corina PasareanuCMU/NASA AmesCorreu electrònic verificat a nasa.gov
- Lee PikeAWS Automated ReasoningCorreu electrònic verificat a amazon.com
- Oleg SokolskyUniversity of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Segueix
Michael W Whalen
Amazon, Inc. and the University of Minnesota
Correu electrònic verificat a cs.umn.edu - Pàgina d'inici