A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. - Masahiro Hamano; Mitsuhiro Okada (Math. Log. Q., 1997)

A direct independence proof of Buchholz's Hydra Game on finite labeled trees. - Masahiro Hamano; Mitsuhiro Okada (Arch. Math. Log., 1998)

Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). - Masahiro Hamano (Math. Struct. Comput. Sci., 2000)

Z-modules and ful completeness of multiplicative linear logic. - Masahiro Hamano (Ann. Pure Appl. Log., 2001)

Softness of MALL proof-structures and a correctness criterion with Mix. - Masahiro Hamano (Arch. Math. Log., 2004)

Softness of hypercoherences and MALL full completeness. - Richard Blute; Masahiro Hamano; Philip J. Scott (Ann. Pure Appl. Log., 2005)

A categorical semantics for polarized MALL. - Masahiro Hamano; Philip J. Scott (Ann. Pure Appl. Log., 2007)

An Indexed System for Multiplicative Additive Polarized Linear Logic. - Masahiro Hamano; Ryo Takemura (CSL, 2008)

A phase semantics for polarized linear logic and second order conservativity. - Masahiro Hamano; Ryo Takemura (J. Symb. Log., 2010)

Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. - Ibuki Kawamata; Nathanael Aubert; Masahiro Hamano; Masami Hagiya (CMSB, 2012)

RNA interference and Register Machines (extended abstract) - Masahiro Hamano (MeCBIC, 2012)

Sustainability of RNA-interference in Rule Based Modelling. - Masahiro Hamano (SASB, 2012)

Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets. - Masahiro Hamano (CoRR, 2015)

Stochastic Transcription Elongation via Rule Based Modelling. - Masahiro Hamano (SASB, 2015)

On geometry of interaction for polarized linear logic. - Masahiro Hamano; Philip J. Scott (Math. Struct. Comput. Sci., 2018)

Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets. - Masahiro Hamano (ACM Trans. Comput. Log., 2018)

A MALL geometry of interaction based on indexed linear logic. - Masahiro Hamano (Math. Struct. Comput. Sci., 2020)

Double Glueing over Free Exponential: with Measure Theoretic Applications. - Masahiro Hamano (CoRR, 2021)

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces. - Masahiro Hamano (Inf. Comput., 2023)