The Impact of Entropy and Solution Density on Selected SAT Heuristics. - Dor Cohen; Ofer Strichman (Entropy, 2018)

Automated Repair of Neural Networks. - Dor Cohen; Ofer Strichman (CoRR, 2022)

Internet Computer as a Data Availability Layer. - Dor Cohen; Yvonne-Anne Pignolet; Ognjen Maric; Stefan Schmid 001 (ICBC, 2025)

Stitching the Story: Creating Panoramic Incident Summaries from Body-Worn Footage. - Dor Cohen; Inga Efrosman; Yehudit Aperstein; Alexander Apartsin (CoRR, 2025)