Neighborhood Planning of Technology: Physical Meets Digital City from the Bottom-Up with Aging Payphones. - Benjamin Stokes; François Bar; Karl Baumann; Ben Caldwell (J. Community Informatics, 2014)

Designing in "constellations": sustaining participatory design for neighborhoods. - Karl Baumann; Benjamin Stokes; François Bar; Ben Caldwell (PDC (2), 2016)

Learning Time Delay Mealy Machines From Programmable Logic Controllers. - Ben Caldwell; Rachel Cardell-Oliver; Tim French 002 (IEEE Trans Autom. Sci. Eng., 2016)

Infrastructures of the Imagination: Community Design for Speculative Urban Technologies. - Karl Baumann; Benjamin Stokes; François Bar; Ben Caldwell (C&T, 2017)

Participatory Design Fiction: Community Storytelling for Speculative Urban Technologies. - Karl Baumann; Ben Caldwell; François Bar; Benjamin Stokes (CHI Extended Abstracts, 2018)

VyZX : A Vision for Verifying the ZX Calculus. - Adrian Lehmann; Ben Caldwell; Robert Rand 001 (CoRR, 2022)

VyZX: Formal Verification of a Graphical Quantum Language. - Adrian Lehmann; Ben Caldwell; Bhakti Shah; Robert Rand 001 (CoRR, 2023)

ViCAR: Visualizing Categories with Automated Rewriting in Coq. - Bhakti Shah; William Spencer; Laura Zielinski; Ben Caldwell; Adrian Lehmann; Robert Rand 001 (CoRR, 2024)