Kazunori Ueda Vis

*	2009
50	EE	Kazunori Ueda, Kazuhisa Kawada: Asymmetric DHT Based on Performance of Peers. APNOMS 2009: 427-430
49	EE	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
48	EE	Kei Ohmura, Kazunori Ueda: c-sat: A Parallel SAT Solver for Clusters. SAT 2009: 524-537
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	EE	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	EE	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

Coauthor Index

1	Yasuhiro Ajiro	[24] [27] [29] [37]
2	Takayuki Ayano	[49]
3	Takashi Chikayama	[3] [4] [14] [18]
4	Kenta Cho	[22] [24]
5	Kazuhiro Fuchi	[18]
6	Koichi Furukawa	[1] [7] [10] [11] [18]
7	Koji Hara	[44]
8	Taisuke Hori	[49]
9	Hiroshi Hosobe	[47]
10	Daisuke Ishii	[47]
11	Hiroki Iwasawa	[49]
12	Kenneth M. Kahn	[18]
13	Junzo Kamahara	[25] [32]
14	Keishi Kandori	[25]
15	Norio Kato	[34] [41] [42] [44]
16	Kazuhisa Kawada	[50]
17	Robert A. Kowalski	[18]
18	Herbert Kuchen	[35] [36]
19	Susumu Kunifuji	[1]
20	Yuji Matsumoto	[7]
21	Hideo Miyahara	[25] [32] [40]
22	Tashihiko Miyazaki	[7]
23	Ken Mizuno	[44]
24	Masao Morita	[15] [16] [17] [19]
25	Hideyuki Nakashima	[2]
26	Yuji Nomura	[25]
27	Seiji Ogawa	[49]
28	Masaru Ohki	[1]
29	Kei Ohmura	[48]
30	Hiroyuki Ohsaki	[40]
31	M. Okamoto	[32]
32	Ehud Y. Shapiro	[18]
33	Shinji Shimojo	[25] [32] [40]
34	R. K. Shyamasundar	[23]
35	Akikazu Takeuchi	[1] [7]
36	Jiro Tanaka	[7]
37	Evan Tick	[18]
38	Satoru Tomura	[2]
39	David H. D. Warren	[18]
40	Hideki Yasukawa	[1]

Colors in the list of coauthors