Home >> PRESTO Publications >> Ichiro HASUO
Zin ARAI- Hitoshi ARAI
- Takashi SAKAJO
- Hiroshi SUITO
- Dan TANAKA
- Kaori NAGATOU
- Yumiharu NAKANO
- Masaharu NAGAYAMA
- Katsuhiro NISHINARI
- Ichiro HASUO
- Kazuhisa MAKINO
- Nakahiro YOSHIDA
Ichiro HASUO
Papers
| author(s) | Kohei Suenaga, Hiroyoshi Sekine, and Ichiro Hasuo. |
|---|---|
| title | Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals |
| journal | Proc. POPL 2013, p. 417-430. ACM. |
| author(s) | Kohei Suenaga (Kyoto Univ.) and Ichiro Hasuo (Kyoto University, JST PRESTO) |
|---|---|
| title | Programming with Infinitesimals: A While-Language for Hybrid System Modeling |
| journal | Proc. ICALP 2011, Track B. Lecture Notes in Computer Science, vol. 6756, p. 392-403. Springer-Verlag. |
| author(s) | Ichiro Hasuo (Kyoto University, JST PRESTO) and Naohiko Hoshino (Kyoto Univ.) |
|---|---|
| title | Semantics of Higher-Order Quantum Computation via Geometry of Interaction |
| journal | Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011) 21–24 June 2011, Toronto, Ontario, Canada |
| author(s) | Ichiro Hasuo (Kyoto University, JST PRESTO) |
|---|---|
| title | Generic Forward and Backward Simulations II: Probabilistic Simulation |
| journal | Proc. CONCUR 2010, 21st International Conference on Concurrency Theory, Lect. Notes Comp. Sci., Springer (2010/9) |
| author(s) | Hasuo(Kyoto Univ. and JST PRESTO), Bart Jacobs (Radboud Univ. Nijmegen), Milad Niqui (CWI Amsterdam) |
|---|---|
| title | Coalgebraic Representation Theory of Fractals |
| journal | Proceedings of Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Elsevie (2010/9/3) |
| author(s) | Kazuyuki Asada(Kyoto Univ.), Ichiro Hasuo(Kyoto Univ. and JST PRESTO) |
|---|---|
| title | Categorifying Computations into Components via Arrows as Profunctors |
| journal | Electronic Notes in Theoretical Computer Science Volume 264, Issue 2, 12 August 2010, Pages 25-45 Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010) (2010/8/12) |
| author(s) | Ichiro Hasuo (Kyoto Univ. and JST PRESTO), Yoshinobu Kawabe(Aichi Institute of Technology), Hideki Sakurada(NTT Research Laboratory) |
|---|---|
| title | Probabilistic Anonymity via Coalgebraic Simulations |
| journal | Theoretical Computer Science, Volume 411, Issues 22-24, Pages 2239-2259 (2010/3/17) |
| author(s) | Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO), Chris Heunen (Radboud Univ. Nijmegen), Bart Jacobs (Radboud Univ. Nijmegen) Ana Sokolova (Univ. Salzburg) |
|---|---|
| title | Coalgebraic Components in a Many-sorted Microcosm |
| journal | Proceedings of 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Lecture Notes in Computer Science vol. 5728 (2009/9/19) |
| author(s) | Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO) Bart Jacobs (Radboud Univ. Nijmegen and TU Eindhoven) Ana Sokolova (Univ. Salzburg) |
|---|---|
| title | The Microcosm Principle and Concurrency in Coalgebra |
| journal | Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS 2008), Lecture Notes in Computer, LNCS 4962, p. 246-260. Springer-Verlag. (2008/3) |
| author(s) | Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO) Bart Jacobs (Radboud Univ. Nijmegen and TU Eindhoven) Ana Sokolova (Univ. Salzburg) |
|---|---|
| title | Generic Trace Semantics via Coinduction |
| journal | Logical Methods in Computer Science, Vol.3(4:11)2007, pp1-36 (2007/11/19) |
Oral presentations
Publications
Awards
| awardee(s) | Ichiro Hasuo |
|---|---|
| title of award | Hiroshi Fujiwara Encouragement Prize for Mathematical Sciences |
| organization | Selection Committee for the Hiroshi Fujiwara Prize for Mathematical Sciences (2012/9/3) |
