Kazuki Watanabe

28 papers A* 2B 4Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 B conf
A No-go Theorem for Coalgebraic Product Construction.
FoSSaCS
Mayuko Kori, Kazuki Watanabe
2025 J jnl
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs.
CoRR
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
2025 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
Proc. ACM Program. Lang.
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2025 — conf
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
RP
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Compositional Verification of Almost-Sure Büchi Objectives in MDPs.
CoRR
Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges
2025 J jnl
Efficient Black-Box Checking with Specification-Guided Abstraction.
ACM Trans. Embed. Comput. Syst.
Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga
2025 A* conf
Initial Algebra Correspondence under Reachability Conditions.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 J jnl
Initial Algebra Correspondence under Reachability Conditions.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 J jnl
On Coalgebraic Product Constructions for Markov Chains and Automata.
CoRR
Mayuko Kori, Kazuki Watanabe
2025 B conf
On Piecewise Affine Reachability with Bellman Operators.
MFCS
Anton Varonka, Kazuki Watanabe
2025 J jnl
On Piecewise Affine Reachability with Bellman Operators.
CoRR
Anton Varonka, Kazuki Watanabe
2025 B conf
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games.
CALCO
Kazuki Watanabe
2024 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
CoRR
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2024 A* conf
Composing Codensity Bisimulations.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024 J jnl
Composing Codensity Bisimulations.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024 — conf
Compositional Solution of Mean Payoff Games by String Diagrams.
Principles of Verification (3)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2024 — conf
Compositional Value Iteration with Pareto Caching.
CAV (3)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 J jnl
Compositional Value Iteration with Pareto Caching.
CoRR
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024 — conf
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
TACAS (2)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 J jnl
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 J jnl
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games.
CoRR
Kazuki Watanabe
2024 J jnl
Sinkhorn Algorithm for Sequentially Composed Optimal Transports.
CoRR
Kazuki Watanabe, Noboru Isobe
2024 J jnl
String Diagram of Optimal Transports.
CoRR
Kazuki Watanabe, Noboru Isobe
2023 — conf
Compositional Probabilistic Model Checking with String Diagrams of MDPs.
CAV (3)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023 J jnl
Compositional Probabilistic Model Checking with String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023 J jnl
Compositional Solution of Mean Payoff Games by String Diagrams.
CoRR
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2021 B conf
A Compositional Approach to Parity Games.
MFPS
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2020 J jnl
On principal types and well-foundedness of terms in ECC.
CoRR
Eitetsu Ken, Kenji Tojo, Kazuki Watanabe, Masaki Natori