Segui
Ichiro Hasuo
Ichiro Hasuo
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
2052007
Provable anonymity
FD Garcia, I Hasuo, W Pieters, P Van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
1122005
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo
International Conference on Computer Aided Verification, 356-374, 2015
812015
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
Generic forward and backward simulations
I Hasuo
International Conference on Concurrency Theory, 406-420, 2006
612006
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
482018
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
482014
Categorical semantics for arrows
B Jacobs, C Heunen, I Hasuo
Journal of functional programming 19 (3-4), 403-438, 2009
412009
Programming with infinitesimals: A while-language for hybrid system modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
402011
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
402006
Generic weakest precondition semantics from monads enriched with order
I Hasuo
Theoretical Computer Science 604, 2-29, 2015
392015
Context-free languages via coalgebraic trace semantics
I Hasuo, B Jacobs
International Conference on Algebra and Coalgebra in Computer Science, 213-231, 2005
332005
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
302014
Exercises in nonstandard static analysis of hybrid systems
I Hasuo, K Suenaga
International Conference on Computer Aided Verification, 462-478, 2012
292012
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
Efficient online timed pattern matching by automata-based skipping
M Waga, I Hasuo, K Suenaga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
262017
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
26*2013
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
International Conference on Foundations of Software Science and …, 2008
252008
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
242009
Healthiness from duality
W Hino, H Kobayashi, I Hasuo, B Jacobs
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
232016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20