| 2023 | FUSION | Reinforcement Learning based Guidance Policy Optimization for a Swarm of Cooperative Sensor Platforms Tracking a Single Target. | Samuel Layer-Reiss, Alexander Zwenig, Carolyn Kalender, David Braun |
| 2021 | ISSAC | Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2018 | AISC | Formalizing Some "Small" Finite Models of Projective Geometry in Coq. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2011 | SC | Google web toolkit for OGCE gadget based architecture. | Zhenpeng Zhao, Jungha Woo, David Braun |
| 2009 | SC | Puffin: a fast and efficient web service-based condor job manager. | Jungha Woo, Jalaja Padma, Jae-Woo Lee, David Braun, Carol X. Song |
| 2005 | ICASSP | Parameter estimation for two synthetic gene networks: a case study. | David Braun, Subhayu Basu, Ron Weiss |
| 2002 | ISCC | IP address configuration algorithms for routerless and single-router zeroconf networks. | Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun |
| 2002 | ISCC | An IP address configuration algorithm for multi-router zeroconf networks. | Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun |