( en | de | ru )

 

Disambiguation of "Watanabe, Kazuki"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Probabilistic Model Checking with String Diagrams of MDPs.

, , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 40-61. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wataru Watanabe

Rie Watanabe

Norihiro Watanabe

Shigeo Watanabe

Shigeo Watanabe

 

Other publications of authors with the same name

Compositional Solution of Mean Payoff Games by String Diagrams., , , and . CoRR, (2023)Cloud Illusion: A New Optical Illusion Induced by Objects Rotating Around a Blank Area., and . HCI (43), volume 1832 of Communications in Computer and Information Science, page 414-418. Springer, (2023)On principal types and well-foundedness of terms in ECC., , , and . CoRR, (2020)Special Features of COVID-19 in the FMODB: Fragment Molecular Orbital Calculations and Interaction Energy Analysis of SARS-CoV-2-Related Proteins., , , , , , , , , and 1 other author(s). J. Chem. Inf. Model., 61 (9): 4594-4612 (2021)Compositional Probabilistic Model Checking with String Diagrams of MDPs., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 40-61. Springer, (2023)Low-cycle fatigue testing and thermal fatigue life prediction of electroplated copper thin film for through hole via., , , , , , , and . Microelectron. Reliab., (2018)Proposal and Evaluation of Authentication Method Having Shoulder-Surfing Resistance for Smartwatches Using Shift Rule., , , , and . NBiS, volume 1036 of Advances in Intelligent Systems and Computing, page 560-569. Springer, (2019)A Compositional Approach to Parity Games., , , and . MFPS, volume 351 of EPTCS, page 278-295. (2021)Gait-Based Authentication Using Anomaly Detection with Acceleration of Two Devices in Smart Lock., , , , and . BWCCA, volume 97 of Lecture Notes in Networks and Systems, page 352-362. Springer, (2019)Gait-Based Authentication for Smart Locks Using Accelerometers in Two Devices., , , , and . NBiS, volume 1036 of Advances in Intelligent Systems and Computing, page 281-291. Springer, (2019)