Login / Signup
Masafumi Kondo
Publication Activity (10 Years)
Years Active: 1998-2020
Publications (10 Years): 3
Top Topics
Petri Net
Boolean Formula
Ims Ld
Model Checking
Top Venues
IEICE Trans. Inf. Syst.
CANDAR
IEICE Electron. Express
</>
Publications
</>
Nao Igawa
,
Tomoyuki Yokogawa
,
Sousuke Amasaki
,
Masafumi Kondo
,
Yoichiro Sato
,
Kazutami Arimoto
Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking.
IEICE Trans. Inf. Syst.
(3) (2020)
Daichi Okamoto
,
Masafumi Kondo
,
Tomoyuki Yokogawa
,
Yoshihiro Sejima
,
Kazutami Arimoto
,
Yoichiro Sato
A Serial Booth Multiplier Using Ring Oscillator.
CANDAR
(2016)
Tomoyuki Yokogawa
,
Masafumi Kondo
,
Hisashi Miyazaki
,
Sousuke Amasaki
,
Yoichiro Sato
,
Kazutami Arimoto
Bounded model checking of Time Petri Nets using SAT solver.
IEICE Electron. Express
12 (2) (2015)
Masazumi Marutani
,
Hideaki Anbutsu
,
Masafumi Kondo
,
Noriaki Shirai
,
Hiroshi Yamazaki
,
Yuu Watanabe
An 18mW 90 to 770MHz synthesizer with agile auto-tuning for digital TV-tuners.
ISSCC
(2006)
Takuji Suzuki
,
Masafumi Kondo
Free Handwriting in Home-Care Workers Support System using Personal Digital Assistants.
APCHI
(1998)