雄気 西田 の写真なし

Scopus著者プロファイル

西田 雄気

助教

Pureの文献数とScopusの被引用数に基づいて算出されます
20152022

年別の研究成果

フィンガープリント

Yuki Nishidaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
  • 1 類似のプロファイル
完全なフィンガープリントを表示

過去5年の共同研究と上位研究分野

国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
ネットワークをさらに探索
  • 5 会議への寄与
  • 2 学術論文

  • Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

    Nishida, Y., Saito, H., Chen, R., Kawata, A., Furuse, J., Suenaga, K. & Igarashi, A., 2022 7月, In: New Generation Computing. 40, 2, p. 507-540 34 p.

    研究成果: ジャーナルへの寄稿 › 学術論文 › 査読

    Open Access
    7 被引用数 (Scopus)

  • tifact Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

    Nishida, Y., Saito, H., Chen, R., Kawata, A., Furuse, J., Suenaga, K. & Igarashi, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 262-280 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12652 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    4 被引用数 (Scopus)

  • Manifest contracts with intersection types

    Nishida, Y. & Igarashi, A., 2019, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). Springer, p. 33-52 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    Open Access
    1 被引用数 (Scopus)

  • Nondeterministic manifest contracts

    Nishida, Y. & Igarashi, A., 2018 9月 3, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 16. (ACM International Conference Proceeding Series).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    Open Access

  • Sharper and simpler nonlinear interpolants for program verification

    Okudono, T., Nishida, Y., Kojima, K., Suenaga, K., Kido, K. & Hasuo, I., 2017, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Proceedings. Chang, B.-Y. E. (ed.). Springer Verlag, p. 491-513 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10695 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    Open Access
    5 被引用数 (Scopus)
7 件の研究成果をすべて表示