Yasunori Nagata

	2008
18		Seiki Akama, Yasunori Nagata, Chikatoshi Yamada: Three-Valued Temporal Logic Q t and Future Contingents. Studia Logica 88(2): 215-231 (2008)
	2007
17		Alexander Adli, Zensho Nakao, Yasunori Nagata: A Content Dependent Visualization System for Symbolic Representation of Piano Stream. KES (2) 2007: 287-294
16		Hanane H. Mirza, Alexander Adli, Hien D. Thai, Yasunori Nagata, Zensho Nakao: Audio Watermarking Based on the Psychoacoustic Model and Modulated Complex Lapped Transform. KES (2) 2007: 295-302
15		Thai Duy Hien, Ikeda Kei, Hanane Harak, Yen-Wei Chen, Yasunori Nagata, Zensho Nakao: Curvelet-Domain Image Watermarking Based on Edge-Embedding. KES (2) 2007: 311-317
14		Seiki Akama, Yasunori Nagata: Prior's Three-Valued Modal Logic Q and its Possible Applications. JACIII 11(1): 105-110 (2007)
	2006
13		Thai Duy Hien, Zensho Nakao, Kazuyoshi Miyara, Yasunori Nagata, Yen-Wei Chen: A New Chromatic Color Image Watermarking and Its PCA-Based Implementation. ICAISC 2006: 787-795
12		Kenta Kaneshima, Yoshinori Namihira, Nianyu Zou, Hiroki Higa, Yasunori Nagata: Numerical Investigation of Octagonal Photonic Crystal Fibers with Strong Confinement Field. IEICE Transactions 89-C(6): 830-837 (2006)
11		Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao: An Efficient Specification for System Verification . JACIII 10(6): 931-938 (2006)
	2005
10		Seiki Akama, Yasunori Nagata: On Prior's Three-Valued Modal Logic Q. ISMVL 2005: 14-19
9		Seiki Akama, Yasunori Nagata: Constructive Logic and Situation Theory. LAPTEC 2005: 1-8
8		Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao: Inductive Temporal Formula Specifications for System Verification. JACIII 9(3): 321-328 (2005)
	2000
7		Yasunori Nagata, D. Michael Miller, Masao Mukaidono: Logic Synthesis of Controllers for B-Ternary Asynchronous Systems. ISMVL 2000: 402-
	1999
6		Yasunori Nagata, D. Michael Miller, Masao Mukaidono: B-ternary Logic Based Asynchronous Micropipeline. ISMVL 1999: 214-219
	1998
5		Yasunori Nagata, D. Michael Miller, Masao Mukaidono: Minimal Test Set Generation for Fault Diagnosis in R-Valued PLAs. ISMVL 1998: 38-
	1997
4		Yasunori Nagata, Masao Mukaidono: Design of an Asynchronous Digital System with B-Ternary Logic. ISMVL 1997: 265-
	1995
3		Yasunori Nagata, Masao Mukaidono, Chushin Afuso: An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and Its Application to Finite State Machines. IEICE Transactions 78-D(10): 1231-1238 (1995)
	1994
2		Yasunori Nagata, Masao Mukaidono: On Multiple-Valued Separable Unordered Codes. ISMVL 1994: 350-355
	1993
1		Yasunori Nagata, Chushin Afuso: A Method of Test Pattern Generation for Multiple-Valued PLA's. ISMVL 1993: 87-91

Coauthor Index

1	Alexander Adli	[16] [17]
2	Chushin Afuso	[1] [3]
3	Seiki Akama	[9] [10] [14] [18]
4	Yen-Wei Chen	[13] [15]
5	Hanane Harak	[15]
6	Thai Duy Hien	[13] [15]
7	Hiroki Higa	[12]
8	Kenta Kaneshima	[12]
9	Ikeda Kei	[15]
10	D. Michael Miller	[5] [6] [7]
11	Hanane H. Mirza	[16]
12	Kazuyoshi Miyara	[13]
13	Masao Mukaidono	[2] [3] [4] [5] [6] [7]
14	Zensho Nakao	[8] [11] [13] [15] [16] [17]
15	Yoshinori Namihira	[12]
16	Hien D. Thai	[16]
17	Chikatoshi Yamada	[8] [11] [18]
18	Nianyu Zou	[12]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page