Benjamin Braun

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 18

Top Topics

Snapshot Isolation

Small World Networks

Top Venues

Adv. Appl. Math.

SIAM J. Discret. Math.

Publications

Benjamin Braun
Inventing the Mathematician: Gender, Race, and Our Cultural Understanding of Mathematics: By Sara Hottinger. SUNY Press, Albany, NY, 2017. 216 pp., ISBN 1438460104. Am. Math. Mon. 129 (1) (2022)
Matthias Beck, Benjamin Braun, Andrés R. Vindas-Meléndez
-Polynomials for Rational Polytopes. Discret. Comput. Geom. 68 (1) (2022)
Benjamin Braun, Fu Liu
h*-Polynomials with Roots on the Unit Circle. Exp. Math. 30 (3) (2021)
Francisco Romero, Benjamin Braun, David R. Cheriton
The TRaCaR Ratio: Selecting the Right Storage Technology for Active Dataset-Serving Databases. CoRR (2020)
Benjamin Braun, Marie Meyer
Laplacian simplices. Adv. Appl. Math. 114 (2020)
Benjamin Braun, Basak Taraktas, Brian Beckage, Jane Molofsky
Phase transitions and social distancing control measures for SARS-CoV-2 on small world networks. CoRR (2020)
Benjamin Braun, Julianne Vega
Hajós-Type Constructions and Neighborhood Complexes. SIAM J. Discret. Math. 34 (4) (2020)
Navid Amini, Jung S. Lim, Farnaz Mohammadi, Clinton Thodos, Benjamin Braun, Hassan Ghasemzadeh, Melissa W. Chun, Kouros Nouri-Mahdavi
Design and evaluation of a wearable assistive technology for hemianopic stroke patients. ISWC (2020)
Benjamin Braun, Brian Davis
Antichain Simplices. J. Integer Seq. 23 (1) (2020)
Benjamin Braun, Santiago de León, Kyle Franz, Sami Sultan
Base-b Representations. Am. Math. Mon. 126 (9) (2019)
Benjamin Braun, Wesley K. Hough
Homomorphism complexes and maximal chains in graded posets. Eur. J. Comb. 81 (2019)
Benjamin Braun, Hugo Corrales, Scott Corry, Luis David García-Puente, Darren B. Glass, Nathan Kaplan, Jeremy L. Martin, Gregg Musiker, Carlos E. Valencia
Counting arithmetical structures on paths and cycles. Discret. Math. 341 (10) (2018)
Benjamin Braun, Robert Davis, Liam Solus
Detecting the integer decomposition property and Ehrhart unimodality in reflexive simplices. Adv. Appl. Math. 100 (2018)
Benjamin Braun, Liam Solus
-Stable hypersimplices. J. Comb. Theory, Ser. A 157 (2018)
Benjamin Braun, McCabe Olsen
Euler-Mahonian statistics and descent bases for semigroup algebras. Eur. J. Comb. 69 (2018)
Benjamin Braun, Wesley K. Hough
Matching and Independence Complexes Related to Small Grids. Electron. J. Comb. 24 (4) (2017)
Heiner Litz, Benjamin Braun, David R. Cheriton
EXCITE-VM: Extending the Virtual Memory System to Support Snapshot Isolation Transactions. PACT (2016)
Matthias Beck, Benjamin Braun, Matthias Köppe, Carla D. Savage, Zafeirakis Zafeirakopoulos
Generating Functions and Triangulations for Lecture Hall Cones. SIAM J. Discret. Math. 30 (3) (2016)
Benjamin Braun, Sarah Crown Rundell
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes. Electron. J. Comb. 21 (2) (2014)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. SOSP (2013)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. IACR Cryptol. ePrint Arch. 2013 (2013)
Benjamin Braun, Robert Davis, Jessica Doering, Ashley Harrison, Jenna Noll, Clifford Taylor
Compositions Constrained by Graph Laplacian Minors. Integers 13 (2013)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. EuroSys (2013)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. USENIX Security Symposium (2012)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. IACR Cryptol. ePrint Arch. 2012 (2012)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking proof-based verified computation a few steps closer to practicality (extended version). IACR Cryptol. ePrint Arch. 2012 (2012)
Benjamin Braun
Independence Complexes of Stable Kneser Graphs. Electron. J. Comb. 18 (1) (2011)
Benjamin Braun, Richard Ehrenborg
The complex of non-crossing diagonals of a polygon. J. Comb. Theory, Ser. A 117 (6) (2010)
Benjamin Braun
Symmetries of the stable Kneser graphs. Adv. Appl. Math. 45 (1) (2010)
Benjamin Braun
Norm Bounds for Ehrhart Polynomial Roots. Discret. Comput. Geom. 39 (1-3) (2008)
Benjamin Braun
An Ehrhart Series Formula For Reflexive Polytopes. Electron. J. Comb. 13 (1) (2006)