* Publications

- [[[pdf]>http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s13218-011-0162-3]] 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]>https://www.jstage.jst.go.jp/article/jssst/28/4/28_4_4_137/_article/-char/en/]] 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]>https://www.jstage.jst.go.jp/article/jssst/27/4/27_4_4_197/_article/-char/en/]] 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]>http://www.springerlink.com/content/c756780h63p21475/]] 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]>http://dx.doi.org/10.1016/j.tcs.2009.07.043]] 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]>http://www.springerlink.com/content/3331067hv1519804/]] 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]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/lix5.pdf]] Kazunori Ueda, Encoding Distributed Process Calculi into LMNtal. Electronic Notes in Theoretical Computer Science, Vol.209 (2008), pp.187-200.

- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/3/25_3_3_49/_article/-char/en/]] Kazunori Ueda, Logic and Constraint Programming versus Concurrency.
Computer Software, Vol.25, No.3 (2008), pp.49-54. (in Japanese)

- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/2/25_2_2_47/_article/-char/en/]] 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]>https://www.jstage.jst.go.jp/article/jssst/25/1/25_1_1_124/_article/-char/en/]] 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]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/chrworkshop-ueda.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]>http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/may06/nav/articles/ueda/article.html]] Kazunori Ueda, Logic Programming and Concurrency: a Personal Perspective. The ALP Newsletter, Vol.19, No.2, May 2006.

- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/wmc5-ueda-revised.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]>https://www.jstage.jst.go.jp/article/jssst/21/2/21_2_126/_article/-char/en/]] Kazunori Ueda and Norio Kato, The Language Model LMNtal.
Computer Software, Vol.21, No.2 (2004), pp.44-60.(in Japanese)

- [[[pdf]>http://www.springerlink.com/content/bplc2x86w2cg1kna/]] 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.


Front page List of pages Search Recent changes Backup   Help   RSS of recent changes