Authors · raw publication identity
Ichiro Hasuo
全分野 · 掲載済みの全期間（2007–2026年）
データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。
対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。
著者ページの大学: 総合研究大学院大学 · Top conference papers: 25
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
年別内訳
- 2026年 1
- 2025年 1
- 2024年 2
- 2023年 3
- 2022年 1
- 2021年 3
- 2020年 2
- 2019年 1
- 2017年 1
- 2016年 3
- 2014年 2
- 2013年 1
- 2012年 1
- 2011年 2
- 2007年 1
論文一覧（新しい年順）
- Monads and Distributive Laws in Substructural Contexts
- A Unifying Approach to Product Constructions for Quantitative Temporal Inference
- Compositional Value Iteration with Pareto Caching
- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
- Compositional Probabilistic Model Checking with String Diagrams of MDPs
- Exploiting Adjoints in Property Directed Reachability Analysis
- Online Causation Monitoring of Signal Temporal Logic
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis
- Decision Tree Learning in CEGIS-Based Termination Analysis
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
- Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
著者の全期間ページへの追加分（出版時所属は示していません）
- Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Codensity Games for Bisimilarity
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Categorical liveness checking by corecursive algebras
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Healthiness from Duality
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Lattice-theoretic progress measures and coalgebraic model checking.
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Memoryful geometry of interaction II: recursion and adequacy.
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Memoryful geometry of interaction
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- The geometry of synchronization
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Exercises in Nonstandard Static Analysis of Hybrid Systems
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
著者の全期間ページへの追加分（出版時所属は示していません）
- Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Categorical Views on Computations on Trees (Extended Abstract).
著者の全期間ページへの追加分（出版時所属は示していません）