Anthony J. Narkawicz

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Formal Verification

Recursive Functions

Top Venues

J. Formaliz. Reason.

J. Autom. Reason.

Publications

César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP (2021)
César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formaliz. Reason. 11 (1) (2018)
Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. SYNASC (2015)