Masafumi Kondo

According to our database, Masafumi Kondo authored at least 5 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking.

Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Masafumi Kondo, Yoichiro Sato, Kazutami Arimoto

IEICE Trans. Inf. Syst., 2020

2016

A Serial Booth Multiplier Using Ring Oscillator.

Daichi Okamoto, Masafumi Kondo, Tomoyuki Yokogawa, Yoshihiro Sejima, Kazutami Arimoto, Yoichiro Sato

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

2015

Bounded model checking of Time Petri Nets using SAT solver.

Tomoyuki Yokogawa, Masafumi Kondo, Hisashi Miyazaki, Sousuke Amasaki, Yoichiro Sato, Kazutami Arimoto

IEICE Electron. Express, 2015

2006

An 18mW 90 to 770MHz synthesizer with agile auto-tuning for digital TV-tuners.

Masazumi Marutani, Hideaki Anbutsu, Masafumi Kondo, Noriaki Shirai, Hiroshi Yamazaki, Yuu Watanabe

Proceedings of the 2006 IEEE International Solid State Circuits Conference, 2006

1998

Free Handwriting in Home-Care Workers Support System using Personal Digital Assistants.

Takuji Suzuki, Masafumi Kondo

Proceedings of the Third Asian Pacific Computer and Human Interaction, 1998