Concepedia

Sebastien Vasey

SV

Statistics

Publications

15

Citations

312

H-Index

13

Active since

2015

Affiliations

Carnegie Mellon University(Current)

Harvard University

Masaryk University

Mass General Brigham

Massachusetts General Hospital

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

Top concepts

Automated ReasoningEngineeringComputer ScienceLanguageSemanticsLinguisticsFormal MethodsNumerical SimulationMathematical ModelingModeling And Simulation

Publications per year

2015–2020

15

Publications

15

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

Building independence relations in abstract elementary classes

Sebastien Vasey · Annals of Pure and Applied Logic · 2016 · 38 citations · Full text

Mathematical Structure, Algebraic Logic, Automated Reasoning +2

Shelah's eventual categoricity conjecture in universal classes: Part I

Sebastien Vasey · Annals of Pure and Applied Logic · 2017 · 32 citations · Full text

Higher Category Theory, Categorical Model, Categorical Logic +1

Transitive Sequencing Medical Records for Mining Predictive and Interpretable Temporal Representations

Hossein Estiri, Zachary H. Strasser, Jeffery Klann et al. · Patterns · 2020 · 31 citations · Full text

Forking independence from the categorical point of view

Michael Lieberman, Sebastien Vasey · Advances in Mathematics · 2019 · 19 citations · Full text

Automated Reasoning, Higher Category Theory, Categorical Point +2

1–5 of 15