88 citations · 339 across the 67 of their papers we have counts for
5 papers · 1 filter
Coalgebraic Trace Semantics for Buechi and Parity Automata
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Buechi acceptance condition---a basic no…
A Boyer-Moore Type Algorithm for Timed Pattern Matching
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes…
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Natsuki Urabe, Ichiro Hasuo
Notions of simulation, among other uses, provide a computationally tractable and sound (but not necessarily complete) proof method for language inclusion. They have been comprehens…
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Ichiro Hasuo, Naohiko Hoshino
While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aimin…
Healthiness from Duality
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo +1
Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (back…