dblp.uni-trier.dewww.uni-trier.de

Yasunori Nagata

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EESeiki Akama, Yasunori Nagata, Chikatoshi Yamada: Three-Valued Temporal Logic Q t and Future Contingents. Studia Logica 88(2): 215-231 (2008)
2007
16EEAlexander Adli, Zensho Nakao, Yasunori Nagata: A Content Dependent Visualization System for Symbolic Representation of Piano Stream. KES (2) 2007: 287-294
15EEHanane 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
14EEThai 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
13EESeiki Akama, Yasunori Nagata: Prior's Three-Valued Modal Logic Q and its Possible Applications. JACIII 11(1): 105-110 (2007)
2006
12EEThai 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
11EEKenta 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)
10EEChikatoshi Yamada, Yasunori Nagata, Zensho Nakao: An Efficient Specification for System Verification . JACIII 10(6): 931-938 (2006)
2005
9EESeiki Akama, Yasunori Nagata: On Prior's Three-Valued Modal Logic Q. ISMVL 2005: 14-19
8 Seiki Akama, Yasunori Nagata: Constructive Logic and Situation Theory. LAPTEC 2005: 1-8
7EEChikatoshi Yamada, Yasunori Nagata, Zensho Nakao: Inductive Temporal Formula Specifications for System Verification. JACIII 9(3): 321-328 (2005)
2000
6EEYasunori Nagata, D. Michael Miller, Masao Mukaidono: Logic Synthesis of Controllers for B-Ternary Asynchronous Systems. ISMVL 2000: 402-
1999
5EEYasunori Nagata, D. Michael Miller, Masao Mukaidono: B-ternary Logic Based Asynchronous Micropipeline. ISMVL 1999: 214-219
1998
4EEYasunori Nagata, D. Michael Miller, Masao Mukaidono: Minimal Test Set Generation for Fault Diagnosis in R-Valued PLAs. ISMVL 1998: 38-
1997
3EEYasunori Nagata, Masao Mukaidono: Design of an Asynchronous Digital System with B-Ternary Logic. ISMVL 1997: 265-
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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)