Daisuke Kikuchi

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Temporal Reasoning

Real World Objects

Top Venues

Publications

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. ECOOP (2016)
Daisuke Kikuchi, Naoki Kobayashi
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. ESOP (2009)
Daisuke Kikuchi, Naoki Kobayashi
Type-Based Verification of Correspondence Assertions for Communication Protocols. APLAS (2007)