More Recent Papers
Visit the page of the ERATO MMSD project.
Papers 2016
-
Natsuki Urabe,
Shunsuke Shimizu, and
Ichiro Hasuo.
Coalgebraic Trace Semantics for Büchi and Parity Automata.
To appear in
Proc. CONCUR 2016.
[preprint version at arXiv] -
Masaki Waga,
Takumi Akazaki and
Ichiro Hasuo.
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
Proc. FORMATS 2016, LNCS 9884, p. 121-139.
[lncs | extended version at arXiv] -
Wataru Hino,
Hiroki Kobayashi,
Ichiro Hasuo
and
Bart Jacobs.
Healthiness from Duality.
Proc. LICS 2016, to appear.
[acm | preprint version with appendices at arXiv] - Ichiro Hasuo and Prakash Panangaden, editors. Special Issue on Quantum Physics and Logic (QPL 2014). New Generation Comput. 34(1-2): 1-2, 2016.
-
Soichiro Fujii,
Shin-ya Katsumata
and
Paul-André Melliès.
Towards a formal theory of graded monads.
Proc. FoSSaCS 2016, LNCS 9634, p. 513-530.
[lncs | prepring pdf] -
Ichiro Hasuo,
Shunsuke Shimizu, and
Corina Cirstea.
Lattice-theoretic progress measures and coalgebraic model checking.
Proc. POPL 2016, p. 718-732.
[acm | extended version at arXiv] -
Koko Muroya,
Naohiko Hoshino
and
Ichiro Hasuo.
Memoryful Geometry of Interaction II: Recursion and Adequacy.
Proc. POPL 2016, p. 748-760.
[acm | pdf] -
Kengo Kido,
Swarat Chaudhuri
and Ichiro Hasuo.
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
Proc. VMCAI 2016, LNCS 9583, p. 229-249.
[lncs | extended version at arXiv]
Papers 2015
-
Ichiro Hasuo.
Generic Weakest Precondition Semantics from Monads Enriched with Order.
Theoretical Computer Science, 604:2-29, 2015.
[doi | pdf] -
Shota Nakagawa and Ichiro Hasuo.
Near-Optimal Scheduling for LTL with Future Discounting.
Proc. TGC 2015, LNCS 9533, p. 112-130.
[lncs | preliminary version in the pre-proceedings] - Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Preliminary Report). Proc. SNR 2015.
-
Koko Muroya,
Naohiko Hoshino
and
Ichiro Hasuo.
Memoryful GoI with Recursion.
Short abstract presented at LOLA 2015.
[pdf] -
Takumi Akazaki
and
Ichiro Hasuo.
Time Robustness in MTL and Expressivity in Hybrid System Falsification.
Proc. CAV 2015.
LNCS 9207, p. 356-374. Springer-Verlag.
[doi | extended version at arXiv] -
Ugo Dal Lago,
Claudia Faggian,
Benoit Valiron and
Akira Yoshimizu.
Parallelism and Synchronization in an Infinitary Context.
Proc. LICS 2015, pages 559-572.
[doi | extended version at arXiv] -
Natsuki Urabe
and
Ichiro Hasuo.
Coalgebraic Infinite Traces and Kleisli Simulations.
Proc. CALCO 2015, p. 320-335.
[extended version at arXiv] -
Toshiki Kataoka
and
Dusko Pavlovic.
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra.
Proc. CALCO 2015, p. 130-155.
[extended version at arXiv]
Papers 2014
-
Takumi Akazaki,
Ichiro Hasuo,
and
Kohei Suenaga.
Input Synthesis for Sampled Data Systems by Program Logic.
Proc. HAS 2014.
EPTCS 174, p. 22-39.
[eptcs | local pdf] -
Bob Coecke,
Ichiro Hasuo and
Prakash Panangaden, editors.
Quantum Physics and Logic, the 11th International
Workshop (QPL 2014), Proceedings.
EPTCS 172.
[eptcs] -
Koko Muroya,
Toshiki Kataoka,
Ichiro Hasuo
and
Naohiko Hoshino.
Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction (Preliminary Report).
Short abstract presented at LOLA 2014.
[pdf] -
Natsuki Urabe and
Ichiro Hasuo.
Generic Forward and Backward Simulations III:
Quantitative Simulations by Matrices.
Proc. CONCUR 2014.
LNCS 8704, p. 451-466. Springer-Verlag. (Best Paper Award)
[lncs | pdf (extended version with appendices)] -
Naohiko Hoshino,
Koko Muroya and
Ichiro Hasuo.
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects.
Proc. CSL-LICS 2014, paper 52.
[acm | preprint pdf] -
Ugo Dal Lago,
Claudia Faggian,
Ichiro Hasuo and
Akira Yoshimizu.
The Geometry of Synchronization.
Proc. CSL-LICS 2014, paper 35.
[acm | extended version, arXiv] -
Ichiro Hasuo.
Generic Weakest Precondition Semantics from Monads Enriched with Order.
Proc. CMCS 2014 (an invited paper).
LNCS 8446, p. 10-32. Springer-Verlag.
[lncs | preprint pdf] -
Akira Yoshimizu,
Ichiro Hasuo,
Claudia Faggian,
and Ugo Dal Lago.
Measurements in Proof Nets as Higher-Order Quantum Circuits.
Proc. ESOP 2014.
LNCS 8410, p. 371-391. Springer-Verlag.
[doi | preprint pdf, with an appendix]
Papers 2013
-
Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, and
Bart Jacobs.
Coinductive Predicates and Final Sequences in a Fibration.
Proc. MFPS XXIX,
Electr. Notes Comp. Sci. 298:197-214, 2013.
[doi | preprint pdf, with an appendix] -
Kohei Suenaga,
Hiroyoshi Sekine,
and Ichiro Hasuo.
Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals.
Proc. POPL 2013, p. 417-430. ACM.
[acm | local copy with appendices]
Papers 2012
- Hiroyoshi Sekine, Kohei Suenaga and Ichiro Hasuo. Simulink Blocks as Stream Processing --- An Approach from Nonstandard Analysis (Preliminary Report). Proc. NSV 2012.
- Ichiro Hasuo and
Kohei Suenaga.
Exercises in Nonstandard Static Analysis of Hybrid Systems.
Proc. CAV 2012.
LNCS 7358, p. 462-478. Springer-Verlag.
[LNCS | Extended ver. with proofs]
Papers 2011
- Ichiro Hasuo and Bart Jacobs.
Traces for Coalgebraic Components.
Mathematical Structures in Computer Science, 21:267-320, 2011.
[CUP | preprint pdf] - Ichiro Hasuo.
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.
Proc. CALCO 2011.
LNCS 6859, p. 222-236. Springer-Verlag.
[LNCS | preprint pdf | extended ver. with proofs] -
Kohei Suenaga
and Ichiro Hasuo.
Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
Proc. ICALP 2011, Track B.
LNCS 6756, p. 392-403. Springer-Verlag.
[LNCS | preprint pdf | extended version with proofs] - Ichiro Hasuo and
Naohiko Hoshino.
Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
Proc. LICS 2011.
p. 237-246. IEEE Computer Society.
[IEEE | preprint pdf | extended ver. with proofs]