David Sprunger

zbMath Opensprunger.davidMaRDI QIDQ265827

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
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	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	N/A	Paper

Research outcomes over time

This page was built for person: David Sprunger