Benjamin Braun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISWC | Design and evaluation of a wearable assistive technology for hemianopic stroke patients. | Navid Amini, Jung Soo Lim, Farnaz Mohammadi, Clinton Thodos, Benjamin Braun, Hassan Ghasemzadeh, Melissa W. Chun, Kouros Nouri-Mahdavi |
| 2013 | EuroSys | Resolving the conflict between generality and plausibility in verified computation. | Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish |
| 2013 | SOSP | Verifying computations with state. | Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |