Yasunori Nagata

23 papers Misc 1Journal 8Unranked 14
YearRankTypeTitle / Venue / Authors
2011 — conf
A Three-Valued Approach to the Master Argument.
ISMVL
Seiki Akama, Yasunori Nagata
2008 J jnl
Three-Valued Temporal Logic
Stud Logica
Seiki Akama, Yasunori Nagata, Chikatoshi Yamada
2007 — conf
A Content Dependent Visualization System for Symbolic Representation of Piano Stream.
KES (2)
Alexander Adli, Zensho Nakao, Yasunori Nagata
2007 — conf
Audio Watermarking Based on the Psychoacoustic Model and Modulated Complex Lapped Transform.
KES (2)
Hanane H. Mirza, Alexander Adli, Hien D. Thai, Yasunori Nagata, Zensho Nakao
2007 — conf
Curvelet-Domain Image Watermarking Based on Edge-Embedding.
KES (2)
Thai Duy Hien, Ikeda Kei, Hanane Harak, Yen-Wei Chen, Yasunori Nagata, Zensho Nakao
2007 J jnl
Prior's Three-Valued Modal Logic Q and its Possible Applications.
J. Adv. Comput. Intell. Intell. Informatics
Seiki Akama, Yasunori Nagata
2006 Misc conf
A New Chromatic Color Image Watermarking and Its PCA-Based Implementation.
ICAISC
Thai Duy Hien, Zensho Nakao, Kazuyoshi Miyara, Yasunori Nagata, Yen-Wei Chen
2006 J jnl
An Efficient Specification for System Verification.
J. Adv. Comput. Intell. Intell. Informatics
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
2006 — conf
DCT Watermarking Optimization by Genetic Programming.
Intelligent Information Systems
Hanane Harrak, Thai Duy Hien, Yasunori Nagata, Zensho Nakao
2006 — conf
Multichannel Color Image Watermarking Using PCA Eigenimages.
Intelligent Information Systems
Kazuyoshi Miyara, Thai Duy Hien, Hanane Harrak, Yasunori Nagata, Zensho Nakao
2006 J jnl
Numerical Investigation of Octagonal Photonic Crystal Fibers with Strong Confinement Field.
IEICE Trans. Electron.
Kenta Kaneshima, Yoshinori Namihira, Nianyu Zou, Hiroki Higa, Yasunori Nagata
2005 — conf
Constructive Logic and Situation Theory.
LAPTEC
Seiki Akama, Yasunori Nagata
2005 J jnl
Inductive Temporal Formula Specifications for System Verification.
J. Adv. Comput. Intell. Intell. Informatics
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
2005 — conf
On Prior's Three-Valued Modal Logic Q.
ISMVL
Seiki Akama, Yasunori Nagata
2000 — conf
Logic Synthesis of Controllers for B-Ternary Asynchronous Systems.
ISMVL
Yasunori Nagata, D. Michael Miller, Masao Mukaidono
1999 — conf
B-ternary Logic Based Asynchronous Micropipeline.
ISMVL
Yasunori Nagata, D. Michael Miller, Masao Mukaidono
1998 — conf
Minimal Test Set Generation for Fault Diagnosis in R-Valued PLAs.
ISMVL
Yasunori Nagata, D. Michael Miller, Masao Mukaidono
1997 — conf
Design of an Asynchronous Digital System with B-Ternary Logic.
ISMVL
Yasunori Nagata, Masao Mukaidono
1995 J jnl
An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and Its Application to Finite State Machines.
IEICE Trans. Inf. Syst.
Yasunori Nagata, Masao Mukaidono, Chushin Afuso
1994 — conf
On Multiple-Valued Separable Unordered Codes.
ISMVL
Yasunori Nagata, Masao Mukaidono
1993 — conf
A Method of Test Pattern Generation for Multiple-Valued PLA's.
ISMVL
Yasunori Nagata, Chushin Afuso
1992 J jnl
A universal literal circuit and its application to quaternary logic networks.
Syst. Comput. Jpn.
Chotei Zukeran, Yasunori Nagata, Chushin Afuso, Makoto Honda, Yutaka Nagamine
1990 J jnl
A State Assignment for p-Valued Sequential Machines.
Syst. Comput. Jpn.
Yasunori Nagata, Chotei Zukeran, Chushin Afuso