On Parallel Symbolic Analysis of Large Networks and Systems. - Tadashi Matsumoto 002; Tetsuya Sakabe; Kohkichi Tsuji (ISCAS, 1993)

The minimum number of live minimal structural traps to make an arbitrary minimal structural deadlock lve in general Petri nets. - Tadashi Matsumoto 002; Ken Saikusa; Kohkichi Tsuji (ISCAS, 1993)

Synchronization phenomena in coupled system of RC transistor oscillators. - Seiichiro Moro; Tadashi Matsumoto 002 (ISCAS, 2000)

Phase pattern switching in star-coupled Wien-bridge oscillators driven by pulse train. - Seiichiro Moro; Tadashi Matsumoto 002 (ISCAS (5), 2002)

An Application of Grobner Basis Approach to Petri Net Problems. - Tadashi Matsumoto 002; Maki Takata; Seiichiro Moro (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets. - Akira Muraya; Tadashi Matsumoto 002; Seiichiro Moro; Haruo Hasegawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Number of stimulation units needed to derive all the phase patterns in pulse-driven star-coupled LC oscillators. - Seiichiro Moro; Keisuke Hamamoto; Tadashi Matsumoto 002 (ISCAS, 2006)

Analysis of synchronization phenomena in star-coupled Wien-bridge oscillators using distorted waves. - Seiichiro Moro; Tadashi Matsumoto 002 (ECCTD, 2007)

A modified method for circuit analysis using haar wavelet transform with adaptive resolution - For circuits with waveform with sharp convex ranges -. - Masanori Oishi; Seiichiro Moro; Tadashi Matsumoto 002 (ECCTD, 2009)