VLDB 2026 Research / reviewers in the wild / expert
Anthony Narkawicz
dblp:73/9537 · also Anthony J. Narkawicz
· DBLP profile ↗
7ranked-venue papers
2as first author
2since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 1 first-author · 1 since 2021Theory of computation · 3 · 1 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Formal Verification of Termination Criteria for First-Order Recursive Functions
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos |
J. Autom. Reason. | 5 |
| 2021 | Formal Verification of Termination Criteria for First-Order Recursive Functions
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos |
ITP | 5 |
| 2018 | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems
César A. Muñoz, Anthony Narkawicz, Aaron Dutle |
FM | 2 |
| 2018 | Formalization of the Undecidability of the Halting Problem for a Functional Language
Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
WoLLIC | 6 |
| 2015 | Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems
Anthony Narkawicz, César A. Muñoz, Aaron Dutle |
J. Autom. Reason. | 1 |
| 2013 | Formalization of Bernstein Polynomials and Applications to Global Optimization
César A. Muñoz, Anthony Narkawicz |
J. Autom. Reason. | 2 |
| 2012 | Provably correct conflict prevention bands algorithms
Anthony Narkawicz, César A. Muñoz, Gilles Dowek |
Sci. Comput. Program. | 1 |