BibTeX records: Shin-ya Katsumata

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics