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 | 31 | 2019 |
Functorial string diagrams for reverse-mode automatic differentiation M Alvarez-Picallo, DR Ghica, D Sprunger, F Zanasi arXiv preprint arXiv:2107.13433, 2021 | 18 | 2021 |
Fibrational bisimulations and quantitative reasoning D Sprunger, S Katsumata, J Dubut, I Hasuo Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International …, 2018 | 17 | 2018 |
Rewriting for monoidal closed categories M Alvarez-Picallo, D Ghica, D Sprunger, F Zanasi 7th International Conference on Formal Structures for Computation and …, 2022 | 12 | 2022 |
The differential calculus of causal functions D Sprunger, B Jacobs arXiv preprint arXiv:1904.10611, 2019 | 11 | 2019 |
Fibrational bisimulations and quantitative reasoning: Extended version D Sprunger, S Katsumata, J Dubut, I Hasuo Journal of Logic and Computation 31 (6), 1526-1559, 2021 | 10 | 2021 |
Neural nets via forward state transformation and backward loss transformation B Jacobs, D Sprunger Electronic Notes in Theoretical Computer Science 347, 161-177, 2019 | 9 | 2019 |
Full abstraction for digital circuits DR Ghica, G Kaye, D Sprunger arXiv preprint arXiv:2201.10456 3, 2022 | 5 | 2022 |
Relational differential dynamic logic J Kolčák, I Hasuo, J Dubut, S Katsumata, D Sprunger, A Yamada Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 5 | 2019 |
Eigenvalues and transduction of morphic sequences D Sprunger, W Tune, J Endrullis, LS Moss Developments in Language Theory: 18th International Conference, DLT 2014 …, 2014 | 5 | 2014 |
A compositional theory of digital circuits DR Ghica, G Kaye, D Sprunger arXiv preprint arXiv:2201.10456, 2022 | 4 | 2022 |
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 | 4 | 2017 |
A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics DR Ghica, G Kaye, D Sprunger arXiv preprint arXiv:2201.10456, 2022 | 2 | 2022 |
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 | 2 | 2018 |
Eigenvalues and transduction of morphic sequences: Extended version D Sprunger, W Tune, J Endrullis, LS Moss arXiv preprint arXiv:1406.1754, 2014 | 2 | 2014 |
Quantitative bisimulations using coreflections and open morphisms J Dubut, I Hasuo, S Katsumata, D Sprunger arXiv preprint arXiv:1809.09278, 2018 | 1 | 2018 |
Linearization of automatic arrays and weave specifications D Sprunger Electronic Notes in Theoretical Computer Science 298, 349-365, 2013 | 1 | 2013 |
31st EACSL Annual Conference on Computer Science Logic (CSL 2023) C Faggian, N Gierasimczuk, D Miller, JH Wu, D Sangiorgi, B Afshari, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
Fully abstract categorical semantics for digital circuits Extended abstract G Kaye, D Sprunger, DR Ghica | | 2022 |
Normalisation by evaluation for digital circuits G Kaye, DR Ghica, D Sprunger | | 2021 |