中島 恭一

AND，OR及びNOT素子で構成される多値論理回路のフェールセーフ条件 

電子情報通信学会論文誌 J85-A(11) 1244 2002年  

A logical model for representing ambiguous states in multiple-valued logic 

IEICE Transactions on Information and Systems E82-D(10) 1344 1999年  

Explicit Expression of many-valued Lukasiewicz logic functions 

Multiple-Valued Logic-An International Journal 4(4) 249 1999年  

システムの安全確保と高信頼化・高安全化技術 

信頼性 20(2) 129 1998年  

Characterization of monotonic multiple-valued functions and their logic expressions 

IEICE Transactions on Information and Systems E81-D(6) 496 1998年  

A necessary and sufficient condition for Kleenean functions(共著) 

IEICE Transactions on Information and Systems E79-D(11) 1511 1996年  

Optimal redundancy of systems for minimizing the Probability of dangerous errors(共著) 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E77-A(1) 228 1994年  

Fundamental properties of multiple-valued logicfunctions monotonic with respect to ambiguity 「共著」 

IEICE Transactions on Information and Systems E76-D(5) 540 1993年  

Some properties and a necessary and sufficient condition for extended Kleene-Stone logic functions 「共著」 

IEICE Transactions on Information and Systems E76-D(5) 533 1993年  

Optimal desigh of redundant systems for improving fall-safe characeristics 

Computers & Mathematics with Application, 24(1) 1992年  

多値クリーネ関数の判定と論理式決定 

電子情報通信学会論文誌D-I, J73-D-I(2) 183 1990年  

A method to test whether the system is near failure 

Microelectronics and Reliability, 30(6) 1049-1054 1990年  

イベントツリー解析を利用した情報セキュリテイ評価 

電子情報通信学会論文誌A, J72-A(6) 959 1989年  

On optimal redundancy of multivalue-output systems 

IEEE Trans. on Reliability, R-36(2) 1987年