Ichiro Hasuo
Ichiro Hasuo
Associate Professor of Computer Science, National Institute of Informatics
Email verificata su acm.org - Home page
Titolo
Citata da
Citata da
Anno
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
arXiv preprint arXiv:0710.2505, 2007
1872007
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P Van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
1052005
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
672017
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo
International Conference on Computer Aided Verification, 356-374, 2015
612015
Generic forward and backward simulations
I Hasuo
International Conference on Concurrency Theory, 406-420, 2006
602006
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
422014
Categorical semantics for arrows
BPF Jacobs, CJM Heunen, I Hasuo
382009
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
352006
Generic weakest precondition semantics from monads enriched with order
I Hasuo
Theoretical Computer Science 604, 2-29, 2015
342015
Programming with infinitesimals: A while-language for hybrid system modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
332011
Context-free languages via coalgebraic trace semantics
I Hasuo, B Jacobs
International Conference on Algebra and Coalgebra in Computer Science, 213-231, 2005
322005
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
292006
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
282014
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
262018
Exercises in nonstandard static analysis of hybrid systems
I Hasuo, K Suenaga
International Conference on Computer Aided Verification, 462-478, 2012
252012
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
International Conference on Foundations of Software Science and …, 2008
252008
Kripke completeness of first-order constructive logics with strong negation
I Hasuo, R Kashima
Logic Journal of IGPL 11 (6), 615-646, 2003
242003
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
Tracing anonymity with coalgebras
I Hasuo
[Sl: sn], 2008
212008
Coinductive predicates and final sequences in a fibration
I Hasuo, K Cho, T Kataoka, B Jacobs
Electronic Notes in Theoretical Computer Science 298, 197-214, 2013
20*2013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20