Lecture notes series, Institute For Mathematical Sciences

A Scalable Verification Solution for Blockchains

Jason Teutsch, Christian Reitwießner · 2023 · 68 citations · Full text

Computing, Computer Science, Information Technology +9

DERIVED MODELS ASSOCIATED TO MICE

John R. Steel · 2008 · 31 citations

Life Sciences, Biology, Biological Systems Modeling +10

FORECAST UNCERTAINTY, ITS REPRESENTATION AND EVALUATION

Kenneth F. Wallis · 2008 · 20 citations

Business, Meteorology, Forecasting +16

GLOBAL PROPERTIES OF THE TURING DEGREES AND THE TURING JUMP

Theodore A. Slaman · 2008 · 10 citations

Natural Sciences, Mathematics, Logic +4