- Moded Flat GHC and Its New Generation Computing, Vol. 13, No. 1 (1994), pp. 3--43.
- ICOT Technical Report TR-145 Making Exhaustive Search Programs Deterministic
- Linearity Analysis of Concurrent Logic Kazunori UEDA
- Interval-based Solving of Hybrid Constraint Systems
- An Interval-based Approximation Method for Discrete Changes in Hybrid cc
- LMNtal: a Language Model with Links and Membranes Kazunori UEDA
- A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint Language
- ICLP'01 tutorial A Close Look at
- Resource-Passing Concurrent Programming
- Programming with Logical Links: Design of the LMNtal language
- Vol. 1 No. 1 149159 (Sep. 2008) An Interval-based Consistency Technique for
- Programs and Symmetry Kazunori Ueda
- 19 2sBg2q!J2002 G/EY!KO@J8=8 1 Programming with Logical Links
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- (The Computer Journal, Vol. 33, No. 6 (Dec. 1990), pp. 494{500) Design of the Kernel Language
- Proc. 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96),
- ICOT Technical Report TR-208 Guarded Horn Clauses: A Parallel Logic Programming
- Optimizing KLIC Generic Objects by Static Analysis Kazunori Ueda and Ryoji Tsuchiyama 3
- Experiences with Strong Moding in Concurrent Logic/Constraint Programming
- ICOT Technical Report TR103 GUARDED HORN CLAUSES
- MessageOriented Parallel Implementation of Moded Flat GHC
- In T. Ito and A. Yonezawa (Eds.), Theory and Practice of Parallel Programming,
- Logic/Constraint Programming Kazunori Information
- Encoding Distributed Process Calculi into LMNtal Kazunori UEDA
- Concurrent Logic/Constraint Programming: The Next 10 Years #
- occurs-check Occurs-Check Analysis of Concurrent Logic Programs
- Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary (InfoJapan'90), Informa-
- LMNtal LMNtal LMNtal (pronounce: "elemental")
- Concurrent Logic/ConstraintConcurrent Logic/Constraint Programming:Programming
- THEORY AND PRACTICE OF CONCURRENT SYSTEMS |THE ROLE OF KERNEL LANGUAGE IN THE FGCS PROJECT|
- Errorcorrecting Source Code Yasuhiro Ajiro, Kazunori Ueda ? , Kenta Cho ??
- Making Exhaustive Search Programs Deterministic, Part II
