The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Aaron Dutle" ( http://dblp.L3S.de/Authors/Aaron_Dutle )

  Author page on DBLP  Author page in RDF  Community of Aaron Dutle in ASPL-2

Publication years (Num. hits)
2012-2018 (16)
Publication types (Num. hits)
article(8) inproceedings(7) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz Formalization of the Undecidability of the Halting Problem for a Functional Language. Search on Bibsonomy WoLLIC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, César A. Muñoz, Anthony Narkawicz (eds.) NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Anthony Narkawicz, Aaron Dutle From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anthony Narkawicz, César A. Muñoz, Aaron Dutle The MINERVA Software Development Process. Search on Bibsonomy AFM@NFM The full citation details ... 2017 DBLP  BibTeX  RDF
1Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz A Formal Analysis of the Compact Position Reporting Algorithm. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, Bill Kay Graph odometry. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch Unmanned aircraft systems in the national airspace system: a formal methods perspective. Search on Bibsonomy SIGLOG News The full citation details ... 2016 DBLP  BibTeX  RDF
1Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós On realizations of a joint degree matrix. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anthony Narkawicz, César A. Muñoz, Aaron Dutle Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler Software Validation via Model Animation. Search on Bibsonomy TAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós On Realizations of a Joint Degree Matrix Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joshua N. Cooper, Aaron Dutle Greedy Galois Games. Search on Bibsonomy The American Mathematical Monthly The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, Bill Kay Graph Odometry Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license