Yoshihiko Kakutani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2011
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | UC | A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. | Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano |
| 2009 | APLAS | Classical Natural Deduction for S4 Modal Logic. | Daisuke Kimura, Yoshihiko Kakutani |
| 2007 | APLAS | Call-by-Name and Call-by-Value in Normal Modal Logic. | Yoshihiko Kakutani |
| 2002 | CSL | Duality between Call-by-Name Recursion and Call-by-Value Iteration. | Yoshihiko Kakutani |
| 2001 | FOSSACS | Axioms for Recursion in Call-by-Value. | Masahito Hasegawa, Yoshihiko Kakutani |