( en | de | ru )

 

Disambiguation of "Watanabe, Kazuki"

Author of the publication

copydeleteadd this publication to your clipboard
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

, , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 279-298. Springer, (2024)

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)On principal types and well-foundedness of terms in ECC., , , and . CoRR, (2020)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)Low-cycle fatigue testing and thermal fatigue life prediction of electroplated copper thin film for through hole via., , , , , , , and . Microelectron. Reliab., (2018)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)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)Involvement of the Rostromedial Prefrontal Cortex in Human-Robot Interaction: fNIRS Evidence From a Robot-Assisted Motor Task., , , , , , , , , and 4 other author(s). Frontiers Neurorobotics, (2022)LiNS: A Library Navigation System Using Sensors and Smartphones., , , , , and . BWCCA, page 346-350. IEEE Computer Society, (2010)Pareto Curves for Compositionally Model Checking String Diagrams of MDPs., , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 279-298. Springer, (2024)