author-photo

Hiromasa Saito

4

Papers

7

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.

2021 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (0)
S102032 Study of the Safety assessment of Seismic Isolation of Industrial Facilities

2012
Show All
- Source
- Cite
- Save
Citations (0)
Fluorescence Imaging of Mitochondria in Living Cells Using a Novel Fluorene Derivative with a Large Two-Photon Absorption Cross-Section

2012 Current Pharmaceutical Biotechnology
Show All
- Source
- Cite
- Save
Citations (7)