Edit Profile (opens in new tab) Katsumata, Shin-ya Co-Author Distance Author ID: katsumata.shin-ya Published as: Katsumata, Shin-ya; Katsumata, Shin-Ya External Links: MGP Documents Indexed: 38 Publications since 2001 Co-Authors: 37 Co-Authors with 29 Joint Publications 428 Co-Co-Authors all top 5 Co-Authors 9 single-authored 8 Hasuo, Ichiro 6 Dubut, Jérémy 4 Sato, Tetsuya 4 Sprunger, David 3 Gaboardi, Marco 3 Uustalu, Tarmo 3 Yamada, Akihisa 2 Aguirre, Alejandro 2 Kolčák, Juraj 2 Komorida, Yuichi 2 Kori, Mayuko 2 Nishimura, Susumu 2 Nishizawa, Koki 2 Orchard, Dominic A. 2 Wißmann, Thorsten 1 Azevedo de Amorim, Arthur 1 Breuvart, Flavien 1 Cherigui, Ikram 1 Eberhart, Clovis 1 Fujii, Soichiro 1 Fukihara, Yōji 1 Hannay, Jo Erskine 1 Hasegawa, Masahito 1 Hsu, Justin 1 Ishikawa, Fuyuki 1 Klikovits, Stefan 1 Kobayashi, Tsutomu 1 Kura, Satoshi 1 Melliès, Paul-André 1 Milius, Stefan 1 Motoura, Shota 1 Nakazawa, Koji 1 Ohori, Atsushi 1 Rivas, Exequiel 1 Sannella, Donald T. 1 Suenaga, Kohei 1 Urabe, Natsuki all top 5 Serials 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Commentationes Mathematicae Universitatis Carolinae 1 Information and Computation 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 30 Computer science (68-XX) 17 Category theory; homological algebra (18-XX) 16 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 28 Publications have been cited 113 times in 69 Documents Cited by ▼ Year ▼ Parametric effect monads and semantics of effect systems. Zbl 1284.68133Katsumata, Shin-ya 17 2014 Towards a formal theory of graded monads. Zbl 1474.18011Fujii, Soichiro; Katsumata, Shin-ya; Melliès, Paul-André 14 2016 A semantic formulation of \(\top\top\)-lifting and logical predicates for computational metalanguage. Zbl 1136.03307Katsumata, Shin-ya 11 2005 Combining effects and coeffects via grading. Zbl 1361.68037Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo 9 2016 Codensity liftings of monads. Zbl 1366.68157Katsumata, Shin-Ya; Sato, Tetsuya 7 2015 Fibrational bisimulations and quantitative reasoning. Zbl 1509.18025Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro 6 2018 Relating computational effects by \(\top \top \)-lifting. Zbl 1267.68087Katsumata, Shin-Ya 5 2013 Interaction laws of monads and comonads. Zbl 1499.68065Katsumata, Shin-ya; Rivas, Exequiel; Uustalu, Tarmo 5 2020 A semantic account of metric preservation. Zbl 1380.68263Azevedo de Amorim, Arthur; Gaboardi, Marco; Hsu, Justin; Katsumata, Shin-ya; Cherigui, Ikram 5 2017 Codensity lifting of monads and its dual. Zbl 1398.18005Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo 4 2018 Path category for free. Open morphisms from coalgebras with non-deterministic branching. Zbl 07158717Wißmann, Thorsten; Dubut, Jérémy; Katsumata, Shin-ya; Hasuo, Ichiro 3 2019 A double category theoretic analysis of graded linear exponential comonads. Zbl 1505.18010Katsumata, Shin-ya 3 2018 Preorders on monads and coalgebraic simulations. Zbl 1260.68242Katsumata, Shin-ya; Sato, Tetsuya 3 2013 Weakest preconditions in fibrations. Zbl 07516369Aguirre, Alejandro; Katsumata, Shin-ya 3 2020 Attribute grammars and categorical semantics. Zbl 1156.68026Katsumata, Shin-ya 3 2008 Graded Hoare logic and its categorical semantics. Zbl 1473.68043Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Sato, Tetsuya 2 2021 Fibrational bisimulations and quantitative reasoning: extended version. Zbl 1509.18026Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro 2 2021 A coalgebraic view on reachability. Zbl 07177892Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 1 2019 Fibrational initial algebra-final coalgebra coincidence over initial algebras: turning verification witnesses upside down. Zbl 07730623Kori, Mayuko; Hasuo, Ichiro; Katsumata, Shin-Ya 1 2021 The lattice-theoretic essence of property directed reachability analysis. Zbl 1514.68137Kori, Mayuko; Urabe, Natsuki; Katsumata, Shin-ya; Suenaga, Kohei; Hasuo, Ichiro 1 2022 Stone dualities from opfibrations. Zbl 07578344Nishizawa, Koki; Katsumata, Shin-Ya; Komorida, Yuichi 1 2020 Proof-directed de-compilation of low-level code. Zbl 0977.68015Katsumata, Shin-ya; Ohori, Atsushi 1 2001 A generalisation of pre-logical predicates to simply typed formal systems. Zbl 1099.03012Katsumata, Shin-ya 1 2004 Relating computational effects by \(\top\top\)-lifting. Zbl 1334.68043Katsumata, Shin-ya 1 2011 A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories. Zbl 1191.18002Hasegawa, Masahito; Katsumata, Shin-Ya 1 2010 A characterisation of lambda definability with sums via \(\top \top \)-closure operators. Zbl 1156.03315Katsumata, Shin-ya 1 2008 Algebraic fusion of functions with an accumulating parameter and its improvement. Zbl 1155.68351Katsumata, Shin-Ya; Nishimura, Susumu 1 2008 Extensional models of untyped \(\lambda\mu\)-calculus. Zbl 1459.68071Nakazawa, Koji; Katsumata, Shin-Ya 1 2012 The lattice-theoretic essence of property directed reachability analysis. Zbl 1514.68137Kori, Mayuko; Urabe, Natsuki; Katsumata, Shin-ya; Suenaga, Kohei; Hasuo, Ichiro 1 2022 Graded Hoare logic and its categorical semantics. Zbl 1473.68043Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Sato, Tetsuya 2 2021 Fibrational bisimulations and quantitative reasoning: extended version. Zbl 1509.18026Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro 2 2021 Fibrational initial algebra-final coalgebra coincidence over initial algebras: turning verification witnesses upside down. Zbl 07730623Kori, Mayuko; Hasuo, Ichiro; Katsumata, Shin-Ya 1 2021 Interaction laws of monads and comonads. Zbl 1499.68065Katsumata, Shin-ya; Rivas, Exequiel; Uustalu, Tarmo 5 2020 Weakest preconditions in fibrations. Zbl 07516369Aguirre, Alejandro; Katsumata, Shin-ya 3 2020 Stone dualities from opfibrations. Zbl 07578344Nishizawa, Koki; Katsumata, Shin-Ya; Komorida, Yuichi 1 2020 Path category for free. Open morphisms from coalgebras with non-deterministic branching. Zbl 07158717Wißmann, Thorsten; Dubut, Jérémy; Katsumata, Shin-ya; Hasuo, Ichiro 3 2019 A coalgebraic view on reachability. Zbl 07177892Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 1 2019 Fibrational bisimulations and quantitative reasoning. Zbl 1509.18025Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro 6 2018 Codensity lifting of monads and its dual. Zbl 1398.18005Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo 4 2018 A double category theoretic analysis of graded linear exponential comonads. Zbl 1505.18010Katsumata, Shin-ya 3 2018 A semantic account of metric preservation. Zbl 1380.68263Azevedo de Amorim, Arthur; Gaboardi, Marco; Hsu, Justin; Katsumata, Shin-ya; Cherigui, Ikram 5 2017 Towards a formal theory of graded monads. Zbl 1474.18011Fujii, Soichiro; Katsumata, Shin-ya; Melliès, Paul-André 14 2016 Combining effects and coeffects via grading. Zbl 1361.68037Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo 9 2016 Codensity liftings of monads. Zbl 1366.68157Katsumata, Shin-Ya; Sato, Tetsuya 7 2015 Parametric effect monads and semantics of effect systems. Zbl 1284.68133Katsumata, Shin-ya 17 2014 Relating computational effects by \(\top \top \)-lifting. Zbl 1267.68087Katsumata, Shin-Ya 5 2013 Preorders on monads and coalgebraic simulations. Zbl 1260.68242Katsumata, Shin-ya; Sato, Tetsuya 3 2013 Extensional models of untyped \(\lambda\mu\)-calculus. Zbl 1459.68071Nakazawa, Koji; Katsumata, Shin-Ya 1 2012 Relating computational effects by \(\top\top\)-lifting. Zbl 1334.68043Katsumata, Shin-ya 1 2011 A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories. Zbl 1191.18002Hasegawa, Masahito; Katsumata, Shin-Ya 1 2010 Attribute grammars and categorical semantics. Zbl 1156.68026Katsumata, Shin-ya 3 2008 A characterisation of lambda definability with sums via \(\top \top \)-closure operators. Zbl 1156.03315Katsumata, Shin-ya 1 2008 Algebraic fusion of functions with an accumulating parameter and its improvement. Zbl 1155.68351Katsumata, Shin-Ya; Nishimura, Susumu 1 2008 A semantic formulation of \(\top\top\)-lifting and logical predicates for computational metalanguage. Zbl 1136.03307Katsumata, Shin-ya 11 2005 A generalisation of pre-logical predicates to simply typed formal systems. Zbl 1099.03012Katsumata, Shin-ya 1 2004 Proof-directed de-compilation of low-level code. Zbl 0977.68015Katsumata, Shin-ya; Ohori, Atsushi 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 109 Authors 11 Katsumata, Shin-ya 4 Hasuo, Ichiro 4 Orchard, Dominic A. 4 Sato, Tetsuya 3 Dal Lago, Ugo 3 Dubut, Jérémy 3 Gavazzo, Francesco 3 Kura, Satoshi 3 McDermott, Dylan 3 Uustalu, Tarmo 2 Aguirre, Alejandro 2 Ahman, Danel 2 Atkey, Robert 2 Eades, Harley III 2 Enrique Moliner, Pau 2 Garner, Richard 2 Hasegawa, Masahito 2 Hermida, Claudio 2 Heunen, Chris 2 Hofmann, Martin 2 Kammar, Ohad 2 König, Barbara 2 Kupke, Clemens 2 Reddy, Uday S. 2 Robinson, Edmund P. 2 Rot, Jurriaan 2 Tull, Sean 2 Wißmann, Thorsten 1 Abramsky, Samson 1 Badouel, Eric 1 Bauer, Andrej 1 Benton, Nick 1 Beohar, Harsh 1 Bianchini, Riccardo 1 Bonchi, Filippo 1 Dagnino, Francesco 1 de’Liguoro, Ugo 1 Endrullis, Jörg 1 Faul, Peter F. 1 Fotsing, Bernard 1 Fritz, Tobias 1 Fujii, Soichiro 1 Fukihara, Yōji 1 Gaboardi, Marco 1 Gavranović, Bruno 1 Ghani, Neil 1 Giannini, Paola 1 Gibbons, Jeremy 1 Goncharov, Sergeĭ Savost’yanovich 1 Goodloe, Alwyn E. 1 Gordon, Michael J. C. 1 Goubault-Larrecq, Jean 1 Hamana, Makoto 1 Hansen, Helle Hvid 1 Hofmann, Dirk 1 Hoshino, Naohiko 1 Hu, Zhenjiang 1 Hughes, Jack M. 1 Kakehi, Kazuhiko 1 Kennedy, Andrew J. 1 Komorida, Yuichi 1 Kori, Mayuko 1 Küpper, Sebastian 1 Ledent, Jérémy 1 Lucatelli Nunes, Fernando 1 Manuell, Graham R. 1 Melliès, Paul-André 1 Mika-Michalski, Christina 1 Møgelberg, Rasmus Ejlers 1 Moon, Benjamin 1 Morihata, Akimasa 1 Morita, Yasuaki 1 Myreen, Magnus O. 1 Nakazawa, Koji 1 Naya, Hiroto 1 Nigam, Vivek 1 Nishizawa, Koki 1 Nkuimi-Jugnia, C. 1 Nora, Pedro 1 Nordvall Forsberg, Fredrik 1 Paré, Robert 1 Pérez, Iván L. 1 Perrone, Paolo 1 Petrisan, Daniela Luan 1 Pfenning, Frank 1 Pous, Damien 1 Pretnar, Matija 1 Pruiksma, Klaas 1 Rosset, Aloïs 1 Rupel, Dylan C. 1 Santamaria, Alessio 1 Schröder, Lutz 1 Schultz, Patrick 1 Shah, Nihil 1 Simpson, Alex K. 1 Siqueira, José 1 Spivak, David I. 1 Sprunger, David 1 Suenaga, Kohei 1 Takeichi, Masato ...and 9 more Authors all top 5 Cited in 12 Serials 5 Theoretical Computer Science 5 MSCS. Mathematical Structures in Computer Science 4 Journal of Functional Programming 4 Logical Methods in Computer Science 2 Journal of Pure and Applied Algebra 2 Theory and Applications of Categories 2 Journal of Logical and Algebraic Methods in Programming 1 Studia Logica 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Higher-Order and Symbolic Computation 1 Categories and General Algebraic Structures with Applications all top 5 Cited in 11 Fields 54 Computer science (68-XX) 27 Category theory; homological algebra (18-XX) 18 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 1 Associative rings and algebras (16-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year