pith. sign in

Ichiro Hasuo

Identifiers

  • name variant Ichiro Hasuo 0.60 · backfill

Papers (29)

  1. A Coalgebraic Dijkstra Algorithm cs.DS · 2026 · author #4
  2. Monads and Distributive Laws in Substructural Contexts (Extended Version) cs.LO · 2026 · author #4
  3. Codensity Games for Bisimilarity cs.LO · 2019 · author #5
  4. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version) cs.SY · 2019 · author #2
  5. Offline timed pattern matching under uncertainty cs.SY · 2018 · author #2
  6. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input cs.SY · 2018 · author #4
  7. Path category for free - Open morphisms from coalgebras with non-deterministic branching cs.FL · 2018 · author #4
  8. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments cs.LO · 2018 · author #3
  9. Moore-Machine Filtering for Timed and Untimed Pattern Matching cs.FL · 2018 · author #2
  10. MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration cs.FL · 2018 · author #2
  11. Quantitative Simulations by Matrices cs.LO · 2018 · author #2
  12. Quantitative bisimulations using coreflections and open morphisms cs.LO · 2018 · author #2
  13. Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs cs.PL · 2018 · author #4
  14. Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors cs.LO · 2018 · author #2
  15. Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search cs.SY · 2018 · author #5
  16. Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version) cs.SY · 2017 · author #3
  17. Sharper and Simpler Nonlinear Interpolants for Program Verification cs.LO · 2017 · author #6
  18. Efficient Online Timed Pattern Matching by Automata-Based Skipping cs.FL · 2017 · author #2
  19. Categorical Liveness Checking by Corecursive Algebras cs.LO · 2017 · author #3
  20. Coalgebraic Trace Semantics for Buechi and Parity Automata cs.LO · 2016 · author #3
  21. A Boyer-Moore Type Algorithm for Timed Pattern Matching cs.FL · 2016 · author #3
  22. Semantics of Higher-Order Quantum Computation via Geometry of Interaction cs.LO · 2016 · author #1
  23. Healthiness from Duality cs.LO · 2016 · author #3
  24. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version) cs.PL · 2015 · author #3
  25. Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices) cs.LO · 2015 · author #1
  26. Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version) cs.SY · 2015 · author #2
  27. Near-Optimal Scheduling for LTL with Future Discounting cs.LO · 2014 · author #2
  28. The Geometry of Synchronization (Long Version) cs.LO · 2014 · author #3
  29. Generic Trace Semantics via Coinduction cs.LO · 2007 · author #1

Mentions

  • 2605.22149 #4 · arxiv_oai · confidence 0.70 Ichiro Hasuo
  • 0710.2505 #1 · backfill · confidence 0.70 Ichiro Hasuo

Frequent Coauthors