If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Kazunori Ueda is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1984 2019

  • 375 Citations
  • 10 h-Index
  • 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 Mar 1, In : IEICE Transactions on Information and Systems. E102D, 3, p. 645-649 5 p.

Research output: Contribution to journalArticle

Open Access
Cloud computing

Introducing symmetry to graph rewriting systems with process abstraction

Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019 Jan 1, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Orejas, F. & Guerra, E. (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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph Rewriting
Rewriting Systems
Symmetry Reduction
Model checking

Implementation of LMNtal Model Checkers: A Metaprogramming Approach

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

Research output: Contribution to journalArticle

Application programming interfaces (API)
Modeling languages

Name binding is easy with hypergraphs

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

Research output: Contribution to journalArticle

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