Concepedia

Andrew Baas

AB

3

Publications

38

Citations

3

H-Index

2020

Active since

Affiliations

Georgia Tech Research Institute(Current)

Stanford University

University of Florida

Georgia Institute of Technology

Topos

Andrew Baas is an author at Georgia Tech Research Institute specializing in computer science, automated reasoning, and formal methods.

Top concepts

Publications per year

2020–2022

3

Publications

3

Operadic Modeling of Dynamical Systems: Mathematics and Computation

Sophie Libkind, Andrew Baas, Evan Patterson et al. · Electronic Proceedings in Theoretical Computer Science · 2022 · 16 citations · Full text

, , +12

An algebraic framework for structured epidemic modelling

Sophie Libkind, Andrew Baas, Micah Halter et al. · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2022 · 12 citations · Full text

Compositional Scientific Computing with Catlab and SemanticModels

Micah Halter, Evan Patterson, Andrew Baas et al. · arXiv (Cornell University) · 2020 · 10 citations · Full text

, , +17

Rows per page

1–3 of 3