• 398 Citations
  • 10 h-Index
1984 …2020

Research output per year

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.

  • 3 Similar Profiles

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

Research Output

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).

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

  • 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
  • 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

  • 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

  • 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