Compiler Correctness for Concurrent Languages. - David S. Gladstein; Mitchell Wand (COORDINATION, 1996)

3D barcodes: theoretical aspects and practical implementation. - David S. Gladstein; Ramakrishna Kakarala; Zachi Baharav (Image Processing: Machine Vision Applications, 2015)

User Exploration of Search Space Using Tradeoffs. - Zachi Baharav; David S. Gladstein (HCI (28), 2015)