Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Rodrigo Vieira Leite, Carlos Alberto Silva, Cibele Hummel do Amaral, Diogo Nepomuceno Cosenza, Monique Bohora Schlickmann, Kleydson Diego Rocha, Jinyi Xia, Midhun Mohan, Esmaeel Adrah, Danilo Roberti Alves de Almeida, Christopher S. R. Neigh	Integrating Spaceborne Lidar Nasa's Gedi With Imaging Sensors To Map Aboveground Biomass In Fragmented Tropical Forests.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Daniel Slayback, Sadashiva Devadiga, Albert Kettner, Ranjay Shrestha, Diane Davies	NASA's Updated Near Real-Time Global Flood Product.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Hans-Peter Marshall, Scott Storms, Elias Deeb, Rick Forster, Carrie Vuyovich, Kelly Elder, Mike Durand, Christopher A. Hiemstra	Using Phase-Delay Approaches to Estimate Snow Properties: A Comparison of Airborne L-Band InSAR and Ground-Based 6-18 GHz FMCW Radar Observations During the NASA SnowEx 2020 Grand Mesa Campaign.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Jenny Hewson, Diane Davies, Karen Michael, Dawn Lowe	The Evolution of NASA'S Land, Atmosphere Near Real-Time Capability for Earth Observing Systems (Lance) to Support an Increasingly Diverse Range of User Needs.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Michael Allan Merchant, Michael Battaglia, Nancy French, Kevin Smith, Howie Singer, Vanessa Harriman, Llwellyn Armstrong, Stuart Slattery	Modelling Waterfowl Abundance Within The NASA Above Domain.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Julie Z. Miller, David G. Long	Seasat-A Scatterometer (SASS) and NASA Scatterometer (NSCAT) Enhanced-Resolution Radar Backscatter Image Products.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Ulrik Gliese, David Kubalak, Zakk Rhodes, Craig R. Auletti, Sachidananda R. Babu, Branimir Blagojevic, Kasey Boggs, Robert Bousquet, Gregory Bredthauer, Gary L. Brown, Nga T. Cao, Thomas L. Capon, James Champagne, Leland H. Chemerys, Felix N. Chi, Brian L. Clemons, James Cook, William B. Cook, Nicholas P. Costen, Kevin R. Dahya, Paul V. Dizon, Roy Esplin, Robert Estep, Ali Feizi, Steven H. Feng, Eric T. Gorman, Jeffrey Guzek, Omar Haddad, Claef F. Hakun, Locksley B. Haynes, Michael J. Hersh, Carrie S. Hill, David G. Holliday, Luis Ramos-Izquierdo, Kim S. Jepsen, Emily Kan, Bradford P. Kercheval, Saman Kholdebarin, Joseph J. Knuble, Anh T. La, Erik D. Laurila, Michael R. Lin, Wei Lu, Albert J. Mariano, Lane A. Meier, Gerhard Meister, Bryan Monosmith, David Mott, Michael M. Mulloney, Quang V. Nguyen, Thomas J. Nolan, Matthew A. Owens, James Peterson, Manuel A. Quijada, Knute A. Ray, Kenneth Squire, Christopher P. Stull, Joe Thomes, Eugene Waluschka, Yiting Wen, Mark E. Wilson, Jeremy Werdell	Optical and Detector Design of the Ocean Color Instrument for the NASA Pace Mission.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Anca Anghelea, Manil Maskey, Shin-ichi Sobue, Naoko Sugita	The NASA-ESA-JAXA Earth Observation Dashboard.	IGARSS	2023	DBLP DOI BibTeX RDF
15	Jacob R. Fahnestock, Douglas E. Dow	Mappin: A Web Native Browse Tool for the NASA JPL ITS_LIVE Project's Ice Velocity Dataset.	UEMCON	2023	DBLP DOI BibTeX RDF
15	Andrei Aleksandrov, Kim Völlinger	Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.	NFM	2023	DBLP DOI BibTeX RDF
15	Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz	Learning Symbolic Timed Models from Concrete Timed Data.	NFM	2023	DBLP DOI BibTeX RDF
15	Farzaneh Moradkhani, Connor Fibich, Martin Fränzle	Verification of LSTM Neural Networks with Non-linear Activation Functions.	NFM	2023	DBLP DOI BibTeX RDF
15	Kevin Leahy 0001, Makai Mann, Cristian-Ioan Vasile	Rewrite-Based Decomposition of Signal Temporal Logic Specifications.	NFM	2023	DBLP DOI BibTeX RDF
15	Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher	Condition Synthesis Realizability via Constrained Horn Clauses.	NFM	2023	DBLP DOI BibTeX RDF
15	Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood	Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.	NFM	2023	DBLP DOI BibTeX RDF
15	Anna Fritz, Perry Alexander	A Framework for Policy Based Negotiation.	NFM	2023	DBLP DOI BibTeX RDF
15	Niklas Kochdumper, Christian Schilling 0001, Matthias Althoff, Stanley Bak	Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.	NFM	2023	DBLP DOI BibTeX RDF
15	Thomas Robinson, Guoxin Su	Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.	NFM	2023	DBLP DOI BibTeX RDF
15	Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray	Reasoning over Test Specifications Using Assume-Guarantee Contracts.	NFM	2023	DBLP DOI BibTeX RDF
15	Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy 0001	Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.	NFM	2023	DBLP DOI BibTeX RDF
15	Alberto Bombardelli, Stefano Tonetta	Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.	NFM	2023	DBLP DOI BibTeX RDF
15	Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Guillaume Dupont	Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.	NFM	2023	DBLP DOI BibTeX RDF
15	Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel	Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.	NFM	2023	DBLP DOI BibTeX RDF
15	Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner	From the Standards to Silicon: Formally Proved Memory Controllers.	NFM	2023	DBLP DOI BibTeX RDF
15	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Quantitative Verification and Strategy Synthesis for BDI Agents.	NFM	2023	DBLP DOI BibTeX RDF
15	Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux	Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.	NFM	2023	DBLP DOI BibTeX RDF
15	Jasper Nalbach, Erika Ábrahám	Subtropical Satisfiability for SMT Solving.	NFM	2023	DBLP DOI BibTeX RDF
15	Matthew Cleaveland, Oleg Sokolsky, Insup Lee 0001, Ivan Ruchkin	Conservative Safety Monitors of Stochastic Dynamical Systems.	NFM	2023	DBLP DOI BibTeX RDF
15	Steffan Christ Sølvsten, Jaco van de Pol	Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory.	NFM	2023	DBLP DOI BibTeX RDF
15	Enrico Lipparini, Stefan Ratschan	Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.	NFM	2023	DBLP DOI BibTeX RDF
15	Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego	From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.	NFM	2023	DBLP DOI BibTeX RDF
15	Cong Liu, Darren D. Cofer, Denis Osipychev	Verifying an Aircraft Collision Avoidance Neural Network with Marabou.	NFM	2023	DBLP DOI BibTeX RDF
15	Marian Qian, Stefan Mitsch	Reward Shaping from Hybrid Systems Models in Reinforcement Learning.	NFM	2023	DBLP DOI BibTeX RDF
15	William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler	Formalized High Level Synthesis with Applications to Cryptographic Hardware.	NFM	2023	DBLP DOI BibTeX RDF
15	Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse	Automata-Based Software Model Checking of Hyperproperties.	NFM	2023	DBLP DOI BibTeX RDF
15	Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule	A Linear Weight Transfer Rule for Local Search.	NFM	2023	DBLP DOI BibTeX RDF
15	Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip	A Toolkit for Automated Testing of Dafny.	NFM	2023	DBLP DOI BibTeX RDF
15	Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto 0002, Kazuki Munakata	Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations.	NFM	2023	DBLP DOI BibTeX RDF
15	Ahmad Hassan Afridi, Hanan Abdullah Mengash	NASA-TLX-based workload assessment for academic resource recommender system.	Pers. Ubiquitous Comput.	2022	DBLP DOI BibTeX RDF
15	Zhuosen Wang, Ranjay M. Shrestha, Miguel O. Roman, Virginia L. Kalb	NASA's Black Marble Multiangle Nighttime Lights Temporal Composites.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
15	Keliann Laconte, Brooks Mitchell, Christine Shupla, Carrie Liston, Ginger Fitzhugh	Lessons Learned from NASA STEM Workshops for High-Impact Professional Development.	Public Libr. Q.	2022	DBLP DOI BibTeX RDF
15	Carlos Molina, Badr-Eddine Boudriki Semlali, Hyuk Park 0001, Adriano Camps	A Preliminary Study on Ionospheric Scintillation Anomalies Detected Using GNSS-R Data from NASA CYGNSS Mission as Possible Earthquake Precursors.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Chris Kidd, Toshi Matsui, William J. Blackwell, Scott Braun, Robert Vincent Leslie, Zach Griffith	Precipitation Estimation from the NASA TROPICS Mission: Initial Retrievals and Validation.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Esmaeel Adrah, Wan Shafrina Wan Mohd Jaafar, Hamdan Omar, Shaurya Bajaj, Rodrigo Vieira Leite, Siti Munirah Mazlan, Carlos Alberto Silva, Maggie Chel Gee Ooi, Mohd Nizam Mohd Said, Khairul Nizam Abdul Maulud, Adrián Cardil, Midhun Mohan	Analyzing Canopy Height Patterns and Environmental Landscape Drivers in Tropical Forests Using NASA's GEDI Spaceborne LiDAR.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Aisheng Wu, Xiaoxiong Xiong, Rajendra Bhatt, Conor O. Haney, David R. Doelling, Amit Angal, Qiaozhen Mu	An Assessment of SNPP and NOAA20 VIIRS RSB Calibration Performance in NASA SIPS Reprocessed Collection-2 L1B Data Products.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Donghui Yi, Alejandro Egido, Walter H. F. Smith, Laurence Connor, Christopher Buchhaupt, Dexin Zhang	Arctic Sea-Ice Surface Elevation Distribution from NASA's Operation IceBridge ATM Data.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Walter N. Meier, J. Scott Stewart, Ann Windnagel, Florence M. Fetterer	Comparison of Hemispheric and Regional Sea Ice Extent and Area Trends from NOAA and NASA Passive Microwave-Derived Climate Records.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Nancy J. Chanover, James M. Bauer, John J. Blalock, Mitchell K. Gordon, Lyle F. Huber, Mia J. T. Mace, Lynn D. V. Neakrase, Matthew S. Tiscareno, Raymond J. Walker	Giant Planet Observations in NASA's Planetary Data System.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Hala Khalid AlJassar, Marouane Temimi, Mohamed Abdelkader, Peter Petrov, Panagiotis Kokkalis, Hussain AlSarraf, Nair Roshni, Hamad Al Hendi	Validation of NASA SMAP Satellite Soil Moisture Products over the Desert of Kuwait.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Wenhui Wang 0002, Changyong Cao, Xi Shao, Slawomir Blonski, Taeyoung Choi, Sirish Uprety, Bin Zhang 0037, Yan Bai	Evaluation of 10-Year NOAA/NASA Suomi NPP and NOAA-20 VIIRS Reflective Solar Band (RSB) Sensor Data Records (SDR) over Deep Convective Clouds.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Rita M. Sambruna, Joshua E. Schlieder, Daniel Kocevski, Regina Caputo, M. C. Hui, C. B. Markwardt, B. P. Powell, J. L. Racusin, Christopher Roberts, Leo P. Singer, Alan P. Smale, T. M. Venters, Colleen Wilson-Hodge	The NASA Multi-Messenger Astrophysics Science Support Center (MOSSAIC).	Astron. Comput.	2022	DBLP DOI BibTeX RDF
15	Giovanni Vincenti	Integrating Open Challenges in the Curriculum: Lessons Learned from an Experience with NASA.	Informatics Educ.	2022	DBLP BibTeX RDF
15	Malik Chami, Zacharie Aoulad, Sebastien Migeon, Audrey Minghelli	Analysis of Nighttime Radiances Measured by VIIRS Satellite Sensor (NASA/NOAA) Over Coastal Waters at Seasonal and Daily Time Scales. Application to the Observation of River Discharges During Flooding Events.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Weidong Zhu, Kevin R. B. Butler	NASA: NVM-Assisted Secure Deletion for Flash Memory.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
15	Nazmus Sazib, John D. Bolten, Iliana E. Mladenova	Leveraging NASA Soil Moisture Active Passive for Assessing Fire Susceptibility and Potential Impacts Over Australia and California.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Alejandro Monsiváis-Huertero, Daniel Enrique Constantino-Recillas, Juan Carlos Hernández-Sánchez, Héctor Ernesto Huerta-Batiz, Jasmeet Judge, Pedro Alejandro López-Estrada, José Carlos Jiménez-Escalona, Eduardo Arizmendi-Vasconcelos, Marco Antonio García-Bernal, Cira Francisca Zambrano-Gallardo, Alejandra Aurelia López-Caloca, Enrique Zempoaltécatl-Ramirez, Iván Edmundo De La Rosa-Montero, Roberto Ivan Villalobos-Martínez, Ramón Sidonio Aparicio-García, Carlos Rodolfo Sánchez-Villanueva, Leonardo Arizmendi-Vasconcelos, Roberto Cotero-Manzo, Jaime Hugo Puebla-Lomas, Víctor Manuel Saúce-Rangel	Assessment of NASA SMAP Soil Moisture Products for Agricultural Regions in Central Mexico: An Analysis Based on the THEXMEX Dataset.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Andreas Colliander, Rolf H. Reichle, Wade T. Crow, Michael H. Cosh, Fan Chen 0004, Steven Chan 0001, Narendra Narayan Das, Rajat Bindlish, Julian Chaubell, Seung-Bum Kim, Qing Liu, Peggy E. O'Neill, Roy Scott Dunbar, Land B. Dang, John S. Kimball, Thomas J. Jackson, Hala Khalid AlJassar, Jun Asanuma, Bimal K. Bhattacharya, Aaron A. Berg, David D. Bosch, Laura L. Bourgeau-Chavez, Todd Caldwell, Jean-Christophe Calvet, Chandra D. Holifield Collins, Karsten H. Jensen, Stanley Livingston, Ernesto López-Baeza, José Martínez-Fernández, Heather McNairn, Mahta Moghaddam, Carsten Montzka, Claudia Notarnicola, Thierry Pellarin, Isabella Greimeister-Pfeil, Jouni Pulliainen, Judith Gpe. Ramos, Mark S. Seyfried, Patrick J. Starks, Zhongbo Su, Rogier van der Velde, Yijian Zeng, Marc Thibeault, Mariette Vreugdenhil, Jeffrey P. Walker, Mehrez Zribi, Dara Entekhabi, Simon H. Yueh	Validation of Soil Moisture Data Products From the NASA SMAP Mission.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Julie Z. Miller, David G. Long, Christopher A. Shuman, Riley Culberg, Molly A. Hardman, Mary J. Brodzik	Mapping Firn Saturation Over Greenland Using NASA's Soil Moisture Active Passive Satellite.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Spencer C. Castro, P. Samuel Quinan, Helia Hosseinpour, Lace M. K. Padilla	Examining Effort in 1D Uncertainty Communication Using Individual Differences in Working Memory and NASA-TLX.	IEEE Trans. Vis. Comput. Graph.	2022	DBLP DOI BibTeX RDF
15	Huihong Shi, Haoran You, Yang Zhao 0013, Zhongfeng Wang 0001, Yingyan Lin	NASA: Neural Architecture Search and Acceleration for Hardware Inspired Hybrid Networks.	CoRR	2022	DBLP DOI BibTeX RDF
15	Mohammed Eleffendi, Daniel Posada, Mustafa Ilhan Akbas, Troy Henderson	NASA/GSFC's Flight Software Core Flight System Implementation For A Lunar Surface Imaging Mission.	CoRR	2022	DBLP DOI BibTeX RDF
15	Bill Basener	Classifying Crop Types using Gaussian Bayesian Models and Neural Networks on GHISACONUS USGS data from NASA Hyperspectral Satellite Imagery.	CoRR	2022	DBLP DOI BibTeX RDF
15	Loizos Heracleous	Helping at NASA: Guidelines for using process consultation to develop impactful research.	Inf. Organ.	2022	DBLP DOI BibTeX RDF
15	Zhong Liu, Chung-Lin Shie, Anthony J. Ritrivi, Guang-Dih Lei, Gary T. Alcott, Mary Greene, James G. Acker, Jennifer C. Wei, David J. Meyer, Angela Li, Atheer F. Al-Jazrawi	Developing Metrics for NASA Earth Science Interdisciplinary Data Products and Services.	Data Sci. J.	2022	DBLP DOI BibTeX RDF
15	Hui Li 0015, Jiayang Zhao, Bingqi Yan, Linwei Yue, Lunche Wang	Global DEMs vary from one to another: an evaluation of newly released Copernicus, NASA and AW3D30 DEM on selected terrains of China using ICESat-2 altimetry data.	Int. J. Digit. Earth	2022	DBLP DOI BibTeX RDF
15	Bill Basener	Classifying Crop Types Using Gaussian Bayesian Models and Neural Networks on Ghisaconus USGS Data from NASA Hyperspectral Satellite Imagery.	WHISPERS	2022	DBLP DOI BibTeX RDF
15	Ricardo Lent	Enabling Cognitive Bundle Routing in NASA's High Rate DTN.	IWCMC	2022	DBLP DOI BibTeX RDF
15	Naser Al Madi, Siyuan Peng, Tamsin Rogers	Assessing Workload Perception in Introductory Computer Science Projects using NASA-TLX.	SIGCSE (1)	2022	DBLP DOI BibTeX RDF
15	Tito Alberto Nuncira Gacharna, Erick David Daleman Amaya, John Alvaro Rueda Forero, Joaquin Jose Avila Pallares, Wendy Lorena Avila Daza, Miguel Alejandro Reyes Parra, Catalina Marcela Rodriguez, Leidy Johana Soler Arias, Yeison Javier Fonseca Rojas, Fanhor Esteban Navia Forero, Nicolas Daniel Carvajal Restrepo, Augusto Andres Cubillos Cuadros, Manuel Arturo Gonzalez Parra, Ruben Dario Lozano Quecan, Nelson Alberto Forero Rincon, Juan Pablo Morales Arias, Julio Andres Salgado Reyes, Manuel Amezquita Pulido, Samuel Nuncira Lopez, Maria Eugenia Lambertinez Rivera	Implementation of the STEAM Method to motivate and inspire primary and secondary school students in Colombia to pursue space science research, NASA Human Exploration Rover Challenge (HERC) 2020, 2021, 2022 Project Case study.	GHTC	2022	DBLP DOI BibTeX RDF
15	Huihong Shi, Haoran You, Yang Zhao 0013, Zhongfeng Wang 0001, Yingyan Lin	NASA: Neural Architecture Search and Acceleration for Hardware Inspired Hybrid Networks.	ICCAD	2022	DBLP DOI BibTeX RDF
15	Puhiza Iseni, Festim Halili	Reliable Service-Oriented Architecture for Nasa's Mars Exploration Rover Mission.	MECO	2022	DBLP DOI BibTeX RDF
15	Soobin Yim, Chanyoung Yoon, Sangbong Yoo, Yun Jang	A Mental Workload Estimation for Visualization Evaluation Using EEG Data and NASA-TLX.	EuroVis (Posters)	2022	DBLP DOI BibTeX RDF
15	Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001 (eds.)	NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings	NFM	2022	DBLP DOI BibTeX RDF
15	Jacqueline Le Moigne	NASA'S Advanced Information Systems Technology (AIST): Combining New Observing Strategies and Analytics Frameworks to Build Earth System Digital Twins.	IGARSS	2022	DBLP DOI BibTeX RDF
15	William J. Blackwell	New Measurements of Cloud Ice and Snow at 205 Ghz from the Nasa Tropics Pathfinder Mission.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Matthew Fladeland	A Brief Review of Uncrewed Aircraft Systems in Support of NASA Earth Science.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Kaylin M. Bugbee, Rahul Ramachandran, Ashish Acharya, Dai Hai Ton That, John Hedman, Ahmed Eleish, Charles Driessnack, Wesley Adams, Emily Foshee	Selecting Approaches for Enabling Enterprise Data Search: NASA's Science Mission Directorate (SMD) Catalog.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Scott A. Braun, John Yorks, Tyler Thorsen, Dan Cecil, Dalia Kirschbaum	NASA'S Earth System Observatory-Atmosphere Observing System.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Robert O. Green	The NASA Earth Venture Instrument, Earth Surface Mineral Dust Source Investigation (EMIT).	IGARSS	2022	DBLP DOI BibTeX RDF
15	William J. Blackwell	TECHNOLOGY MATURATION ACHIEVED THROUGH THE NASA TROPICS MISSION.	IGARSS	2022	DBLP DOI BibTeX RDF
15	William J. Blackwell, Andrew Cunningham, S. Donnelly, Robert Vincent Leslie, N. Zorn	The NASA Tropics Mission as a Pathfinder for Future LEO Microwave Sounders.	IGARSS	2022	DBLP DOI BibTeX RDF
15	David R. Thompson 0001, Ralph Basilio, Ian Brosnan, Kerry Cawse-Nicholson, K. Dana Chadwick, Liane S. Guild, Michelle M. Gierach, Robert O. Green, Simon J. Hook, Scott D. Horner, Glynn C. Hulley, Raymond F. Kokaly, Charles E. Miller, Kimberley R. Miner, Christine Lee, Daniel Limonadi, Jeffrey Luvall, Ryan Pavlick, Benjamin Phillips, Benjamin Poulter 0001, Ann Raiho, Kevin Reath, Stephanie Schollaert Uz, Amit Sen, Shawn P. Serbin, David Schimel, Philip A. Townsend, Woody Turner, Kevin R. Turpie	Ongoing Progress Toward NASA's Surface Biology and Geology Mission.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Christopher Ruf, Clara Chew, Mahta Moghaddam, Derek J. Posselt, Zhaoxia Pu	Science Impacts of the NASA CYGNSS Mission.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Delwyn Moller, Matthew Wilson, Rajasweta Datta, Andrew O'Brien 0001, Ryan Linnabary, Chris Ruf	Rongowai: A Pathfinder NASA/NZ GNSS-R Initiative Supporting SDG-15 - Life on Land.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Brian Ellingson, Eddie Campos, Will Ellett, Taylor Wright, Daine Wright, Kimberly Broughton, Tammy Walker, Manil Maskey, Geoffrey T. Stano	Earthdata Pub: An Enterprise-Wide Solution to Submit Data to NASA's Distributed Active Archive Centers.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Michael S. Seablom, Jacqueline Le Moigne, Sujay Kumar, Barton A. Forman, Paul T. Grogan	Real-Time Applications of the Nasa Earth Science "New Observing Strategy".	IGARSS	2022	DBLP DOI BibTeX RDF
15	Aaron R. Naeger, Michael Newchurch, Xiong Liu 0002, Kelly Chance	The NASA Tropospheric Emissions: Monitoring of Pollution (TEMPO) Satellite Mission: Early Adopters Program and Applied Science Activities.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Edward Kim 0001, Albert Wu, Hessam Izadkhah, Saji Abraham	100-Meter Resolution Soil Moisture - A European Airborne Campaign Using Nasa Goddard's Scanning L-Band Active Passive (Slap).	IGARSS	2022	DBLP DOI BibTeX RDF
15	Pamela Millar, Sachidananda Babu	NASA Earth Science Technology Demonstratinos on CubeSats.	IGARSS	2022	DBLP DOI BibTeX RDF
15	Dines Bjørner	An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.	NFM	2022	DBLP DOI BibTeX RDF
15	Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae Young Lee, Kristin Yvonne Rozier	Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.	NFM	2022	DBLP DOI BibTeX RDF
15	Ulices Santa Cruz, Yasser Shoukry	NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.	NFM	2022	DBLP DOI BibTeX RDF
15	Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva	Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.	NFM	2022	DBLP DOI BibTeX RDF
15	Stanley Bak, Hoang-Dung Tran	Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.	NFM	2022	DBLP DOI BibTeX RDF
15	Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan	Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.	NFM	2022	DBLP DOI BibTeX RDF
15	Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka	From Verified Scala to STIX File System Embedded Code Using Stainless.	NFM	2022	DBLP DOI BibTeX RDF
15	Felipe Gorostiaga, César Sánchez 0001	Monitorability of Expressive Verdicts.	NFM	2022	DBLP DOI BibTeX RDF
15	Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo	Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.	NFM	2022	DBLP DOI BibTeX RDF
15	Johan Arcile, Étienne André	Zone Extrapolations in Parametric Timed Automata.	NFM	2022	DBLP DOI BibTeX RDF
15	Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling	Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.	NFM	2022	DBLP DOI BibTeX RDF