年別の研究成果
年別の研究成果
フィンガープリント
Kazunori Uedaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 6 類似のプロファイル
ネットワーク
国レベルでの最近の外部協力。点をクリックして確認してください。
研究成果
-
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. (eds.). Springer, p. 153-178 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11971 LNCS).研究成果: Conference contribution
-
Generation of efficient obfuscated code through just-in-time compilation
Hataba, M., El-Mahdy, A. & Ueda, K., 2019 3 1, In: IEICE Transactions on Information and Systems. E102D, 3, p. 645-649 5 p.研究成果: Article › 査読
Open Access -
Introducing symmetry to graph rewriting systems with process abstraction
Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Guerra, E. & Orejas, F. (eds.). Springer Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11629 LNCS).研究成果: Conference contribution
-
Implementation of LMNtal Model Checkers: A Metaprogramming Approach
Tsunekawa, Y., Tomioka, T. & Ueda, K., 2018 11 1, In: Journal of Object Technology. 17, 1研究成果: Article › 査読
-
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
Ueda, K., 2018 10 15, In: Science of Computer Programming. 164, p. 3-17 15 p.研究成果: Article › 査読
2 被引用数 (Scopus)