Edit Profile (opens in new tab) Tsukada, Takeshi Compute Distance To: Compute Author ID: tsukada.takeshi Published as: Tsukada, Takeshi Documents Indexed: 27 Publications since 2009 Co-Authors: 17 Co-Authors with 21 Joint Publications 126 Co-Co-Authors all top 5 Co-Authors 1 single-authored 16 Kobayashi, Naoki 4 Asada, Kazuyuki 2 Igarashi, Atsushi 2 Iwayama, Naoki 2 Sin’ya, Ryoma 2 Suzuki, Ryota 2 Watanabe, Keiichi 1 Fujima, Koichi 1 Inaba, Kazuhiro 1 Kagamitani, Y. 1 Katsura, Hiroyuki 1 Matsushita, Yusuke 1 Mikawa, Y. 1 Mitani, Yo 1 Sakayori, Ken 1 Sato, Ryosuke 1 Terao, Taku 1 Tobita, Yoshihiro 1 Yasukata, Kazuhide 1 Yokoyama, Chihiro Serials 3 Logical Methods in Computer Science 1 International Journal of Heat and Mass Transfer all top 5 Fields 25 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Category theory; homological algebra (18-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Geophysics (86-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 39 times in 33 Documents Cited by ▼ Year ▼ Nondeterminism in game semantics via sheaves. Zbl 1401.68177Tsukada, Takeshi; Ong, C. H. Luke 5 2015 A logical foundation for environment classifiers. Zbl 1211.68065Tsukada, Takeshi; Igarashi, Atsushi 4 2010 Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 1486.68035Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi 4 2017 Higher-order program verification via HFL model checking. Zbl 1418.68127Kobayashi, Naoki; Tsukada, Takeshi; Watanabe, Keiichi 4 2018 Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. Zbl 1497.68128Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 3 2018 Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi 3 2014 Higher-order model checking in direct style. Zbl 1483.68206Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki 2 2016 Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees. Zbl 1401.68207Tsukada, Takeshi; Ong, C.-H. Luke 2 2014 Generalised species of rigid resource terms. Zbl 1452.03136Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 2 2017 RustHorn: CHC-based verification for Rust programs. Zbl 1508.68071Matsushita, Yusuke; Tsukada, Takeshi; Kobayashi, Naoki 2 2020 Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 An intersection type system for deterministic pushdown automata. Zbl 1362.68157Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki 1 2016 A truly concurrent game model of the asynchronous \(\pi\)-calculus. Zbl 1486.68116Sakayori, Ken; Tsukada, Takeshi 1 2017 Plays as resource terms via non-idempotent intersection types. Zbl 1401.68178Tsukada, Takeshi; Ong, C.-H. Luke 1 2016 Complexity of model-checking call-by-value programs. Zbl 1405.68189Tsukada, Takeshi; Kobayashi, Naoki 1 2014 Untyped recursion schemes and infinite intersection types. Zbl 1284.68139Tsukada, Takeshi; Kobayashi, Naoki 1 2010 Streett automata model checking of higher-order recursion schemes. Zbl 1441.68135Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi 1 2017 RustHorn: CHC-based verification for Rust programs. Zbl 1508.68071Matsushita, Yusuke; Tsukada, Takeshi; Kobayashi, Naoki 2 2020 Higher-order program verification via HFL model checking. Zbl 1418.68127Kobayashi, Naoki; Tsukada, Takeshi; Watanabe, Keiichi 4 2018 Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. Zbl 1497.68128Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 3 2018 Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 1486.68035Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi 4 2017 Generalised species of rigid resource terms. Zbl 1452.03136Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 2 2017 A truly concurrent game model of the asynchronous \(\pi\)-calculus. Zbl 1486.68116Sakayori, Ken; Tsukada, Takeshi 1 2017 Streett automata model checking of higher-order recursion schemes. Zbl 1441.68135Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi 1 2017 Higher-order model checking in direct style. Zbl 1483.68206Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki 2 2016 Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki 1 2016 Plays as resource terms via non-idempotent intersection types. Zbl 1401.68178Tsukada, Takeshi; Ong, C.-H. Luke 1 2016 Nondeterminism in game semantics via sheaves. Zbl 1401.68177Tsukada, Takeshi; Ong, C. H. Luke 5 2015 Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi 3 2014 Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees. Zbl 1401.68207Tsukada, Takeshi; Ong, C.-H. Luke 2 2014 Complexity of model-checking call-by-value programs. Zbl 1405.68189Tsukada, Takeshi; Kobayashi, Naoki 1 2014 Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 An intersection type system for deterministic pushdown automata. Zbl 1362.68157Tsukada, Takeshi; Kobayashi, Naoki 1 2012 A logical foundation for environment classifiers. Zbl 1211.68065Tsukada, Takeshi; Igarashi, Atsushi 4 2010 Untyped recursion schemes and infinite intersection types. Zbl 1284.68139Tsukada, Takeshi; Kobayashi, Naoki 1 2010 all cited Publications top 5 cited Publications all top 5 Cited by 56 Authors 11 Kobayashi, Naoki 7 Tsukada, Takeshi 2 Asada, Kazuyuki 2 Dal Lago, Ugo 2 Igarashi, Atsushi 2 Parys, Paweł 2 Sin’ya, Ryoma 2 Suzuki, Ryota 1 Afshari, Bahareh 1 Bendkowski, Maciej 1 Castellan, Simon 1 Chouquet, Jules 1 Clairambault, Pierre 1 Engelfriet, Joost 1 Fedyukovich, Grigory 1 Fujima, Koichi 1 Fukuda, Yosuke 1 Gittenberger, Bernhard 1 Gowers, William John 1 Grellois, Charles 1 Groves, Lindsay J. 1 Gupta, Aarti 1 Hasegawa, Masahito 1 Inaba, Kazuhiro 1 Inoue, Jun-Ichiro 1 Iwayama, Naoki 1 Kavvos, G. A. 1 Kojima, Kensuke 1 Laird, James D. 1 Larcher, Isabella 1 Leventis, Thomas 1 Maneth, Sebastian 1 Matsuda, Kazutaka 1 Minamide, Yasuhiko 1 Mitani, Yo 1 Olimpieri, Federico 1 Paquet, Hugo 1 Pearce, David J. 1 Riba, Colin 1 Sakayori, Ken 1 Salvati, Sylvain 1 Sato, Ryosuke 1 Shinohara, Ayumi 1 Siqi, Ren 1 Suenaga, Kohei 1 Taha, Walid 1 Terao, Taku 1 Toman, John 1 Uezato, Yuya 1 Utting, Mark 1 Vaux Auclair, Lionel 1 Walukiewicz, Igor 1 Wehr, Dominik 1 Winskel, Glynn 1 Yaguchi, Kazuya 1 Yoshimizu, Akira all top 5 Cited in 8 Serials 6 Logical Methods in Computer Science 2 Information and Computation 1 Acta Informatica 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 The Electronic Journal of Combinatorics 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation all top 5 Cited in 8 Fields 28 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Citations by Year