Skip to content

Kazuki Watanabe

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

11

Active years

2005–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026CONCURFrom Coalgebraic Determinization to Belief Construction for Partial Observability.Mayuko Kori, Kazuki Watanabe
2026FOSSACSA No-go Theorem for Coalgebraic Product Construction.Mayuko Kori, Kazuki Watanabe
2025CALCOPareto Fronts for Compositionally Solving String Diagrams of Parity Games.Kazuki Watanabe
2025LICSInitial Algebra Correspondence under Reachability Conditions.Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025MFCSOn Piecewise Affine Reachability with Bellman Operators.Anton Varonka, Kazuki Watanabe
2024CAVCompositional Value Iteration with Pareto Caching.Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
2024IECONUsing Power Hardware-in-the-Loop Simulation to Explore Uninterrupted Power Service of a Converter for Microgrid.Shunya Ishiguro, James Langston, Kazuki Watanabe, Hebert Lopez, Yuki Izumida, Isabel Barnola
2024IECONPartial Virtual Damping Impedance Method Interface Approach for Power Hardware-in-the-Loop Simulation.James Langston, Shunya Ishiguro, Harsha Ravindra, Kazuki Watanabe, Karl Schoder
2024LICSComposing Codensity Bisimulations.Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024TACASPareto Curves for Compositionally Model Checking String Diagrams of MDPs.Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2023CAVCompositional Probabilistic Model Checking with String Diagrams of MDPs.Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
2023HCICloud Illusion: A New Optical Illusion Induced by Objects Rotating Around a Blank Area.Kazuhisa Yanaka, Kazuki Watanabe
2014ICCEA Shareable Whiteboard System for Distance Collaborative Learning which Enables Instruction for Multiple Groups of Students.Yuichi Ohkawa, Kazuki Watanabe, Takashi Mitsuishi
2005ISCASAn LSI system with locked in temperature insensitive state achieved by using body bias technique.Goichi Ono, Masayuki Miyazaki, Kazuki Watanabe, Takayuki Kawahara