Yoshihiko Kakutani

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 5

Top Topics

Ontology Merging

Sequent Calculi

Insider Attacks

Automated Verification

Top Venues

Publications

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