Personal information

Activities

Collapse all

Employment (1)

National Institute of Aerospace: Hampton, VA, US

Senior Researcher
Employment
Source: Self-asserted source
Mariano M. Moscato

Works (3)

Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0

2025 | Book chapter
DOI: 10.1007/978-3-031-71177-0_2
Contributors: Laura Titolo; Mariano Moscato; Marco A. Feliu; Paolo Masci; César A. Muñoz
Source: check_circle
Crossref

Formal Verification of Termination Criteria for First-Order Recursive Functions

Journal of Automated Reasoning
2023-12 | Journal article
DOI: 10.1007/s10817-023-09669-z
Contributors: Cesar A. Muñoz; Mauricio Ayala-Rincón; Mariano M. Moscato; Aaron M. Dutle; Anthony J. Narkawicz; Ariane Alves Almeida; Andréia B. Avelar da Silva; Thiago M. Ferreira Ramos
Source: check_circle
Crossref

Interpretation and Formalization of the Right-of-Way Rules

2022 | Book chapter
DOI: 10.1007/978-3-031-20872-0_4
Contributors: Victor A. Carreño; Mariano M. Moscato; Paolo M. Masci; Aaron M. Dutle
Source: check_circle
Crossref
How many people are using ORCID?