Skip to content
cs-conference-ranking.org

Natsuki Urabe

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

2014–2022

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2022CAVThe Lattice-Theoretic Essence of Property Directed Reachability Analysis.Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2021CALCOPreorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).Koko Muroya, Takahiro Sanada, Natsuki Urabe
2019TACASTail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2018ATVARanking and Repulsing Supermartingales for Reachability in Probabilistic Programs.Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2017LICSCategorical liveness checking by corecursive algebras.Natsuki Urabe, Masaki Hara, Ichiro Hasuo
2016CONCURCoalgebraic Trace Semantics for Buechi and Parity Automata.Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
2015CALCOCoalgebraic Infinite Traces and Kleisli Simulations.Natsuki Urabe, Ichiro Hasuo
2014CONCURGeneric Forward and Backward Simulations III: Quantitative Simulations by Matrices.Natsuki Urabe, Ichiro Hasuo