Concepedia

Jason Breck

JB

Statistics

Publications

9

Citations

322

H-Index

9

Active since

2014

Affiliations

GrammaTech (United States)(Current)

University of Wisconsin–Madison

Princeton University

University of Notre Dame

NOAA Great Lakes Environmental Research Laboratory

Jason Breck is an author at GrammaTech (United States) specializing in computing, computer science, and formal methods.

Publications per year

2014–2021

9

Publications

9

Non-linear reasoning for invariant synthesis

Zachary Kincaid, John Cyphert, Jason Breck et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text

Computing, Computer Science, Algorithms +15

Forecasting the Impacts of Silver and Bighead Carp on the Lake Erie Food Web

Hongyan Zhang, Edward S. Rutherford, Doran M. Mason et al. · Transactions of the American Fisheries Society · 2015 · 70 citations · Full text

Life Sciences, Ecology, Fisheries +16

Compositional recurrence analysis revisited

Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni et al. · 2017 · 49 citations

Computing, Computer Science, Compilers +16

Closed forms for numerical loops

Zachary Kincaid, Jason Breck, John Cyphert et al. · Proceedings of the ACM on Programming Languages · 2019 · 34 citations · Full text

Computing, Computer Science, Mathematics +11

Non-Linear Reasoning For Invariant Synthesis

Zachary Kincaid, John Cyphert, Jason Breck et al. · Symposium on Principles of Programming Languages · 2018 · 28 citations

Computing, Computer Science, Algorithms +15

1–5 of 9