Yoshihiko Kakutani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modality via iterated enrichment (available as arXiv preprint)	2022-05-03	Paper
Induction by coinduction and control operators in call-by-name (available as arXiv preprint)	2021-09-09	Paper
Induction by coinduction and control operators in call-by-name	2021-09-09	Paper
Observational equivalence using schedulers for quantum processes (available as arXiv preprint)	2021-06-29	Paper
Observational equivalence using schedulers for quantum processes	2021-06-29	Paper
Semi-automated verification of security proofs of quantum cryptographic protocols Journal of Symbolic Computation	2015-08-24	Paper
Classical natural deduction for S4 modal logic New Generation Computing	2012-11-16	Paper
A formal approach to unconditional security proofs for quantum key distribution Lecture Notes in Computer Science	2011-06-17	Paper
A logic for formal verification of quantum programs Advances in Computer Science - ASIAN 2009. Information Security and Privacy	2010-01-14	Paper
Call-by-Name and Call-by-Value in Normal Modal Logic Programming Languages and Systems	2008-05-15	Paper
scientific article; zbMATH DE number 2182491 (Why is no real title available?)	2005-06-23	Paper
scientific article; zbMATH DE number 2061710 (Why is no real title available?)	2004-03-22	Paper
scientific article; zbMATH DE number 1948183 (Why is no real title available?)	2003-07-10	Paper
Axioms for recursion in call-by-value Higher-Order and Symbolic Computation	2003-05-14	Paper
scientific article; zbMATH DE number 1701354 (Why is no real title available?)	2002-02-05	Paper

Research outcomes over time

This page was built for person: Yoshihiko Kakutani