David Sprunger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete theory of sequential digital circuits: denotational, operational and algebraic semantics Logical Methods in Computer Science	2026-08-04	Paper
Differentiable causal computations via delayed trace (extended version) Mathematical Structures in Computer Science	2025-05-11	Paper
Differentiable causal computations via delayed trace	2024-12-19	Paper
Functorial string diagrams for reverse-mode automatic differentiation	2024-09-25	Paper
Rewriting for monoidal closed categories	2024-05-27	Paper
Relational differential dynamic logic Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Neural nets via forward state transformation and backward loss transformation (available as arXiv preprint)	2022-04-29	Paper
Fibrational bisimulations and quantitative reasoning: extended version Journal Of Logic And Computation	2021-10-21	Paper
Relational differential dynamic logic Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Differentiable Causal Computations via Delayed Trace	2019-03-04	Paper
Fibrational bisimulations and quantitative reasoning	2018-10-23	Paper
Precongruences and parametrized coinduction for logics for behavioral equivalence	2018-08-13	Paper
A complete logic for behavioural equivalence in coalgebras of finitary set functors Journal of Logical and Algebraic Methods in Programming	2017-12-01	Paper
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors Coalgebraic Methods in Computer Science	2016-07-15	Paper
Linearization of automatic arrays and weave specifications	2016-04-12	Paper
Eigenvalues and transduction of morphic sequences Developments in Language Theory	2014-10-14	Paper
A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: David Sprunger