Aaron Dutle
发表
César Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2016
.
François Bobot,
Mariano M. Moscato,
César A. Muñoz,
2018,
FM.
Maria Consiglio,
James Chamberlain,
Anthony Narkawicz,
2015,
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC).
César A. Muñoz,
Ricky W. Butler,
Anthony Narkawicz,
2015,
TAP@STAF.
François Bobot,
César Muñoz,
Laura Titolo,
2020,
Formal Aspects of Computing.
César A. Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2018,
FM.
César Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2018,
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).
César A. Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2018,
AFM@NFM.
César A. Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2018,
J. Formaliz. Reason..
Aaron Dutle,
Bill Kay,
Aaron Dutle,
2012,
Discret. Appl. Math..
Jason Upchurch,
César A. Muñoz,
Anthony Narkawicz,
2016,
SIGL.
César Muñoz,
Elliot T. Lewis,
James L. Sturdy,
2017
.
César A. Muñoz,
Anthony Narkawicz,
Aaron Dutle,
2015,
Journal of Automated Reasoning.
Anastasia Mavridou,
Swee Balachandran,
Dimitra Giannakopoulou,
2020,
FMAS.
Mariano M. Moscato,
César A. Muñoz,
Laura Titolo,
2017,
Formal Aspects of Computing.
Joshua N. Cooper,
Aaron Dutle,
Aaron Dutle,
2011,
Am. Math. Mon..
István Miklós,
Éva Czabarka,
Péter L. Erdös,
2015,
Discret. Appl. Math..
Aaron Dutle,
J. Tanner Slagel,
Lauren White,
2021,
CPP.
Mariano M. Moscato,
César A. Muñoz,
Mauricio Ayala-Rincón,
2021,
ITP.
Dimitra Giannakopoulou,
Thomas Pressburger,
Laura Titolo,
2022,
CPP.
Aaron Dutle,
2012
.