Natsuki Urabe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Preorder-constrained simulations for program refinement with effects	2025-01-20	Paper
scientific article; zbMATH DE number 7774247 (Why is no real title available?)	2023-12-08	Paper
Tail probabilities for randomized program runtimes via martingales for higher moments Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$ Specifications] IEEE Transactions on Automatic Control	2023-09-26	Paper
Ranking and repulsing supermartingales for reachability in probabilistic programs Automated Technology for Verification and Analysis	2023-07-28	Paper
The Lattice-Theoretic Essence of Property Directed Reachability Analysis	2022-12-07	Paper
Categorical liveness checking by corecursive algebras	2021-01-19	Paper
Categorical liveness checking by corecursive algebras (available as arXiv preprint)	2021-01-19	Paper
Categorical Büchi and parity conditions via alternating fixed points of functors (available as arXiv preprint)	2018-10-23	Paper
Categorical Büchi and parity conditions via alternating fixed points of functors	2018-10-23	Paper
Coalgebraic infinite traces and Kleisli simulations (available as arXiv preprint)	2018-09-06	Paper
scientific article; zbMATH DE number 6851946 (Why is no real title available?) (available as arXiv preprint)	2018-03-21	Paper
Fair simulation for nondeterministic and probabilistic Büchi automata: a coalgebraic perspective (available as arXiv preprint)	2017-10-12	Paper
Coalgebraic Infinite Traces and Kleisli Simulations	2017-07-11	Paper
Quantitative simulations by matrices Information and Computation	2016-12-22	Paper
Generic forward and backward simulations. III: Quantitative simulations by matrices CONCUR 2014 – Concurrency Theory	2014-09-15	Paper

Research outcomes over time

This page was built for person: Natsuki Urabe