{"id":976,"date":"2019-08-29T16:54:26","date_gmt":"2019-08-29T07:54:26","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=976"},"modified":"2019-09-01T14:15:18","modified_gmt":"2019-09-01T05:15:18","slug":"masaki-waga-awarded-oded-maler-award-for-the-best-paper-at-formats-2019","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/masaki-waga-awarded-oded-maler-award-for-the-best-paper-at-formats-2019\/","title":{"rendered":"Masaki Waga awarded Oded Maler Award for the best paper at FORMATS 2019"},"content":{"rendered":"\n<p>Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at <a href=\"https:\/\/lipn.univ-paris13.fr\/formats2019\/\">FORMATS 2019<\/a> \u2013 the 17th International Conference on Formal Modeling and Analysis of Timed Systems \u2013 for the following contribution of his.<\/p>\n\n\n\n<p>Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: Andr\u00e9 \u00c9., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [<a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-29662-9_1\">Springer<\/a> | <a href=\"https:\/\/arxiv.org\/abs\/1906.12133\">arxiv<\/a>]<\/p>\n\n\n\n<p>Mr. Masaki Waga is a PhD student at <a href=\"https:\/\/www.nii.ac.jp\/graduate\/en\/\">SOKENDAI\/NII<\/a>, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at FORMATS 2019 \u2013 the 17th International Conference on Formal Modeling and Analysis of Timed Systems \u2013 for the following contribution of his. Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: Andr\u00e9 \u00c9., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [Springer | arxiv] Mr. Masaki Waga is a PhD student at SOKENDAI\/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3).<\/p>\n","protected":false},"author":7,"featured_media":982,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"976","footnotes":""},"categories":[1],"tags":[],"class_list":["post-976","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/976","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=976"}],"version-history":[{"count":3,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/976\/revisions"}],"predecessor-version":[{"id":1000,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/976\/revisions\/1000"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media\/982"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=976"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=976"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=976"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}