Natsuki Urabe

Identifiers

No identifiers captured yet.

Papers (6)

1. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments cs.LO · 2018 · author #2
2. Quantitative Simulations by Matrices cs.LO · 2018 · author #1
3. Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs cs.PL · 2018 · author #3
4. Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors cs.LO · 2018 · author #1
5. Categorical Liveness Checking by Corecursive Algebras cs.LO · 2017 · author #1
6. Coalgebraic Trace Semantics for Buechi and Parity Automata cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ichiro Hasuo 6 shared papers
• Masaki Hara 1 shared papers
• Satoshi Kura 1 shared papers
• Shunsuke Shimizu 1 shared papers
• Toru Takisaka 1 shared papers
• Yuichiro Oyabu 1 shared papers