David A Sprunger
Title
Cited by
Cited by
Year
Differentiable causal computations via delayed trace
D Sprunger, S Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
92019
The differential calculus of causal functions
D Sprunger, B Jacobs
arXiv preprint arXiv:1904.10611, 2019
62019
Fibrational bisimulations and quantitative reasoning
D Sprunger, S Katsumata, J Dubut, I Hasuo
International Workshop on Coalgebraic Methods in Computer Science, 190-213, 2018
62018
Neural nets via forward state transformation and backward loss transformation
B Jacobs, D Sprunger
Electronic Notes in Theoretical Computer Science 347, 161-177, 2019
42019
Eigenvalues and transduction of morphic sequences
D Sprunger, W Tune, J Endrullis, LS Moss
International Conference on Developments in Language Theory, 239-251, 2014
32014
Relational differential dynamic logic
J Kolčák, J Dubut, I Hasuo, S Katsumata, D Sprunger, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2020
22020
A complete logic for behavioural equivalence in coalgebras of finitary set functors
D Sprunger
Journal of logical and algebraic methods in programming 94, 184-199, 2018
22018
Precongruences and parametrized coinduction for logics for behavioral equivalence
D Sprunger, LS Moss
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
22017
Eigenvalues and transduction of morphic sequences: Extended version
D Sprunger, W Tune, J Endrullis, LS Moss
arXiv preprint arXiv:1406.1754, 2014
22014
Linearization of Automatic Arrays and Weave Specifications
D Sprunger
Electronic Notes in Theoretical Computer Science 298, 349-365, 2013
12013
Reparametrizing gradient descent
D Sprunger
arXiv preprint arXiv:2010.04786, 2020
2020
Quantitative bisimulations using coreflections and open morphisms
J Dubut, I Hasuo, S Katsumata, D Sprunger
arXiv preprint arXiv:1809.09278, 2018
2018
Logics for Coalgebras of Finitary Set Functors
D Sprunger
Indiana University, 2017
2017
Linearization of Automatic Arrays, Weave Specifications, and Variadic Sequences
D Sprunger
2013
Adjoint Functors in Automata Theory
D Sprunger
Department of Mathematics, Princeton University, 2011
2011
Japanese-French Laboratory for Informatics collection
J Kolčák, J Dubut, I Hasuo, SY Katsumata, D Sprunger
The system can't perform the operation now. Try again later.
Articles 1–16