Concepedia

Will Boney

WB

Statistics

Publications

7

Citations

131

H-Index

7

Active since

2013

Affiliations

Carnegie Mellon University(Current)

Harvard University

Will Boney is an author at Carnegie Mellon University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSoftware AnalysisNumerical SimulationMathematical ModelingModeling And SimulationMathematical Foundations

Publications per year

2013–2017

7

Publications

7

Canonical forking in AECs

Will Boney, Rami Grossberg, Alexei Kolesnikov et al. · Annals of Pure and Applied Logic · 2016 · 38 citations · Full text

Risc-v, Canonical Forking, Os-level Virtualization +1

μ-Abstract elementary classes and other generalizations

Will Boney, Rami Grossberg, Michael Lieberman et al. · Journal of Pure and Applied Algebra · 2016 · 18 citations · Full text

Abstract Algebra, Engineering, Automated Reasoning +4

TAMENESS AND FRAMES REVISITED

Will Boney, Sebastien Vasey · Journal of Symbolic Logic · 2017 · 16 citations · Full text

Good Frame, Abstract Independence Notion, Engineering +11

Chains of saturated models in AECs

Will Boney, Sebastien Vasey · Archive for Mathematical Logic · 2017 · 16 citations · Full text

Saturated Models, Engineering, Numerical Simulation +3

Superstability from categoricity in abstract elementary classes

Will Boney, Rami Grossberg, Monica VanDieren et al. · Annals of Pure and Applied Logic · 2017 · 15 citations · Full text

Automated Reasoning, Model Theory, Categorical Logic +2

1–5 of 7