Yasunori Nagata

According to our database1, Yasunori Nagata authored at least 23 papers between 1990 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
A Three-Valued Approach to the Master Argument.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

2008
Three-Valued Temporal Logic <i>Q</i> <sub> <i>t</i> </sub> and Future Contingents.
Stud Logica, 2008

2007
Prior's Three-Valued Modal Logic Q and its Possible Applications.
J. Adv. Comput. Intell. Intell. Informatics, 2007

Audio Watermarking Based on the Psychoacoustic Model and Modulated Complex Lapped Transform.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Curvelet-Domain Image Watermarking Based on Edge-Embedding.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

A Content Dependent Visualization System for Symbolic Representation of Piano Stream.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2006
An Efficient Specification for System Verification.
J. Adv. Comput. Intell. Intell. Informatics, 2006

Numerical Investigation of Octagonal Photonic Crystal Fibers with Strong Confinement Field.
IEICE Trans. Electron., 2006

Multichannel Color Image Watermarking Using PCA Eigenimages.
Proceedings of the Intelligent Information Processing and Web Mining, 2006

DCT Watermarking Optimization by Genetic Programming.
Proceedings of the Intelligent Information Processing and Web Mining, 2006

A New Chromatic Color Image Watermarking and Its PCA-Based Implementation.
Proceedings of the Artificial Intelligence and Soft Computing, 2006

2005
Inductive Temporal Formula Specifications for System Verification.
J. Adv. Comput. Intell. Intell. Informatics, 2005

Constructive Logic and Situation Theory.
Proceedings of the Advances in Logic Based Intelligent Systems, 2005

On Prior's Three-Valued Modal Logic Q.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2000
Logic Synthesis of Controllers for B-Ternary Asynchronous Systems.
Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

1999
B-ternary Logic Based Asynchronous Micropipeline.
Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1998
Minimal Test Set Generation for Fault Diagnosis in R-Valued PLAs.
Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1997
Design of an Asynchronous Digital System with B-Ternary Logic.
Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

1995
An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and Its Application to Finite State Machines.
IEICE Trans. Inf. Syst., 1995

1994
On Multiple-Valued Separable Unordered Codes.
Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

1993
A Method of Test Pattern Generation for Multiple-Valued PLA's.
Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

1992
A universal literal circuit and its application to quaternary logic networks.
Systems and Computers in Japan, 1992

1990
A State Assignment for p-Valued Sequential Machines.
Systems and Computers in Japan, 1990


  Loading...