Ben Caldwell

According to our database, Ben Caldwell authored at least 7 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

VyZX: Formal Verification of a Graphical Quantum Language.

Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand

CoRR, 2023

2022

VyZX : A Vision for Verifying the ZX Calculus.

Adrian Lehmann, Ben Caldwell, Robert Rand

CoRR, 2022

2018

Participatory Design Fiction: Community Storytelling for Speculative Urban Technologies.

Karl Baumann, Ben Caldwell, François Bar, Benjamin Stokes

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Infrastructures of the Imagination: Community Design for Speculative Urban Technologies.

Karl Baumann, Benjamin Stokes, François Bar, Ben Caldwell

Proceedings of the 8th International Conference on Communities and Technologies, Troyes, France, June 26, 2017

2016

Learning Time Delay Mealy Machines From Programmable Logic Controllers.

Ben Caldwell, Rachel Cardell-Oliver, Tim French

IEEE Trans Autom. Sci. Eng., 2016

Designing in "constellations": sustaining participatory design for neighborhoods.

Karl Baumann, Benjamin Stokes, François Bar, Ben Caldwell

Proceedings of the 14th Participatory Design Conference PDC '16, Aarhus, Denmark, August 15-19, 2016, Volume 2, 2016

2014

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