• 373 引用
  • 10 h指数
1984 …2019
Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Kazunori Uedaが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Logic programming Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Model checking Engineering & Materials Science
Parallel programming Engineering & Materials Science
Graph Rewriting Mathematics
Concurrency Mathematics
Concurrent Mathematics

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 1984 2019

  • 373 引用
  • 10 h指数
  • 40 Article
  • 27 Conference contribution
  • 2 Chapter
  • 2 Editorial

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

公開
Cloud computing
Engineers
Processing
Costs

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

Graph Rewriting
Rewriting Systems
Symmetry
Symmetry Reduction
Model checking

Implementation of LMNtal Model Checkers: A Metaprogramming Approach

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

研究成果: Article

Application programming interfaces (API)
Modeling languages

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

Substitution reactions
Computer programming languages
Functional programming
Logic programming
Graph theory
Logic programming
Parallel programming
Computer architecture
Computer operating systems
Parallel algorithms