Yoshihiko Kakutani

19 papers B 5C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Categorical Foundation of Rough Sets.
CoRR
Yoshihiko Kakutani
2019 J jnl
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic.
J. Inf. Process.
Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki
2018 J jnl
Modality via Iterated Enrichment.
CoRR
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
2018 B conf
Modality via Iterated Enrichment.
MFPS
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
2016 J jnl
Calculi for Intuitionistic Normal Modal Logic.
CoRR
Yoshihiko Kakutani
2016 J jnl
Semi-automated verification of security proofs of quantum cryptographic protocols.
J. Symb. Comput.
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
2014 — conf
Observational Equivalence Using Schedulers for Quantum Processes.
QPL
Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani
2013 — conf
Automated Verification of Equivalence on Quantum Cryptographic Protocols.
SCSS
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
2013 — conf
Induction by Coinduction and Control Operators in Call-by-Name.
COS
Yoshihiko Kakutani, Daisuke Kimura
2011 C conf
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution.
UC
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano
2011 J jnl
Classical Natural Deduction for S4 Modal Logic.
New Gener. Comput.
Daisuke Kimura, Yoshihiko Kakutani
2009 — conf
A Logic for Formal Verification of Quantum Programs.
ASIAN
Yoshihiko Kakutani
2009 B conf
Classical Natural Deduction for S4 Modal Logic.
APLAS
Daisuke Kimura, Yoshihiko Kakutani
2007 B conf
Call-by-Name and Call-by-Value in Normal Modal Logic.
APLAS
Yoshihiko Kakutani
2005 J jnl
Parameterizations and Fixed-Point Operators on Control Categories.
Fundam. Informaticae
Yoshihiko Kakutani, Masahito Hasegawa
2003 — conf
Parameterizations and Fixed-Point Operators on Control Categories.
TLCA
Yoshihiko Kakutani, Masahito Hasegawa
2002 J jnl
Axioms for Recursion in Call-by-Value.
High. Order Symb. Comput.
Masahito Hasegawa, Yoshihiko Kakutani
2002 B conf
Duality between Call-by-Name Recursion and Call-by-Value Iteration.
CSL
Yoshihiko Kakutani
2001 B conf
Axioms for Recursion in Call-by-Value.
FoSSaCS
Masahito Hasegawa, Yoshihiko Kakutani