Graph explorer

Ichiro Hasuo

Ichiro Hasuo contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapIchiro Hasuo
13 nodes12 links
Ichiro Hasuo13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAIchiro HasuoResearcherWResponsibility-Sensitiv...preprint / 2022WGoal-Aware RSS for Comp...preprint / 2022WGeneric Trace Semantics...preprint / 2007WLattice-Theoretic Progr...preprint / 2016WSemantics of Higher-Ord...preprint / 2016WTime-Staging Enhancemen...preprint / 2022WRelational Differential...preprint / 2020WProceedings of the 11th...preprint / 2014WTime Robustness in MTL ...preprint / 2015WNear-Optimal Scheduling...preprint / 2015WInput Synthesis for Sam...preprint / 2015WConstrained Optimizatio...preprint / 2021
PersonSignal 1012 links

Ichiro Hasuo

Researcher

Open