和紀の写真なし上田

Scopusプロファイルを表示

上田 和紀

教授

  • 398 引用
  • 10 h指数
1984 …2020

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Kazunori Uedaが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Yamada, Y., Sato, M. & Ueda, K., 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (版). Springer, p. 153-178 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11971 LNCS).

研究成果: Conference contribution

    • Generation of efficient obfuscated code through just-in-time compilation

    Hataba, M., El-Mahdy, A. & Ueda, K., 2019 3 1, ： : IEICE Transactions on Information and Systems. E102D, 3, p. 645-649 5 p.

    研究成果: Article

    公開

    • Introducing symmetry to graph rewriting systems with process abstraction

    Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019 1 1, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Orejas, F. & Guerra, E. (版). Springer-Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11629 LNCS).

    研究成果: Conference contribution

    • Implementation of LMNtal Model Checkers: A Metaprogramming Approach

    Tsunekawa, Y., Tomioka, T. & Ueda, K., 2018 11 1, ： : Journal of Object Technology. 17, 1

    研究成果: Article

    • Name binding is easy with hypergraphs

    Yasen, A. & Ueda, K., 2018 4 1, ： : IEICE Transactions on Information and Systems. E101D, 4, p. 1126-1140 15 p.

    研究成果: Article