by Dutle, Aaron, Moscato, Mariano M, Titolo, Laura, Muñoz, César A, Perez, Ivan
Year of Publication 2021

by Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Published in Journal of automated reasoning (01.12.2023)

by Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François
Published in Formal aspects of computing (01.01.2021)

by Dutle, Aaron, Muñoz, César, Narkawicz, Anthony
Year of Publication 2018

by Cooper, Joshua, Dutle, Aaron
Published in The American mathematical monthly (01.05.2013)

by Narkawicz, Anthony Joseph, Munoz, Cesar, Dutle, Aaron M
Published in Journal of Formalized Reasoning (01.01.2018)

by Cooper, Joshua, Dutle, Aaron
Published in Linear algebra and its applications (01.05.2012)

by Cooper, Joshua, Dutle, Aaron
Published in Linear & multilinear algebra (04.05.2015)

by Dutle, Aaron, Kay, Bill
Published in Discrete Applied Mathematics (11.12.2016)

by Masci, Paolo, Dutle, Aaron
Published in NASA Formal Methods

by Dutle Aaron, Moscato, Mariano M, Titolo Laura, Muñoz, César A, Perez, Ivan
Published in Innovations in systems and software engineering (01.01.2023)

by Dutle, Aaron, Moscato, Mariano M., Titolo, Laura, Muñoz, C.ésar A., Perez, Ivan
Published in Innovations in systems and software engineering (01.12.2023)

by Slagel, J. Tanner, Moscato, Mariano, White, Lauren, Muñoz, César A., Balachandran, Swee, Dutle, Aaron
Published in Electronic proceedings in theoretical computer science (23.04.2024)

by Narkawicz, Anthony, Muñoz, César, Dutle, Aaron
Published in Journal of automated reasoning (01.04.2015)

by Dutle, Aaron, Muñoz, César, Narkawicz, Anthony
Published in Innovations in systems and software engineering (01.09.2019)

by Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François
Published in Formal aspects of computing (01.01.2021)

by Dutle, Aaron, Muñoz, César, Conrad, Esther, Goodloe, Alwyn, Titolo, Laura, Perez, Ivan, Balachandran, Swee, Giannakopoulou, Dimitra, Mavridou, Anastasia, Pressburger, Thomas
Published in Electronic proceedings in theoretical computer science (03.12.2020)

by Czabarka, Éva, Dutle, Aaron, Erdős, Péter L., Miklós, István
Published in Discrete Applied Mathematics (30.01.2015)

by Titolo, Laura, Moscato, Mariano M., Muñoz, César A., Dutle, Aaron, Bobot, François
Published in Formal Methods

by Muñoz, César, Narkawicz, Anthony, Dutle, Aaron
Published in Formal Methods