Andrew Reynolds - Publications, H-index & Citations

Andrew Reynolds

university of iowa

28H指数

186论文数

3.3K被引数

收录论文 3

发表时间

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 非线性算术和超越函数可满足性问题的增量线性化证明演算的形式化

PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026

IF0

2026-01-01

PREAI

Mascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare

Generating and Exploiting Automated Reasoning Proof Certificates

COMMUNICATIONS OF THE ACM

IF12.2

2023-09-22

PREAI

Barbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni

Antibiotic prophylaxis dysregulates dental implant placement surgery-induced osteoimmune wound healing and attenuates the alveolar bone-implant interface in mice

JOURNAL OF CLINICAL PERIODONTOLOGY

IF6.8

2023-09-04

PREAI

Ahmad, Waqar; Pishevar, Novin; Cochrane, Leonard J.; Reynolds, Andrew; Kim, Joseph; Korostenskij, Ivan; Geiser, Vincenza L.; Carson, Matthew D.; Warner, Amy J.; Chen, Peng; Yao, Hai; Alekseyenko, Alexander; Hathaway-Schrader, Jessica D.; Novince, Chad M.

研究方向