What is character? - David Braun (J. Philos. Log., 1995)

Name-to-address translation algorithms for zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ICC, 2002)

IP address configuration algorithms for routerless and single-router zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ISCC, 2002)

An IP address configuration algorithm for multi-router zeroconf networks. - Cuneyt Akinlar; A. Udaya Shankar; Sarit Mukherjee; David Braun (ISCC, 2002)

Applicability of low water-mark mandatory access control security in Linux-based advanced networked consumer electronics. - Jinhong K. Guo; Stephen Johnson; David Braun; Il-Pyung Park (CCNC, 2004)

A framework to access networked appliances in wide area networks. - Mahfuzur Rahman; David Braun; Dennis Bushmitch (CCNC, 2005)

Parameter estimation for two synthetic gene networks: a case study. - David Braun; Subhayu Basu; Ron Weiss (ICASSP (5), 2005)

Peer-to-peer streaming for networked consumer electronics [Peer-to-Peer Multimedia Streaming]. - Sathya Narayanan; David Braun; John F. Buford; Robert S. Fish; Alexander D. Gelman; Alan Kaplan; Rajesh Khandelwal; Eunsoo Shim; Heather Yu (IEEE Commun. Mag., 2007)

UP2P: a peer-to-peer overlay architecture for ubiquitous communications and networking. - David Braun; John F. Buford; Robert S. Fish; Alexander D. Gelman; Alan Kaplan; Rajesh Khandelwal; Sathya Narayanan; Eunsoo Shim; Heather Yu (IEEE Commun. Mag., 2008)

Puffin: a fast and efficient web service-based condor job manager. - Jungha Woo; Jalaja Padma; Jae-Woo Lee; David Braun; Carol X. Song (SC-GCE, 2009)

Teaching Sustainability Analysis in Electrical Engineering Lab Courses. - David Braun (IEEE Trans. Educ., 2010)

Key performance indicator based calculations as a decision support for the tactical level. - Stefan Möllmann; David Braun; Hagen Engelmann; Wolfgang Raskob (ISCRAM, 2011)

Google web toolkit for OGCE gadget based architecture. - Zhenpeng Zhao; Jungha Woo; David Braun (SC-GCE, 2011)

A big data urban growth simulation at a national scale: Configuring the GIS and neural network based Land Transformation Model to run in a High Performance Computing (HPC) environment. - Bryan C. Pijanowski; Amin Tayyebi; Jarrod Doucette; Burak K. Pekin; David Braun; James Plourde (Environ. Model. Softw., 2014)

Towards a Certified Version of the Encyclopedia of Triangle Centers. - Julien Narboux; David Braun (Math. Comput. Sci., 2016)

Formalizing Some "Small" Finite Models of Projective Geometry in Coq. - David Braun; Nicolas Magaud; Pascal Schreck (AISC, 2018)

Two cryptomorphic formalizations of projective incidence geometry. - David Braun; Nicolas Magaud; Pascal Schreck (Ann. Math. Artif. Intell., 2019)

Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective. (Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry). - David Braun (2019)

A multiomics discriminatory analysis approach to identify drought-related signatures in maize nodal roots. - Sidharth Sen; Tyler McCubbin; Shannon K. King; Laura A. Greeley; Shuai Zeng; Cheyenne Baker; Rachel Mertz; Nicole D. Niehues; Jonathon T. Stemmle; Felix B. Fristchi; David Braun; Scott C. Peck; et al. (BIBM, 2020)

Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. - David Braun; Nicolas Magaud; Pascal Schreck (ISSAC, 2021)

DawDreamer: Bridging the Gap Between Digital Audio Workstations and Python Interfaces. - David Braun (CoRR, 2021)

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. - Pascal Schreck; Nicolas Magaud; David Braun (ADG, 2021)

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 (FUSION, 2023)

A Concept for Optimal Warehouse Allocation Using Contextual Multi-Arm Bandits. - Giulia Siciliano; David Braun; Korbinian Zöls; Johannes Fottner (ICEIS (1), 2023)

DAC-JAX: A JAX Implementation of the Descript Audio Codec. - David Braun (CoRR, 2024)

A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. - David Braun; Nicolas Magaud; Pascal Schreck (J. Autom. Reason., 2024)