( en | de | ru )

 

Disambiguation of "Yamagata, Yoriyuki"

Author of the publication

copydeleteadd this publication to your clipboard
Operational Semantics of Process Monitors.

, and . RV, volume 10548 of Lecture Notes in Computer Science, page 403-409. Springer, (2017)

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.

Tadashi Yamagata

 

Other publications of authors with the same name

Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic.. J. Symb. Log., 83 (3): 1063-1090 (2018)Finding repeated strings in code repositories and its applications to code-clone detection., , , and . APSEC, page 497-502. IEEE, (2021)Consistency proof of a feasible arithmetic inside a bounded arithmetic. (2014)cite arxiv:1411.7087.ARCH-COMP 2019 Category Report: Falsification., , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 129-140. EasyChair, (2019)Operational Semantics of Process Monitors., and . RV, volume 10548 of Lecture Notes in Computer Science, page 403-409. Springer, (2017)ARCH-COMP 2020 Category Report: Falsification., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 140-152. EasyChair, (2020)Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning., , , , and . ICDM Workshops, page 1058-1065. IEEE Computer Society, (2017)ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources., , , , , , , , , and 2 other author(s). ARCH@SAFECOMP, volume 90 of EPiC Series in Computing, page 204-221. EasyChair, (2022)Individual-based epidemiological model of COVID19 using location data., , , , and . IEEE Big Data, page 4434-4442. IEEE, (2022)On Accelerating SMT-based Bounded Model Checking of HSTM Designs., , , , , and . APSEC, page 614-623. IEEE, (2012)