Ichiro Hasuo
Ichiro Hasuo
Associate Professor of Computer Science, National Institute of Informatics
Verified email at acm.org - Homepage
TitleCited byYear
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
arXiv preprint arXiv:0710.2505, 2007
1802007
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P Van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
1032005
Generic forward and backward simulations
I Hasuo
International Conference on Concurrency Theory, 406-420, 2006
602006
Semantics of higher-order quantum computation via geometry of interaction
I Hasuo, N Hoshino
Annals of Pure and Applied Logic 168 (2), 404-469, 2017
572017
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo
International Conference on Computer Aided Verification, 356-374, 2015
432015
Memoryful geometry of interaction: from coalgebraic components to algebraic effects
N Hoshino, K Muroya, I Hasuo
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
362014
Categorical semantics for arrows
B Jacobs, C Heunen, I Hasuo
Journal of functional programming 19 (3-4), 403-438, 2009
362009
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
342006
Context-free languages via coalgebraic trace semantics
I Hasuo, B Jacobs
International Conference on Algebra and Coalgebra in Computer Science, 213-231, 2005
332005
Programming with infinitesimals: A while-language for hybrid system modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
302011
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
International Conference on Foundations of Software Science and …, 2008
262008
Relations among notions of security for identity based encryption schemes
N Attrapadung, Y Cui, D Galindo, G Hanaoka, I Hasuo, H Imai, ...
Latin American Symposium on Theoretical Informatics, 130-141, 2006
262006
Generic weakest precondition semantics from monads enriched with order
I Hasuo
Theoretical Computer Science 604, 2-29, 2015
252015
Exercises in nonstandard static analysis of hybrid systems
I Hasuo, K Suenaga
International Conference on Computer Aided Verification, 462-478, 2012
252012
Coalgebraic components in a many-sorted microcosm
I Hasuo, C Heunen, B Jacobs, A Sokolova
International Conference on Algebra and Coalgebra in Computer Science, 64-80, 2009
232009
Kripke completeness of first-order constructive logics with strong negation
I Hasuo, R Kashima
Logic Journal of IGPL 11 (6), 615-646, 2003
232003
The geometry of synchronization
U Dal Lago, C Faggian, I Hasuo, A Yoshimizu
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
222014
Tracing anonymity with coalgebras
I Hasuo
[Sl: sn], 2008
212008
Hyperstream processing systems: nonstandard modeling of continuous-time signals
K Suenaga, H Sekine, I Hasuo
ACM SIGPLAN Notices 48 (1), 417-430, 2013
202013
Probabilistic anonymity via coalgebraic simulations
I Hasuo, Y Kawabe
European Symposium on Programming, 379-394, 2007
202007
The system can't perform the operation now. Try again later.
Articles 1–20