Augmenting Planar Straight Line Graphs to 2-Edge-Connectivity. - Hugo Alves Akitaya; Jonathan Castello; Yauheniya Lahoda; Anika Rounds; Csaba D. Tóth (GD, 2015)

CRDTs, Coalgebraically (Early Ideas). - Nathan Liittschwager; Stelios Tsampas 001; Jonathan Castello; Lindsey Kuper (CALCO, 2023)

Inductive Diagrams for Causal Reasoning. - Jonathan Castello; Patrick Redmond; Lindsey Kuper (Proc. ACM Program. Lang., 2024)

CRDT Emulation, Simulation, and Representation Independence. - Nathan Liittschwager; Jonathan Castello; Stelios Tsampas 001; Lindsey Kuper (CoRR, 2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern. - Patrick Redmond; Jonathan Castello; José Manuel Calderón Trilla; Lindsey Kuper (CoRR, 2025)