2009 |
47 | EE | Daisuke Ishii,
Kazunori Ueda,
Hiroshi Hosobe:
Simulation of hybrid systems based on hierarchical interval constraints.
SimuTools 2009: 37 |
2008 |
46 | EE | Kazunori Ueda:
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.
RTA 2008: 392-408 |
45 | EE | Kazunori Ueda:
Encoding Distributed Process Calculi into LMNtal.
Electr. Notes Theor. Comput. Sci. 209: 187-200 (2008) |
2006 |
44 | EE | Kazunori Ueda,
Norio Kato,
Koji Hara,
Ken Mizuno:
LMNtal as a Unifying Declarative Language: Live Demonstration.
ICLP 2006: 457-458 |
43 | EE | Kazunori Ueda:
Constraint-Based Concurrency and Beyond.
Electr. Notes Theor. Comput. Sci. 162: 327-331 (2006) |
2004 |
42 | EE | Kazunori Ueda,
Norio Kato:
LMNtal: A Language Model with Links and Membranes.
Workshop on Membrane Computing 2004: 110-125 |
2003 |
41 | EE | Kazunori Ueda,
Norio Kato:
The Language Model LMNtal.
ICLP 2003: 517-518 |
40 | EE | 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 | EE | 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 | EE | 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 | EE | Kazunori Ueda:
A Close Look at Constraint-Based Concurrency.
ICLP 2001: 9 |
30 | EE | Kazunori Ueda:
Resource-Passing Concurrent Programming.
TACS 2001: 95-126 |
2000 |
29 | EE | 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 | EE | Kazunori Ueda:
Linearity Analysis of Concurrent Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
1998 |
25 | EE | 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 | EE | 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 |