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