Jonathan Castello

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 3

Top Topics

Inductive Reasoning

Graphical Representations

Causal Reasoning

Directed Acyclic Graph

Top Venues

Proc. ACM Program. Lang.

Publications

Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive Diagrams for Causal Reasoning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive diagrams for causal reasoning. CoRR (2023)
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper
CRDTs, Coalgebraically (Early Ideas). CALCO (2023)
Hugo Alves Akitaya, Jonathan Castello, Yauheniya Lahoda, Anika Rounds, Csaba D. Tóth
Augmenting Planar Straight Line Graphs to 2-Edge-Connectivity. Graph Drawing (2015)