 | 2009 |
|---|
| 52 |       | Kazunori Ueda,
Kazuhisa Kawada:
Asymmetric DHT Based on Performance of Peers.
APNOMS 2009: 427-430 |
| 51 | | Kazunori Ueda,
Takayuki Ayano,
Taisuke Hori,
Hiroki Iwasawa,
Seiji Ogawa:
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.
ICTAC 2009: 349-355 |
| 50 | | Kazunori Ueda,
Ken-ichi Baba:
Proposal of an Initial Route Establishment Method in Wireless Mesh Networks.
SAINT 2009: 173-176 |
| 49 | | Kei Ohmura,
Kazunori Ueda:
c-sat: A Parallel SAT Solver for Clusters.
SAT 2009: 524-537 |
| 48 | | Daisuke Ishii,
Kazunori Ueda,
Hiroshi Hosobe:
Simulation of hybrid systems based on hierarchical interval constraints.
SimuTools 2009: 37 |
| 47 | | Kazunori Ueda:
LMNtal as a hierarchical logic programming language.
Theor. Comput. Sci. 410(46): 4784-4800 (2009) |
| 2008 |
|---|
| 46 | | Kazunori Ueda:
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.
RTA 2008: 392-408 |
| 45 | | Kazunori Ueda:
Encoding Distributed Process Calculi into LMNtal.
Electr. Notes Theor. Comput. Sci. 209: 187-200 (2008) |
| 2006 |
|---|
| 44 | | Kazunori Ueda,
Norio Kato,
Koji Hara,
Ken Mizuno:
LMNtal as a Unifying Declarative Language: Live Demonstration.
ICLP 2006: 457-458 |
| 43 | | Kazunori Ueda:
Constraint-Based Concurrency and Beyond.
Electr. Notes Theor. Comput. Sci. 162: 327-331 (2006) |
| 2004 |
|---|
| 42 | | Kazunori Ueda,
Norio Kato:
LMNtal: A Language Model with Links and Membranes.
Workshop on Membrane Computing 2004: 110-125 |
| 2003 |
|---|
| 41 | | Kazunori Ueda,
Norio Kato:
The Language Model LMNtal.
ICLP 2003: 517-518 |
| 40 | | Kazunori Ueda,
Hiroyuki Ohsaki,
Shinji Shimojo,
Hideo Miyahara:
Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control.
SAINT 2003: 111-119 |
| 2002 |
|---|
| 39 |  | Kazunori Ueda:
Programming with Logical Links.
APLAS 2002: 115-126 |
| 38 | | Kazunori Ueda:
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.
Computational Logic: Logic Programming and Beyond 2002: 138-161 |
| 37 | | Yasuhiro Ajiro,
Kazunori Ueda:
Kima: An Automated Error Correction System for Concurrent Logic Programs.
Autom. Softw. Eng. 9(1): 67-94 (2002) |
| 36 | | Herbert Kuchen,
Kazunori Ueda:
Editorial: Functional and Logic Programming.
Journal of Functional and Logic Programming 2002: (2002) |
| 2001 |
|---|
| 35 | | Herbert Kuchen,
Kazunori Ueda:
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings
Springer 2001 |
| 34 | | Norio Kato,
Kazunori Ueda:
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.
APLAS 2001: 237-250 |
| 33 | | Kazunori Ueda:
Resource-Passing Concurrent Programming.
APLAS 2001: 313-327 |
| 32 | | M. Okamoto,
Kazunori Ueda,
Junzo Kamahara,
Shinji Shimojo,
Hideo Miyahara:
An Architecture of Personalized Sports Digest System with Scenario Templates.
DASFAA 2001: 170-171 |
| 31 | | Kazunori Ueda:
A Close Look at Constraint-Based Concurrency.
ICLP 2001: 9 |
| 30 | | Kazunori Ueda:
Resource-Passing Concurrent Programming.
TACS 2001: 95-126 |
| 2000 |
|---|
| 29 | | Yasuhiro Ajiro,
Kazunori Ueda:
Kima- An automated error correction system for concurrent logic programs.
AADEBUG 2000 |
| 28 | | Kazunori Ueda:
Linearity Analysis of Concurrent Logic Programs.
APLAS 2000: 51-68 |
| 27 | | Yasuhiro Ajiro,
Kazunori Ueda:
Kima - An Automated Error Correction System for Concurrent Logic Programs.
APLAS 2000: 99-118 |
| 1999 |
|---|
| 26 | | Kazunori Ueda:
Linearity Analysis of Concurrent Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 1998 |
|---|
| 25 | | Junzo Kamahara,
Yuji Nomura,
Kazunori Ueda,
Keishi Kandori,
Shinji Shimojo,
Hideo Miyahara:
A TV News Recommendation System with Automatic Recomposition.
AMCP 1998: 221-235 |
| 24 | | Yasuhiro Ajiro,
Kazunori Ueda,
Kenta Cho:
Error-Correcting Source Code.
CP 1998: 40-54 |
| 1997 |
|---|
| 23 | | R. K. Shyamasundar,
Kazunori Ueda:
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings
Springer 1997 |
| 1996 |
|---|
| 22 | | Kenta Cho,
Kazunori Ueda:
Diagnosing Non-Well-Moded Concurrent Logic Programs.
JICSLP 1996: 215-229 |
| 1995 |
|---|
| 21 | | Kazunori Ueda:
Experiences with Strong Moding in Concurrent Logic/Constraint Programming.
PSLS 1995: 134-153 |
| 1994 |
|---|
| 20 | | Kazunori Ueda:
I/O Mode Analysis in Concurrent Logic Programming.
Theory and Practice of Parallel Programming 1994: 356-368 |
| 19 | | Kazunori Ueda,
Masao Morita:
Moded Flat GHC and Its Message-Oriented Implementation Technique.
New Generation Comput. 13(1): 3-43 (1994) |
| 1993 |
|---|
| 18 | | Ehud Y. Shapiro,
David H. D. Warren,
Kazuhiro Fuchi,
Robert A. Kowalski,
Koichi Furukawa,
Kazunori Ueda,
Kenneth M. Kahn,
Takashi Chikayama,
Evan Tick:
The Fifth Generation Project: Personal Perspectives.
Commun. ACM 36(3): 46-103 (1993) |
| 17 | | Kazunori Ueda,
Masao Morita:
Message-Oriented Parallel Implementation of Moded Flat GHC.
New Generation Comput. 11(3): 323-341 (1993) |
| 1992 |
|---|
| 16 | | Kazunori Ueda,
Masao Morita:
Message-Oriented Parallel Implementation of Moded Flat GHC.
FGCS 1992: 799-808 |
| 1990 |
|---|
| 15 | | Kazunori Ueda,
Masao Morita:
A New Implementation Technique for Flat GHC.
ICLP 1990: 3-17 |
| 14 | | Kazunori Ueda,
Takashi Chikayama:
Design of the Kernel Language for the Parallel Inference Machine.
Comput. J. 33(6): 494-500 (1990) |
| 1989 |
|---|
| 13 | | Kazunori Ueda:
Parallelism in Logic Programming.
IFIP Congress 1989: 957-964 |
| 1988 |
|---|
| 12 | | Kazunori Ueda:
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.
FGCS 1988: 165-166 |
| 11 | | Kazunori Ueda,
Koichi Furukawa:
Transformation Rules for GHC Programs.
FGCS 1988: 582-591 |
| 10 | | Koichi Furukawa,
Kazunori Ueda:
GHC - A Language for a New Age of Parallel Programming.
FSTTCS 1988: 364-376 |
| 1987 |
|---|
| 9 | | Kazunori Ueda:
Making Exhaustive Search Programs Deterministic, Part II.
ICLP 1987: 356-375 |
| 8 | | Kazunori Ueda:
Making Exhaustive Search Programs Deterministic.
New Generation Comput. 5(1): 29-44 (1987) |
| 1986 |
|---|
| 7 | | Jiro Tanaka,
Kazunori Ueda,
Tashihiko Miyazaki,
Akikazu Takeuchi,
Yuji Matsumoto,
Koichi Furukawa:
Guarded Horn Clauses and Experience with Parallel Logic Programming.
FJCC 1986: 948-954 |
| 6 | | Kazunori Ueda:
Making Exhaustive Search Programs Deterministic.
ICLP 1986: 270-282 |
| 1985 |
|---|
| 5 | | Kazunori Ueda:
Guarded Horn Clauses.
LP 1985: 168-179 |
| 4 | | Kazunori Ueda,
Takashi Chikayama:
Concurrent Prolog Compiler on Top of Prolog.
SLP 1985: 119-126 |
| 1984 |
|---|
| 3 | | Kazunori Ueda,
Takashi Chikayama:
Efficient Stream/Array Processing in Logic Programming Languages.
FGCS 1984: 317-326 |
| 2 | | Hideyuki Nakashima,
Satoru Tomura,
Kazunori Ueda:
What is a Variable in Prolog?
FGCS 1984: 327-332 |
| 1 | | Koichi Furukawa,
Akikazu Takeuchi,
Susumu Kunifuji,
Hideki Yasukawa,
Masaru Ohki,
Kazunori Ueda:
MANDELA: A LogicBased Knowledge Programming System.
FGCS 1984: 613-622 |
