Ben Caldwell

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Query Language For Xml

Participatory Design

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq. CoRR (2024)
Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand
VyZX: Formal Verification of a Graphical Quantum Language. CoRR (2023)
Adrian Lehmann, Ben Caldwell, Robert Rand
VyZX : A Vision for Verifying the ZX Calculus. CoRR (2022)
Karl Baumann, Ben Caldwell, François Bar, Benjamin Stokes
Participatory Design Fiction: Community Storytelling for Speculative Urban Technologies. CHI Extended Abstracts (2018)
Karl Baumann, Benjamin Stokes, François Bar, Ben Caldwell
Infrastructures of the Imagination: Community Design for Speculative Urban Technologies. C&T (2017)
Karl Baumann, Benjamin Stokes, François Bar, Ben Caldwell
Designing in "constellations": sustaining participatory design for neighborhoods. PDC (2) (2016)
Ben Caldwell, Rachel Cardell-Oliver, Tim French
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Benjamin Stokes, François Bar, Karl Baumann, Ben Caldwell
Neighborhood Planning of Technology: Physical Meets Digital City from the Bottom-Up with Aging Payphones. J. Community Informatics 10 (3) (2014)