(C) 2004 Yoshihiko Kakutani

Research Papers

Semi-Automated Verification of Security Proofs of Quantum Cryptographic Protocols
By T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada.
In Journal of Symbolic Computation, Vol. 73, 2015.
Observational Equivalence Using Schedulers for Quantum Processes
By K. Yasuda, T. Kubota, Y. Kakutani.
In Proceedings of Quantum Physics and Logic (QPL) 2014, Electronic Proceedings in Theoretical Computer Science, Vol. 172, 2014.
Automated Verification of Equivalence on Quantum Cryptographic Protocols
By T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada.
In Proceedings of Symbolic Computation in Software Science (SCSS) 2013, EasyChair Proceedings in Computing, Vol. 15, 2013.
Induction by Coinduction and Control Operators in Call-by-Name
By Y. Kakutani, D. Kimura.
In Proceedings of Control Operators and their Semantics (COS) 2013, Electronic Proceedings in Theoretical Computer Science, Vol. 127, 2013.
Automated Proof of Equivalence on Quantum Cryptographic Protocols
By T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada.
In Proceedings of Programming and Programming Languages (PPL) 2013, 2013.
Application of a Process Calculus to Security Proofs of Quantum Protocols
By T. Kubota, Y. Kakutani, G. Kato, Y. Kawano, H. Sakurada.
In Proceedings of Foundations of Computer Science in WORLDCOMP (WORLDCOMP/FCS) 2012, 2012.
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution
By T. Kubota, Y. Kakutani, G. Kato, Y. Kawano.
In Lecture Notes in Computer Science, Vol. 6714, 2011.
Classical Natural Deduction for S4 Modal Logic
By D. Kimura, Y. Kakutani.
In New Generation Computing, Vol. 29, 2011.
A Logic for Formal Verification of Quantum Programs
By Y. Kakutani.
In Lecture Notes in Computer Science, Vol. 5913, 2009.
Classical Natural Deduction for S4 Modal Logic
By D. Kimura, Y. Kakutani.
In Lecture Notes in Computer Science, Vol. 5904, 2009.
A Calculus Corresponding to Classical Modal Logic (in Japanese)
By D. Kimura, Y. Kakutani.
In Proceedings of Programming and Programming Languages (PPL) 2009, 2009.
A Curry-Howard Correspondence for Intuitionistic Normal Modal Logic (in Japanese)
By Y. Kakutani.
In Computer Software, JSSST Journal, Vol. 25, 2008.
Call-by-Name and Call-by-Value in Normal Modal Logic
By Y. Kakutani.
In Lecture Notes in Computer Science, Vol. 4807, 2007.
Calculi for Intuitionistic Normal Modal Logic
By Y. Kakutani.
In Proceedings of Programming and Programming Languages (PPL) 2007, 2007.
Parameterizations and Fixed-Point Operators on Control Categories
By Y. Kakutani, M. Hasegawa.
In Fundamenta Informaticae, Vol. 65, 2005.
Parameterizations and Fixed-Point Operators on Control Categories
By Y. Kakutani, M. Hasegawa.
In Lecture Notes in Computer Science, Vol. 2701, 2003.
Axioms for Recursion in Call-by-Value
By M. Hasegawa, Y. Kakutani.
In Higher-Order and Symbolic Computation, Vol. 15, 2002.
Duality between Call-by-Name Recursion and Call-by-Value Iteration
By Y. Kakutani.
In Lecture Notes in Computer Science, Vol. 2471, 2002.
Axioms for Recursion in Call-by-Value (extended abstract)
By M. Hasegawa, Y. Kakutani.
In Lecture Notes in Computer Science, Vol. 2030, 2001.