Authors · raw publication identity

Masaki Waga

全分野 · 掲載済みの全期間(2020–2026年)

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996~2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996~2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。

著者ページの大学: 京都大学 · Top conference papers: 6

分野別内訳

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

年別内訳

論文一覧(新しい年順)

  1. 2026 · ICML

    SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora

    Masataka Yoneda, Yusuke Matsushita, Go Kamoda, Kohei Suenaga, Takuya Akiba, Masaki Waga, Sho Yokoi

    Machine Learning

    京都大学 / 東京大学

  2. 2025 · ICLR

    SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches

    Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita [東京大学] [京都大学], Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi

    Machine Learning

    京都大学 / 東北大学

  3. 2025 · IEEE S&P

    CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction

    Song Bian, Zian Zhao, Ruiyu Shen, Zhou Zhang, Ran Mao, Dawei Li, Yizhong Liu, Masaki Waga, Kohei Suenaga, Zhenyu Guan, Jiafeng Hua, Yier Jin, Jianwei Liu

    Systems Security & Privacy

    京都大学

  4. 2023 · CAV

    Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization

    Waga, Masaki

    Programming Languages & Formal Methods

    京都大学

  5. 2022 · CAV

    Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

    Banno, Ryotaro, Matsuoka, Kotaro, Matsumoto, Naoki, Bian, Song, Waga, Masaki, Suenaga, Kohei

    Programming Languages & Formal Methods

    京都大学

  6. 2020 · AAAI

    Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces

    Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

    AI (General)

    著者の全期間ページへの追加分(出版時所属は示していません)