Benjamin Braun

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren et al. · 2013 · 164 citations · Full text

Computing, Cloud Computing, Computer Science +16

Short-circuit current and energy efficiency enhancement in a low-dimensional structure photovoltaic device

K.W.J. Barnham, Benjamin Braun, Jenny Nelson et al. · Applied Physics Letters · 1991 · 155 citations

Engineering, Electrical Engineering, Materials Science +17

Resolving the conflict between generality and plausibility in verified computation

Srinath Setty, Benjamin Braun, Victor Vu et al. · 2013 · 123 citations

Computing, Computer Science, Cryptography +10

Taking proof-based verified computation a few steps closer to practicality

Srinath Setty, Victor Vu, Nikhil Panpalia et al. · 2012 · 121 citations

Computing, Computer Science, Computer Systems +17

What Does Active Learning Mean For Mathematicians?

Benjamin Braun, Priscilla Bremser, Art M. Duval et al. · Notices of the American Mathematical Society · 2017 · 51 citations

Education, Mathematics, Mathematics Education +6