Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Shin-ya Katsumata
@article{DBLP:journals/jlap/HasuoOESCK24, author = {Ichiro Hasuo and Yuichiro Oyabu and Clovis Eberhart and Kohei Suenaga and Kenta Cho and Shin{-}ya Katsumata}, title = {Control-data separation and logical condition propagation for efficient inference on probabilistic programs}, journal = {J. Log. Algebraic Methods Program.}, volume = {136}, pages = {100922}, year = {2024}, url = {https://doi.org/10.1016/j.jlamp.2023.100922}, doi = {10.1016/J.JLAMP.2023.100922}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/HasuoOESCK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/0001K23, author = {Tetsuya Sato and Shin{-}ya Katsumata}, title = {Divergences on monads for relational program logics}, journal = {Math. Struct. Comput. Sci.}, volume = {33}, number = {4-5}, pages = {427--485}, year = {2023}, url = {https://doi.org/10.1017/s0960129523000245}, doi = {10.1017/S0960129523000245}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/0001K23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2309-08822, author = {Shin{-}ya Katsumata and Xavier Rival and J{\'{e}}r{\'{e}}my Dubut}, editor = {Marie Kerjean and Paul Blain Levy}, title = {A Categorical Framework for Program Semantics and Semantic Abstraction}, booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023}, series = {{EPTICS}}, volume = {3}, publisher = {EpiSciences}, year = {2023}, url = {https://doi.org/10.46298/entics.12288}, doi = {10.46298/ENTICS.12288}, timestamp = {Wed, 03 Jan 2024 15:36:41 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-08822.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/NishizawaKK22, author = {Koki Nishizawa and Shin{-}ya Katsumata and Yuichi Komorida}, title = {Stone dualities from opfibrations}, journal = {J. Log. Algebraic Methods Program.}, volume = {127}, pages = {100773}, year = {2022}, url = {https://doi.org/10.1016/j.jlamp.2022.100773}, doi = {10.1016/J.JLAMP.2022.100773}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/NishizawaKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/AguirreKK22, author = {Alejandro Aguirre and Shin{-}ya Katsumata and Satoshi Kura}, title = {Weakest preconditions in fibrations}, journal = {Math. Struct. Comput. Sci.}, volume = {32}, number = {4}, pages = {472--510}, year = {2022}, url = {https://doi.org/10.1017/S0960129522000330}, doi = {10.1017/S0960129522000330}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/AguirreKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/KomoridaKHKHEH22, author = {Yuichi Komorida and Shin{-}ya Katsumata and Nick Hu and Bartek Klin and Samuel Humeau and Clovis Eberhart and Ichiro Hasuo}, title = {Codensity Games for Bisimilarity}, journal = {New Gener. Comput.}, volume = {40}, number = {2}, pages = {403--465}, year = {2022}, url = {https://doi.org/10.1007/s00354-022-00186-y}, doi = {10.1007/S00354-022-00186-Y}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ngc/KomoridaKHKHEH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KatsumataMUW22, author = {Shin{-}ya Katsumata and Dylan McDermott and Tarmo Uustalu and Nicolas Wu}, title = {Flexible presentations of graded monads}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{ICFP}}, pages = {902--930}, year = {2022}, url = {https://doi.org/10.1145/3547654}, doi = {10.1145/3547654}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/KatsumataMUW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KammarKS22, author = {Ohad Kammar and Shin{-}ya Katsumata and Philip Saville}, title = {Fully abstract models for effectful {\(\lambda\)}-calculi via category-theoretic logical relations}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{POPL}}, pages = {1--28}, year = {2022}, url = {https://doi.org/10.1145/3498705}, doi = {10.1145/3498705}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KammarKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KoriUKSH22, author = {Mayuko Kori and Natsuki Urabe and Shin{-}ya Katsumata and Kohei Suenaga and Ichiro Hasuo}, editor = {Sharon Shoham and Yakir Vizel}, title = {The Lattice-Theoretic Essence of Property Directed Reachability Analysis}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13371}, pages = {235--256}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13185-1\_12}, doi = {10.1007/978-3-031-13185-1\_12}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/KoriUKSH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/MotouraK22, author = {Shota Motoura and Shin{-}ya Katsumata}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {On Inverse Operators in Dynamic Epistemic Logic}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13137}, pages = {217--235}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-93100-1\_14}, doi = {10.1007/978-3-030-93100-1\_14}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lfcs/MotouraK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-14261, author = {Mayuko Kori and Natsuki Urabe and Shin{-}ya Katsumata and Kohei Suenaga and Ichiro Hasuo}, title = {The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis}, journal = {CoRR}, volume = {abs/2203.14261}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.14261}, doi = {10.48550/ARXIV.2203.14261}, eprinttype = {arXiv}, eprint = {2203.14261}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-14261.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-05716, author = {Tetsuya Sato and Shin{-}ya Katsumata}, title = {Divergences on Monads for Relational Program Logics}, journal = {CoRR}, volume = {abs/2206.05716}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.05716}, doi = {10.48550/ARXIV.2206.05716}, eprinttype = {arXiv}, eprint = {2206.05716}, timestamp = {Mon, 20 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-05716.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/SprungerKDH21, author = {David Sprunger and Shin{-}ya Katsumata and J{\'{e}}r{\'{e}}my Dubut and Ichiro Hasuo}, title = {Fibrational bisimulations and quantitative reasoning: Extended version}, journal = {J. Log. Comput.}, volume = {31}, number = {6}, pages = {1526--1559}, year = {2021}, url = {https://doi.org/10.1093/logcom/exab051}, doi = {10.1093/LOGCOM/EXAB051}, timestamp = {Wed, 29 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/SprungerKDH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AguirreBGGKS21, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin{-}ya Katsumata and Tetsuya Sato}, title = {Higher-order probabilistic adversarial computations: categorical semantics and program logics}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{ICFP}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3473598}, doi = {10.1145/3473598}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AguirreBGGKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KoriHK21, author = {Mayuko Kori and Ichiro Hasuo and Shin{-}ya Katsumata}, editor = {Serge Haddad and Daniele Varacca}, title = {Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {21:1--21:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.21}, doi = {10.4230/LIPICS.CONCUR.2021.21}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/KoriHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/GaboardiKOS21, author = {Marco Gaboardi and Shin{-}ya Katsumata and Dominic Orchard and Tetsuya Sato}, editor = {Nobuko Yoshida}, title = {Graded Hoare Logic and its Categorical Semantics}, booktitle = {Programming Languages and Systems - 30th European Symposium on Programming, {ESOP} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12648}, pages = {234--263}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72019-3\_9}, doi = {10.1007/978-3-030-72019-3\_9}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/GaboardiKOS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FukiharaK21, author = {Yoji Fukihara and Shin{-}ya Katsumata}, editor = {Stefan Kiefer and Christine Tasson}, title = {Generalized Bounded Linear Logic and its Categorical Semantics}, booktitle = {Foundations of Software Science and Computation Structures - 24th International Conference, {FOSSACS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12650}, pages = {226--246}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71995-1\_12}, doi = {10.1007/978-3-030-71995-1\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/FukiharaK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KomoridaKKRH21, author = {Yuichi Komorida and Shin{-}ya Katsumata and Clemens Kupke and Jurriaan Rot and Ichiro Hasuo}, title = {Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation}, booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021}, pages = {1--14}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/LICS52264.2021.9470656}, doi = {10.1109/LICS52264.2021.9470656}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KomoridaKKRH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/KobayashiSHCIK21, author = {Tsutomu Kobayashi and Rick Salay and Ichiro Hasuo and Krzysztof Czarnecki and Fuyuki Ishikawa and Shin{-}ya Katsumata}, editor = {Aaron Dutle and Mariano M. Moscato and Laura Titolo and C{\'{e}}sar A. Mu{\~{n}}oz and Ivan Perez}, title = {Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty}, booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021, Virtual Event, May 24-28, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12673}, pages = {198--213}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-76384-8\_13}, doi = {10.1007/978-3-030-76384-8\_13}, timestamp = {Wed, 20 Sep 2023 15:15:29 +0200}, biburl = {https://dblp.org/rec/conf/nfm/KobayashiSHCIK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/Eberhart0KKKHI21, author = {Clovis Eberhart and Akihisa Yamada and Stefan Klikovits and Shin{-}ya Katsumata and Tsutomu Kobayashi and Ichiro Hasuo and Fuyuki Ishikawa}, editor = {Fr{\'{e}}d{\'{e}}ric Loulergue and Franz Wotawa}, title = {Architecture-Guided Test Resource Allocation via Logic}, booktitle = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12740}, pages = {22--38}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79379-1\_2}, doi = {10.1007/978-3-030-79379-1\_2}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tap/Eberhart0KKKHI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-01502, author = {Ichiro Hasuo and Yuichiro Oyabu and Clovis Eberhart and Kohei Suenaga and Kenta Cho and Shin{-}ya Katsumata}, title = {Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs}, journal = {CoRR}, volume = {abs/2101.01502}, year = {2021}, url = {https://arxiv.org/abs/2101.01502}, eprinttype = {arXiv}, eprint = {2101.01502}, timestamp = {Sat, 30 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-01502.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-04817, author = {Mayuko Kori and Ichiro Hasuo and Shin{-}ya Katsumata}, title = {Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down}, journal = {CoRR}, volume = {abs/2105.04817}, year = {2021}, url = {https://arxiv.org/abs/2105.04817}, eprinttype = {arXiv}, eprint = {2105.04817}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-04817.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-10164, author = {Yuichi Komorida and Shin{-}ya Katsumata and Clemens Kupke and Jurriaan Rot and Ichiro Hasuo}, title = {Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation}, journal = {CoRR}, volume = {abs/2105.10164}, year = {2021}, url = {https://arxiv.org/abs/2105.10164}, eprinttype = {arXiv}, eprint = {2105.10164}, timestamp = {Mon, 31 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-10164.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-01155, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin{-}ya Katsumata and Tetsuya Sato}, title = {Higher-order probabilistic adversarial computations: Categorical semantics and program logics}, journal = {CoRR}, volume = {abs/2107.01155}, year = {2021}, url = {https://arxiv.org/abs/2107.01155}, eprinttype = {arXiv}, eprint = {2107.01155}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-01155.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-10948, author = {Clovis Eberhart and Akihisa Yamada and Stefan Klikovits and Shin{-}ya Katsumata and Tsutomu Kobayashi and Ichiro Hasuo and Fuyuki Ishikawa}, title = {Architecture-Guided Test Resource Allocation Via Logic}, journal = {CoRR}, volume = {abs/2107.10948}, year = {2021}, url = {https://arxiv.org/abs/2107.10948}, eprinttype = {arXiv}, eprint = {2107.10948}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-10948.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-07509, author = {Tsutomu Kobayashi and Rick Salay and Ichiro Hasuo and Krzysztof Czarnecki and Fuyuki Ishikawa and Shin{-}ya Katsumata}, title = {Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty}, journal = {CoRR}, volume = {abs/2108.07509}, year = {2021}, url = {https://arxiv.org/abs/2108.07509}, eprinttype = {arXiv}, eprint = {2108.07509}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-07509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/NishizawaKK20, author = {Koki Nishizawa and Shin{-}ya Katsumata and Yuichi Komorida}, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Stone Dualities from Opfibrations}, booktitle = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, pages = {221--236}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2\_14}, doi = {10.1007/978-3-030-43520-2\_14}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KatsumataRU20, author = {Shin{-}ya Katsumata and Exequiel Rivas and Tarmo Uustalu}, editor = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller}, title = {Interaction Laws of Monads and Comonads}, booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020}, pages = {604--618}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3373718.3394808}, doi = {10.1145/3373718.3394808}, timestamp = {Sat, 30 Sep 2023 09:52:07 +0200}, biburl = {https://dblp.org/rec/conf/lics/KatsumataRU20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/AguirreK20, author = {Alejandro Aguirre and Shin{-}ya Katsumata}, editor = {Patricia Johann}, title = {Weakest Preconditions in Fibrations}, booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2020, Online, October 1, 2020}, series = {Electronic Notes in Theoretical Computer Science}, volume = {352}, pages = {5--27}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.entcs.2020.09.002}, doi = {10.1016/J.ENTCS.2020.09.002}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfps/AguirreK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KolcakDHKS020, author = {Juraj Kolc{\'{a}}k and J{\'{e}}r{\'{e}}my Dubut and Ichiro Hasuo and Shin{-}ya Katsumata and David Sprunger and Akihisa Yamada}, editor = {Armin Biere and David Parker}, title = {Relational Differential Dynamic Logic}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12078}, pages = {191--208}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45190-5\_11}, doi = {10.1007/978-3-030-45190-5\_11}, timestamp = {Fri, 14 May 2021 08:34:17 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KolcakDHKS020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-11235, author = {Marco Gaboardi and Shin{-}ya Katsumata and Dominic Orchard and Tetsuya Sato}, title = {Graded Hoare Logic and its Categorical Semantics}, journal = {CoRR}, volume = {abs/2007.11235}, year = {2020}, url = {https://arxiv.org/abs/2007.11235}, eprinttype = {arXiv}, eprint = {2007.11235}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-11235.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/WissmannDKH19, author = {Thorsten Wi{\ss}mann and J{\'{e}}r{\'{e}}my Dubut and Shin{-}ya Katsumata and Ichiro Hasuo}, editor = {Mikolaj Bojanczyk and Alex Simpson}, title = {Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching}, booktitle = {Foundations of Software Science and Computation Structures - 22nd International Conference, {FOSSACS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11425}, pages = {523--540}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17127-8\_30}, doi = {10.1007/978-3-030-17127-8\_30}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/WissmannDKH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KolcakHDKSY19, author = {Juraj Kolc{\'{a}}k and Ichiro Hasuo and J{\'{e}}r{\'{e}}my Dubut and Shin{-}ya Katsumata and David Sprunger and Akihisa Yamada}, editor = {Necmiye Ozay and Pavithra Prabhakar}, title = {Relational differential dynamic logic: poster abstract}, booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April 16-18, 2019}, pages = {284--285}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3302504.3313362}, doi = {10.1145/3302504.3313362}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/KolcakHDKSY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AmorimGHK19, author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Probabilistic Relational Reasoning via Metrics}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--19}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785715}, doi = {10.1109/LICS.2019.8785715}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/AmorimGHK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KomoridaKHKH19, author = {Yuichi Komorida and Shin{-}ya Katsumata and Nick Hu and Bartek Klin and Ichiro Hasuo}, title = {Codensity Games for Bisimilarity}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--13}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785691}, doi = {10.1109/LICS.2019.8785691}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/KomoridaKHKH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SatoBGHK19, author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--14}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785668}, doi = {10.1109/LICS.2019.8785668}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/SatoBGHK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SprungerK19, author = {David Sprunger and Shin{-}ya Katsumata}, title = {Differentiable Causal Computations via Delayed Trace}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--12}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785670}, doi = {10.1109/LICS.2019.8785670}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/SprungerK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-00153, author = {Juraj Kolc{\'{a}}k and Ichiro Hasuo and J{\'{e}}r{\'{e}}my Dubut and Shin{-}ya Katsumata and David Sprunger and Akihisa Yamada}, title = {Relational Differential Dynamic Logic}, journal = {CoRR}, volume = {abs/1903.00153}, year = {2019}, url = {http://arxiv.org/abs/1903.00153}, eprinttype = {arXiv}, eprint = {1903.00153}, timestamp = {Sun, 12 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-00153.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-01093, author = {David Sprunger and Shin{-}ya Katsumata}, title = {Differentiable Causal Computations via Delayed Trace}, journal = {CoRR}, volume = {abs/1903.01093}, year = {2019}, url = {http://arxiv.org/abs/1903.01093}, eprinttype = {arXiv}, eprint = {1903.01093}, timestamp = {Sat, 30 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-01093.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-09634, author = {Yuichi Komorida and Shin{-}ya Katsumata and Nick Hu and Bartek Klin and Ichiro Hasuo}, title = {Codensity Games for Bisimilarity}, journal = {CoRR}, volume = {abs/1907.09634}, year = {2019}, url = {http://arxiv.org/abs/1907.09634}, eprinttype = {arXiv}, eprint = {1907.09634}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-09634.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-13477, author = {Shin{-}ya Katsumata and Exequiel Rivas and Tarmo Uustalu}, title = {Interaction laws of monads and comonads}, journal = {CoRR}, volume = {abs/1912.13477}, year = {2019}, url = {http://arxiv.org/abs/1912.13477}, eprinttype = {arXiv}, eprint = {1912.13477}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-13477.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/KatsumataSU18, author = {Shin{-}ya Katsumata and Tetsuya Sato and Tarmo Uustalu}, title = {Codensity Lifting of Monads and its Dual}, journal = {Log. Methods Comput. Sci.}, volume = {14}, number = {4}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(4:6)2018}, doi = {10.23638/LMCS-14(4:6)2018}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/KatsumataSU18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmcs/SprungerKDH18, author = {David Sprunger and Shin{-}ya Katsumata and J{\'{e}}r{\'{e}}my Dubut and Ichiro Hasuo}, editor = {Corina C{\^{\i}}rstea}, title = {Fibrational Bisimulations and Quantitative Reasoning}, booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11202}, pages = {190--213}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00389-0\_11}, doi = {10.1007/978-3-030-00389-0\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cmcs/SprungerKDH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Katsumata18, author = {Shin{-}ya Katsumata}, editor = {Christel Baier and Ugo Dal Lago}, title = {A Double Category Theoretic Analysis of Graded Linear Exponential Comonads}, booktitle = {Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10803}, pages = {110--127}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89366-2\_6}, doi = {10.1007/978-3-319-89366-2\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Katsumata18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-05091, author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Metric Semantics for Probabilistic Relational Reasoning}, journal = {CoRR}, volume = {abs/1807.05091}, year = {2018}, url = {http://arxiv.org/abs/1807.05091}, eprinttype = {arXiv}, eprint = {1807.05091}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-05091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-09278, author = {J{\'{e}}r{\'{e}}my Dubut and Ichiro Hasuo and Shin{-}ya Katsumata and David Sprunger}, title = {Quantitative bisimulations using coreflections and open morphisms}, journal = {CoRR}, volume = {abs/1809.09278}, year = {2018}, url = {http://arxiv.org/abs/1809.09278}, eprinttype = {arXiv}, eprint = {1809.09278}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-09278.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-07972, author = {Shin{-}ya Katsumata and Tetsuya Sato and Tarmo Uustalu}, title = {Codensity Lifting of Monads and its Dual}, journal = {CoRR}, volume = {abs/1810.07972}, year = {2018}, url = {http://arxiv.org/abs/1810.07972}, eprinttype = {arXiv}, eprint = {1810.07972}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-07972.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-12294, author = {Thorsten Wi{\ss}mann and J{\'{e}}r{\'{e}}my Dubut and Shin{-}ya Katsumata and Ichiro Hasuo}, title = {Path category for free - Open morphisms from coalgebras with non-deterministic branching}, journal = {CoRR}, volume = {abs/1811.12294}, year = {2018}, url = {http://arxiv.org/abs/1811.12294}, eprinttype = {arXiv}, eprint = {1811.12294}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-12294.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AmorimGHKC17, author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata and Ikram Cherigui}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {A semantic account of metric preservation}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {545--556}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009890}, doi = {10.1145/3009837.3009890}, timestamp = {Mon, 05 Feb 2024 20:33:37 +0100}, biburl = {https://dblp.org/rec/conf/popl/AmorimGHKC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AmorimGHKC17, author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata and Ikram Cherigui}, title = {A Semantic Account of Metric Preservation}, journal = {CoRR}, volume = {abs/1702.00374}, year = {2017}, url = {http://arxiv.org/abs/1702.00374}, eprinttype = {arXiv}, eprint = {1702.00374}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AmorimGHKC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-09010, author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Reasoning about Divergences for Relaxations of Differential Privacy}, journal = {CoRR}, volume = {abs/1710.09010}, year = {2017}, url = {http://arxiv.org/abs/1710.09010}, eprinttype = {arXiv}, eprint = {1710.09010}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-09010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/shonan-reports/GaboardiK17, author = {Marco Gaboardi and Shin{-}ya Katsumata}, title = {Semantics of Effects, Resources, and Applications {(NII} Shonan Meeting 2017-4)}, journal = {{NII} Shonan Meet. Rep.}, volume = {2017}, year = {2017}, url = {https://shonan.nii.ac.jp/seminars/103/}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/shonan-reports/GaboardiK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/shonan-reports/KatsumataPR17, author = {Shin{-}ya Katsumata and Damien Pous and Jan Rutten}, title = {Enhanced coinduction {(NII} Shonan Meeting 2017-17)}, journal = {{NII} Shonan Meet. Rep.}, volume = {2017}, year = {2017}, url = {https://shonan.nii.ac.jp/seminars/097/}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/shonan-reports/KatsumataPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FujiiKM16, author = {Soichiro Fujii and Shin{-}ya Katsumata and Paul{-}Andr{\'{e}} Melli{\`{e}}s}, editor = {Bart Jacobs and Christof L{\"{o}}ding}, title = {Towards a Formal Theory of Graded Monads}, booktitle = {Foundations of Software Science and Computation Structures - 19th International Conference, {FOSSACS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9634}, pages = {513--530}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49630-5\_30}, doi = {10.1007/978-3-662-49630-5\_30}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/FujiiKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/GaboardiKOBU16, author = {Marco Gaboardi and Shin{-}ya Katsumata and Dominic A. Orchard and Flavien Breuvart and Tarmo Uustalu}, editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii}, title = {Combining effects and coeffects via grading}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016}, pages = {476--489}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2951913.2951939}, doi = {10.1145/2951913.2951939}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/icfp/GaboardiKOBU16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KatsumataS15, author = {Shin{-}ya Katsumata and Tetsuya Sato}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Codensity Liftings of Monads}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {156--170}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.156}, doi = {10.4230/LIPICS.CALCO.2015.156}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KatsumataS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Katsumata14, author = {Shin{-}ya Katsumata}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Parametric effect monads and semantics of effect systems}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {633--646}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535846}, doi = {10.1145/2535838.2535846}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/Katsumata14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Katsumata13, author = {Shin{-}ya Katsumata}, title = {Relating computational effects by {\(\top\)}{\(\top\)}-lifting}, journal = {Inf. Comput.}, volume = {222}, pages = {228--246}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2012.10.014}, doi = {10.1016/J.IC.2012.10.014}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/Katsumata13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KatsumataS13, author = {Shin{-}ya Katsumata and Tetsuya Sato}, editor = {Frank Pfenning}, title = {Preorders on Monads and Coalgebraic Simulations}, booktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, {FOSSACS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7794}, pages = {145--160}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37075-5\_10}, doi = {10.1007/978-3-642-37075-5\_10}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/KatsumataS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-3116, author = {Koji Nakazawa and Shin{-}ya Katsumata}, editor = {Herman Geuvers and Ugo de'Liguoro}, title = {Extensional Models of Untyped Lambda-mu Calculus}, booktitle = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C 2012, Warwick, England, 8th July 2012}, series = {{EPTCS}}, volume = {97}, pages = {35--47}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.97.3}, doi = {10.4204/EPTCS.97.3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-3116.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Katsumata11, author = {Shin{-}ya Katsumata}, editor = {Luca Aceto and Monika Henzinger and Jir{\'{\i}} Sgall}, title = {Relating Computational Effects by {\(\top\)} {\(\top\)}-Lifting}, booktitle = {Automata, Languages and Programming - 38th International Colloquium, {ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6756}, pages = {174--185}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22012-8\_13}, doi = {10.1007/978-3-642-22012-8\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Katsumata11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Katsumata10, author = {Shin{-}ya Katsumata}, editor = {Kazunori Ueda}, title = {Categorical Descriptional Composition}, booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6461}, pages = {222--238}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17164-2\_16}, doi = {10.1007/978-3-642-17164-2\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Katsumata10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/KatsumataN08, author = {Shin{-}ya Katsumata and Susumu Nishimura}, title = {Algebraic fusion of functions with an accumulating parameter and its improvement}, journal = {J. Funct. Program.}, volume = {18}, number = {5-6}, pages = {781--819}, year = {2008}, url = {https://doi.org/10.1017/S095679680800693X}, doi = {10.1017/S095679680800693X}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/KatsumataN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Katsumata08, author = {Shin{-}ya Katsumata}, editor = {Michael Kaminski and Simone Martini}, title = {A Characterisation of Lambda Definability with Sums Via TT-Closure Operators}, booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5213}, pages = {278--292}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87531-4\_21}, doi = {10.1007/978-3-540-87531-4\_21}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Katsumata08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Katsumata08, author = {Shin{-}ya Katsumata}, editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz}, title = {Attribute Grammars and Categorical Semantics}, booktitle = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations}, series = {Lecture Notes in Computer Science}, volume = {5126}, pages = {271--282}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70583-3\_23}, doi = {10.1007/978-3-540-70583-3\_23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Katsumata08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/KatsumataN06, author = {Shin{-}ya Katsumata and Susumu Nishimura}, editor = {John H. Reppy and Julia Lawall}, title = {Algebraic fusion of functions with an accumulating parameter and its improvement}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September 16-21, 2006}, pages = {227--238}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159803.1159835}, doi = {10.1145/1159803.1159835}, timestamp = {Mon, 17 Jan 2022 15:20:18 +0100}, biburl = {https://dblp.org/rec/conf/icfp/KatsumataN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Katsumata05, author = {Shin{-}ya Katsumata}, title = {A generalisation of pre-logical predicates and its applications}, school = {University of Edinburgh, {UK}}, year = {2005}, url = {https://hdl.handle.net/1842/850}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Katsumata05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Katsumata05, author = {Shin{-}ya Katsumata}, editor = {C.{-}H. Luke Ong}, title = {A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage}, booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3634}, pages = {87--102}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11538363\_8}, doi = {10.1007/11538363\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/Katsumata05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Katsumata04, author = {Shin{-}ya Katsumata}, editor = {Josep D{\'{\i}}az and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Donald Sannella}, title = {A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems}, booktitle = {Automata, Languages and Programming: 31st International Colloquium, {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {831--845}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27836-8\_70}, doi = {10.1007/978-3-540-27836-8\_70}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Katsumata04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HannayKS03, author = {Jo Erskine Hannay and Shin{-}ya Katsumata and Donald Sannella}, editor = {Branislav Rovan and Peter Vojt{\'{a}}s}, title = {Semantic and Syntactic Approaches to Simulation Relations}, booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2747}, pages = {68--91}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45138-9\_4}, doi = {10.1007/978-3-540-45138-9\_4}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HannayKS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/Katsumata02, author = {Shin{-}ya Katsumata}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {284--298}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_16}, doi = {10.1007/978-3-540-40020-2\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/Katsumata02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KatsumataO01, author = {Shin{-}ya Katsumata and Atsushi Ohori}, editor = {David Sands}, title = {Proof-Directed De-compilation of Low-Level Code}, booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, pages = {352--366}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45309-1\_23}, doi = {10.1007/3-540-45309-1\_23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/KatsumataO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/MycroftOK01, author = {Alan Mycroft and Atsushi Ohori and Shin{-}ya Katsumata}, editor = {Elizabeth Burd and Peter Aiken and Rainer Koschke}, title = {Comparing Type-Based and Proof-Directed Decompilation}, booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001}, pages = {362--367}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/WCRE.2001.957844}, doi = {10.1109/WCRE.2001.957844}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcre/MycroftOK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.