Concepedia

Ichiro Hasuo

IH

31

Publications

726

Citations

18

H-Index

2003

Active since

Affiliations

The University of Tokyo(Current)

Radboud University Nijmegen

National Institute of Informatics

Kyoto University

The Graduate University for Advanced Studies, SOKENDAI

Ichiro Hasuo is an author at The University of Tokyo specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSystems EngineeringComputer EngineeringSemanticsData Science

Publications per year

2003–2022

31

Publications

31

Provable anonymity

Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters et al. · 2005 · 70 citations

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhenya Zhang, Gidon Ernst, Sean Sedwards et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 66 citations

Artificial Intelligence, Engineering, Machine Learning +24

Categorical semantics for arrows

Bart Jacobs, Chris Heunen, Ichiro Hasuo · Journal of Functional Programming · 2009 · 45 citations · Full text

Engineering, Semantics, Syntax +17

Semantics of Higher-Order Quantum Computation via Geometry of Interaction

Ichiro Hasuo, Naohiko Hoshino · 2011 · 38 citations

Engineering, Quantum Programming Languages, Geometric Quantization +16

Generic weakest precondition semantics from monads enriched with order

Ichiro Hasuo · Theoretical Computer Science · 2015 · 37 citations

Engineering, Automated Reasoning, Formal Methods +4

Rows per page

1–5 of 31