Demo Data from EDBT 2026 / 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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems › cyber-physical systems
unmanned aerial systems |
0.1 | 1 | 2018 | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems · FM 2018 |
| 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 |