Concepedia

Andrew Reynolds

AR

24

Publications

679

Citations

15

H-Index

1996

Active since

Affiliations

University of Iowa(Current)

University College London

New York University

École Polytechnique Fédérale de Lausanne

Stanford University

Andrew Reynolds is an author at University of Iowa specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationAnthropologyVerificationSoftware AnalysisLanguageArchaeology

Publications per year

1996–2023

24

Publications

24

<i>Sutton Hoo: Burial Ground of Kings?</i>. By Martin Carver.

Andrew Reynolds · American Journal of Archaeology · 2000 · 63 citations

SMT proof checking using a logical framework

Aaron Stump, Duckki Oe, Andrew Reynolds et al. · Formal Methods in System Design · 2012 · 57 citations

Engineering, Automated Reasoning, Verification +9

On farmers, traders and kings: archaeological reflections of social complexity in early medieval north-western Europe

Andrew Reynolds · Early Medieval Europe · 2005 · 55 citations

Historical Archaeology, Archaeological Record, Business +9

An efficient SMT solver for string constraints

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze et al. · Formal Methods in System Design · 2016 · 54 citations

Computational Science, Constraint Solving, Engineering +7

A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

Jonathan Brundan, Jonathan Comes, David Nash et al. · Quantum Topology · 2017 · 46 citations · Full text

Schubert Calculus, Representation Theory, Algebraic Structure +6

Rows per page

1–5 of 24