Benjamin Braun

36 papers A* 2A 1B 1Misc 1Journal 31
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ehrhart limits.
Ars Math. Contemp.
Benjamin Braun, McCabe Olsen
2025 J jnl
Equatorial Flow Triangulations of Gorenstein Flow Polytopes.
Electron. J. Comb.
Benjamin Braun, Alvaro Cornejo
2025 J jnl
LLMDistill4Ads: Using Cross-Encoders to Distill from LLM Signals for Advertiser Keyphrase Recommendations at eBay.
CoRR
Soumik Dey, Benjamin Braun, Naveen Ravipati, Hansi Wu, Binbin Li
2025 J jnl
Volume inequalities for flow polytopes of full directed acyclic graphs.
Comb. Theory
Benjamin Braun, James Ford McElroy
2023 J jnl
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering.
Discret. Math. Theor. Comput. Sci.
Benjamin Braun, Kaitlin Bruegge, Matthew Kahle
2022 J jnl
Decompositions of Ehrhart h
Discret. Comput. Geom.
Matthias Beck, Benjamin Braun, Andrés R. Vindas-Meléndez
2022 J jnl
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.
Benjamin Braun
2022 J jnl
Triangulations, Order Polytopes, and Generalized Snake Posets.
Comb. Theory
Matias von Bell, Benjamin Braun, Derek Hanely, Khrystyna Serhiyenko, Julianne Vega, Andrés R. Vindas-Meléndez, Martha Yip
2021 J jnl
h*-Polynomials with Roots on the Unit Circle.
Exp. Math.
Benjamin Braun, Fu Liu
2020 J jnl
Antichain Simplices.
J. Integer Seq.
Benjamin Braun, Brian Davis
2020 Misc conf
Design and evaluation of a wearable assistive technology for hemianopic stroke patients.
ISWC
Navid Amini, Jung Soo Lim, Farnaz Mohammadi, Clinton Thodos, Benjamin Braun, Hassan Ghasemzadeh, Melissa W. Chun, Kouros Nouri-Mahdavi
2020 J jnl
Hajós-Type Constructions and Neighborhood Complexes.
SIAM J. Discret. Math.
Benjamin Braun, Julianne Vega
2020 J jnl
Laplacian simplices.
Adv. Appl. Math.
Benjamin Braun, Marie Meyer
2020 J jnl
Phase transitions and social distancing control measures for SARS-CoV-2 on small world networks.
CoRR
Benjamin Braun, Basak Taraktas, Brian Beckage, Jane Molofsky
2020 J jnl
The TRaCaR Ratio: Selecting the Right Storage Technology for Active Dataset-Serving Databases.
CoRR
Francisco Romero, Benjamin Braun, David R. Cheriton
2019 J jnl
Base-b Representations.
Am. Math. Mon.
Benjamin Braun, Santiago de Leon-Martinez, Kyle Franz, Sami Sultan
2019 J jnl
Homomorphism complexes and maximal chains in graded posets.
Eur. J. Comb.
Benjamin Braun, Wesley K. Hough
2018 J jnl
Counting arithmetical structures on paths and cycles.
Discret. Math.
Benjamin Braun, Hugo Corrales, Scott Corry, Luis David García-Puente, Darren B. Glass, Nathan Kaplan, Jeremy L. Martin, Gregg Musiker, Carlos E. Valencia
2018 J jnl
Detecting the integer decomposition property and Ehrhart unimodality in reflexive simplices.
Adv. Appl. Math.
Benjamin Braun, Robert Davis, Liam Solus
2018 J jnl
Euler-Mahonian statistics and descent bases for semigroup algebras.
Eur. J. Comb.
Benjamin Braun, McCabe Olsen
2017 J jnl
Matching and Independence Complexes Related to Small Grids.
Electron. J. Comb.
Benjamin Braun, Wesley K. Hough
2016 B conf
EXCITE-VM: Extending the Virtual Memory System to Support Snapshot Isolation Transactions.
PACT
Heiner Litz, Benjamin Braun, David R. Cheriton
2016 J jnl
Generating Functions and Triangulations for Lecture Hall Cones.
SIAM J. Discret. Math.
Matthias Beck, Benjamin Braun, Matthias Köppe, Carla D. Savage, Zafeirakis Zafeirakopoulos
2014 J jnl
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes.
Electron. J. Comb.
Benjamin Braun, Sarah Crown Rundell
2013 J jnl
Compositions Constrained by Graph Laplacian Minors.
Integers
Benjamin Braun, Robert Davis, Jessica Doering, Ashley Harrison, Jenna Noll, Clifford Taylor
2013 A conf
Resolving the conflict between generality and plausibility in verified computation.
EuroSys
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2013 A* conf
Verifying computations with state.
SOSP
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 J jnl
Verifying computations with state.
IACR Cryptol. ePrint Arch.
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Resolving the conflict between generality and plausibility in verified computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2012 A* conf
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
USENIX Security Symposium
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Taking proof-based verified computation a few steps closer to practicality (extended version).
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2011 J jnl
Independence Complexes of Stable Kneser Graphs.
Electron. J. Comb.
Benjamin Braun
2010 J jnl
Symmetries of the stable Kneser graphs.
Adv. Appl. Math.
Benjamin Braun
2010 J jnl
The complex of non-crossing diagonals of a polygon.
J. Comb. Theory A
Benjamin Braun, Richard Ehrenborg
2008 J jnl
Norm Bounds for Ehrhart Polynomial Roots.
Discret. Comput. Geom.
Benjamin Braun
2006 J jnl
An Ehrhart Series Formula For Reflexive Polytopes.
Electron. J. Comb.
Benjamin Braun