Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs

por Pit-Claudel, Clément, Wang, Peng, Delaware, Benjamin, Gross, Jason, Chlipala, Adam
Publicado 2020

Analysis of UAV Thermal Soaring via Hawk-Inspired Swarm Interaction

por Pooley, Adam, Gao, Max, Sharma, Arushi, Barnaby, Sachi, Gu, Yu, Gross, Jason
Publicado 2023

Multi-robot cooperation for lunar In-Situ resource utilization

por Martinez Rocamora, Bernardo, Kilic, Cagri, Tatsch, Christopher, Pereira, Guilherme A. S., Gross, Jason N.
Publicado 2023

Genetic Mapping and Functional Studies of a Natural Inhibitor of the Insulin Receptor Tyrosine Kinase: The Mouse Ortholog of Human α(2)-HS Glycoprotein

por Cintrón, Vivian J., Ko, Minoru S. H., Chi, Kenneth D., Gross, Jason P., Srinivas, Pothur R., Goustin, Anton Scott, Grunberger, George
Publicado 2000