Linearization of Automatic Arrays and Weave Specifications. - David Sprunger (MFPS, 2013)

Eigenvalues and Transduction of Morphic Sequences. - David Sprunger; William Tune; Jörg Endrullis; Lawrence S. Moss (Developments in Language Theory, 2014)

Eigenvalues and Transduction of Morphic Sequences: Extended Version. - David Sprunger; William Tune; Jörg Endrullis; Lawrence S. Moss (CoRR, 2014)

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. - David Sprunger; Lawrence S. Moss (CALCO, 2017)

Fibrational Bisimulations and Quantitative Reasoning. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (CMCS, 2018)

Quantitative bisimulations using coreflections and open morphisms. - Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger (CoRR, 2018)

A complete logic for behavioural equivalence in coalgebras of finitary set functors. - David Sprunger (J. Log. Algebraic Methods Program., 2018)

Relational differential dynamic logic: poster abstract. - Juraj Kolcák; Ichiro Hasuo; Jérémy Dubut; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (HSCC, 2019)

Differentiable Causal Computations via Delayed Trace. - David Sprunger; Shin-ya Katsumata (LICS, 2019)

The differential calculus of causal functions. - David Sprunger; Bart Jacobs 001 (CoRR, 2019)

Neural Nets via Forward State Transformation and Backward Loss Transformation. - Bart Jacobs 001; David Sprunger (MFPS, 2019)

Relational Differential Dynamic Logic. - Juraj Kolcák; Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (TACAS (1), 2020)

Reparametrizing gradient descent. - David Sprunger (CoRR, 2020)

Fibrational bisimulations and quantitative reasoning: Extended version. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (J. Log. Comput., 2021)

Rewriting for Monoidal Closed Categories. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (FSCD, 2022)

Full abstraction for digital circuits. - Dan R. Ghica; George Kaye; David Sprunger (CoRR, 2022)

Functorial String Diagrams for Reverse-Mode Automatic Differentiation. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (CSL, 2023)

Differentiable causal computations via delayed trace (extended version). - David Sprunger; Shin-ya Katsumata (Math. Struct. Comput. Sci., 2025)