Hiroshi Unno

Identifiers

No identifiers captured yet.

Papers (4)

1. A Hierarchy of Supermartingales for $\omega$-Regular Verification cs.LO · 2025 · author #2
2. Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification cs.LO · 2025 · author #2
3. Automating Induction for Solving Horn Clauses cs.PL · 2016 · author #1
4. Refinement Type Inference via Horn Constraint Optimization cs.PL · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Satoshi Kura 2 shared papers
• Kodai Hashimoto 1 shared papers
• Sho Torii 1 shared papers
• Takeshi Tsukada 1 shared papers