Kazunori Ueda

	2012
56		Kazunori Ueda, Seiji Ogawa: HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. KI 26(1): 27-36 (2012)
	2011
55		Takuya Okubo, Kazunori Ueda: Peer-to-Peer contents delivery system considering network distance. APNOMS 2011: 1-4
54		Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe: An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. STTT 13(5): 449-461 (2011)
	2010
53		Kazunori Ueda: Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings Springer 2010
	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		Michiya 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): 188 (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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page