Author Info
Name
Affiliation
Papers
MASAHIRO HAMANO
National Institute of Informatics, Tokyo 101-8430, Japan, and SFC Research Institute, Fujisawa 252-8520, Japan
16
Collaborators
Citations 
PageRank 
8
39
7.66
Referers 
Referees 
References 
42
125
144
Search Limit
100125
Title
Citations
PageRank
Year
Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets.00.342018
A Mall Geometry Of Interaction Based On Indexed Linear Logic00.342017
Stochastic Transcription Elongation via Rule Based Modelling.00.342016
On geometry of interaction for polarized linear logic00.342015
Sustainability of RNA-interference in Rule Based Modelling00.342015
Abstraction of graph-based models of bio-molecular reaction systems for efficient simulation20.402012
Rna-Interference And Registermachines (Extended Abstract)10.372012
A phase semantics for polarized linear logic and second order conservativity10.352010
An Indexed System for Multiplicative Additive Polarized Linear Logic30.442008
A categorical semantics for polarized MALL70.562007
Softness of hypercoherences and MALL full completeness91.022005
Softness of MALL proof-structures and a correctness criterion with Mix30.602004
Z-modules and full completeness of multiplicative linear logic10.382001
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)50.622000
A direct independence proof of Buchholz's Hydra Game on finite labeled trees30.571998
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game40.651997