Authors · raw publication identity
Tachio Terauchi
全分野 · 掲載済みの全期間（2002–2026年）
データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。
対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。
著者ページの大学: 早稲田大学 · Top conference papers: 20
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
年別内訳
- 2026年 2
- 2024年 2
- 2023年 2
- 2022年 1
- 2021年 1
- 2018年 2
- 2017年 1
- 2016年 1
- 2014年 1
- 2013年 1
- 2010年 1
- 2008年 1
- 2006年 1
- 2005年 1
- 2003年 1
- 2002年 1
論文一覧（新しい年順）
- Repairing Regex-Dependent String-Manipulation Programs
- Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
- Repairing Regex-Dependent String Functions
- Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
- Repairing Regular Expressions for Extraction
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
- Repairing DoS Vulnerability of Real-World Regexes
- Constraint-Based Relational Verification
- A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Relatively complete refinement type system for verification of higher-order non-deterministic programs
Programming Languages & Formal Methods
著者ページの大学: 筑波大学 / 早稲田大学
- Decomposition instead of self-composition for proving the absence of timing channels
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Temporal verification of higher-order functional programs.
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Local temporal reasoning
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Automating Relatively Complete Verification of Higher-Order Functional Programs
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Dependent Types from Counterexamples
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Checking Race Freedom via Linear Programming
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- On Typability for Rank-2 Intersection Types with Polymorphic Recursion.
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Witnessing Side-Effects
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Checking and Inferring Local Non-Aliasing
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Flow-Sensitive Type Qualifiers
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）