Ichiro Hasuo - Concepedia

Author

Ichiro Hasuo

Also Known As

CMCS 2016 Eindhoven, Dubut, Jérémy, Ernst, Gidon, Hasuo, Ichiro, Hasup, Ichiro, I. Hasuo, ICHIRO HASUO, Ichiro Hasuo, Kanta Matsuura

221

Publications

1.8K

Citations

H-Index

Concepts

All Affiliations

The University of Tokyo Radboud University Nijmegen National Institute of Informatics Kyoto University The Graduate University for Advanced Studies, SOKENDAI

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	26	599
2	Language Studies	2	2	57
3	Natural Sciences	1	1	37
4	Public Health	1	1	17
5	Communication	1	1	10

Ichiro Hasuo

Publications

726

Citations

H-Index

Page 1

	Year	Citations
Provable anonymity Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters,	2005	70
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search Zhenya Zhang, Gidon Ernst, Sean Sedwards, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Artificial IntelligenceEngineeringMachine LearningModel TuningVerification	2018	66
Categorical semantics for arrows Bart Jacobs, Chris Heunen, Ichiro Hasuo Journal of Functional Programming EngineeringSemanticsSyntaxLanguage StudiesProgramming Languages	2009	45
Semantics of Higher-Order Quantum Computation via Geometry of Interaction Ichiro Hasuo, Naohiko Hoshino EngineeringQuantum Programming LanguagesGeometric QuantizationQuantum ProgrammingHigher-order Quantum Computation	2011	38
Generic weakest precondition semantics from monads enriched with order Ichiro Hasuo Theoretical Computer Science EngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsComputer Science	2015	37
Memoryful geometry of interaction Naohiko Hoshino, Koko Muroya, Ichiro Hasuo EngineeringGeometryInteraction ModelComputer-aided DesignFormal Verification	2014	37
Hyperstream processing systems Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo EngineeringVerificationComputer ArchitectureComputer-aided VerificationStreaming Algorithm	2013	25
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, ACM Transactions on Programming Languages and Systems Mathematical ProgrammingEngineeringReachability ProblemComputational ComplexityProbabilistic Computation	2021	25
Generic Trace Theory Ichiro Hasuo, Bart Jacobs, Ana Sokolova Electronic Notes in Theoretical Computer Science Algebraic LogicEngineeringRepresentation TheoryGeneric Trace TheoryAutomated Reasoning	2006	24
Proceedings 11th workshop on Quantum Physics and Logic Bob Coecke, Ichiro Hasuo, Prakash Panangaden Electronic Proceedings in Theoretical Computer Science Quantum ScienceQuantum LogicEngineeringQuantum ComputingPhysics	2014	23

Page 1