| 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 | 27 | 2019 |
| Functorial string diagrams for reverse-mode automatic differentiation M Alvarez-Picallo, DR Ghica, D Sprunger, F Zanasi arXiv preprint arXiv:2107.13433, 2021 | 16 | 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 | 15 | 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 | 11 | 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 | 9 | 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 |
| 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 |
| 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 | 4 | 2019 |
| 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 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 |
| 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 |
| Reparametrizing gradient descent D Sprunger arXiv preprint arXiv:2010.04786, 2020 | | 2020 |
| 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) A Simpson, A Gianola, S Kasangian, N Sabadini, J Adámek, S Milius, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |
Ichiro HasuoProfessor of Computer Science, National Institute of Informatics在 acm.org 的电子邮件经过验证
