ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Ichiro Hasuo

Registered user since Tue 27 Oct 2015

Name:Ichiro Hasuo
Affiliation:National Institute of Informatics
Research interests:semantics, category theory, verification, hybrid systems


FOSSACS 2019 Path category for free - Open morphisms from coalgebras with non-deterministic branching
GaLoP 2019 Committee Member in Steering Committee within the GaLoP-track
TACAS 2019 Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
Show activities from other conferences

ETAPS 2019-profile
View general profile