• [pdf] Kazunozi Ueda: Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. Science of Computer Programming, 2017, DOI: 10.1016/j.scico.2017.06.002.
  • [pdf] Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda: Implementation of LMNtal Model Checkers: a Metaprogramming Approach. First Workshop on Meta-Programming Techniques and Reflection (META'16), Amsterdam, Oct. 2016.
  • [pdf] Alimujiang Yasen and Kazunori Ueda: Hypergraph Representation of Lambda-Terms. In Proc. 10th International Symposium on Theoretical Aspects of Software Engineering, IEEE Compueter Society, 2016, pp.113-116, DOI:10.1109/TASE.2016.25.
  • [pdf] Kazunori Ueda: Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. In Proc. 13th International Symposium on Functional and Logic Programming (FLOPS 2016), Oleg Kiselyov and Andy King (eds.), LNCS 9613, Springer-Verlang, 2016, pp.1-11, DOI:10.1007/978-3-319-29604-3_1.
  • [pdf] Kazuhiro Miyahara and Kazunori Ueda: Optimized Canonical Labeling Algorithm for Graph Rewriting Systems. Computer Software, Vol.33 (2016), No.1 pp.1_126-1_149, DOI: 10.11309/jssst.33.1_126.
  • [pdf] Kazunori Ueda: Towards a Substrate Framework of Computation. In Concurrent Objects and Beyond, Gul Agha et al. (eds.), LNCS 8665, Springer-Verlag, 2014, pp.341-366, DOI:10.1007/978-3-662-44471-9_15.
  • [pdf] Alimujiang Yasen, Kazunori Ueda: Implementing a subset of Lambda Prolog in HyperLMNtal. In Proc. JSSST 2014, 2014. (11 pages)
  • [pdf] Alimujiang Yasen, Kazunori Ueda: Encoding Type Systems into HyperLMNtal. In Proc. JSSST 2013, 2013. (6 pages)
  • [pdf] Kazunori Ueda and Seiji Ogawa: HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. Künstliche Intelligenz, Vol.26, No.1 (2012), pp.27-36. DOI: 10.1007/s13218-011-0162-3.
  • [pdf] Manabu Meguro, Naoki Yaguchi, Kazunori Ueda: Model Checker for Multiple Models of Computation. In Proc. JSSST 2012, 2012. (13 pages)
  • [pdf] Masato Gocho, Taisuke Hori and Kazunori Ueda, Evolution of the LMNtal Runtime to a Parallel Model Checker. Computer Software, Vol.28, No.4 (2011), pp.137-157. (in Japanese)
  • [pdf] Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa and Kazunori Ueda, LMNtal Model Checking using an Integrated Development Environment. Computer Software, Vol.27, No.4 (2010), pp.197-214. (in Japanese)
  • [pdf] Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa and Seiji Ogawa, Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. In Proc. Sixth International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), LNCS 5684, Springer, 2009, pp.349-355.
  • [pdf] Kazunori Ueda, LMNtal as a Hierarchical Logic Programming Language. Theoretical Computer Science, Vol.410, No.46 (2009), pp.4784-4800. doi:10.1016/j.tcs.2009.07.043
  • [pdf] Kazunori Ueda, Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. In Proc. 19th International Conference on Rewriting Techniques and Applications (RTA 2008), LNCS 5117, Springer, 2008, pp.392-408.
  • [pdf] Kazunori Ueda, Encoding Distributed Process Calculi into LMNtal. Electronic Notes in Theoretical Computer Science, Vol.209 (2008), pp.187-200.
  • [pdf] Kazunori Ueda, Logic and Constraint Programming versus Concurrency. Computer Software, Vol.25, No.3 (2008), pp.49-54. (in Japanese)
  • [pdf] Kei Murayama, Shintaro Kudo, Ken Sakurai, Ken Mizuno, Norio Kato and Kazunori Ueda, Implementation of the Hierarchical Graph Rewriting Language LMNtal. Computer Software, Vol.25, No.2 (2008), pp.47-77. (in Japanese)
  • [pdf] Atsuyuki Inui, Shintaro Kudo, Koji Hara, Ken Mizuno, Norio Kato and Kazunori Ueda, LMNtal: The Unifying Programming Language Based on Hierarchical Graph Rewriting. Computer Software, Vol.25. No.1 (2008), pp.124-150. (in Japanese)
  • [pdf] Kazunori Ueda, Norio Kato, Koji Hara and Ken Mizuno, LMNtal as a Unifying Declarative Language. In Proc. Third workshop on Constraing Handling Rules (CHR 2006), pp.1-15 (invited talk).
  • [pdf] Kazunori Ueda, Logic Programming and Concurrency: a Personal Perspective. The ALP Newsletter, Vol.19, No.2, May 2006.
  • [pdf] Kazunori Ueda and Norio Kato, LMNtal: a language model with links and membranes. In Proc. Fifth Int. Workshop on Membrane Computing (WMC 2004), LNCS 3365, Springer, 2005, pp.110-125. (invited lecture)
  • [pdf] Kazunori Ueda and Norio Kato, The Language Model LMNtal. Computer Software, Vol.21, No.2 (2004), pp.44-60.(in Japanese)
  • [pdf] Kazunori Ueda and Norio Kato, The Language Model LMNtal. In Proc. 19th Int. Conf. on Logic Programming (ICLP'03), LNCS 2916, Springer-Verlag, pp.517-518, 2003.

Reload   New Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup   Help   RSS of recent changes
Last-modified: 2017-07-09 (Sun) 08:13:06 (39d)