Masahiro Fujita
Masahiro Fujita
Email verificata su ee.t.u-tokyo.ac.jp
TitoloCitata daAnno
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 317-320, 1999
8881999
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation
M Fujita, PC McGeer, JCY Yang
Formal methods in system design 10 (2-3), 149-169, 1997
4961997
Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
M Fujita, H Fujisawa, N Kawato
ICCAD 88, 2-5, 1988
4141988
Spectral transforms for large boolean functions with applications to technology mapping
EM Clarke, KL McMillan, X Zhao, M Fujita, J Yang
30th ACM/IEEE Design Automation Conference, 54-60, 1993
3561993
Power analysis and minimization techniques for embedded DSP software
MTC Lee, V Tiwari, S Malik, M Fujita
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (1), 123-135, 1997
3451997
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
M Fujita, Y Matsunaga, T Kakuda
Proceedings of the conference on European design automation, 50-54, 1991
3441991
Induction of apoptosis and pulmonary fibrosis in mice in response to ligation of Fas antigen
N Hagimoto, K Kuwano, H Miyazaki, R Kunitake, M Fujita, M Kawasaki, ...
American journal of respiratory cell and molecular biology 17 (3), 272-278, 1997
3251997
Representations of discrete functions
T Sasao, M Fujita
Kluwer, 1996
3171996
Overexpression of tumor necrosis factor-α produces an increase in lung volumes and pulmonary hypertension
M Fujita, JM Shannon, CG Irvin, KA Fagan, C Cool, A Augustin, RJ Mason
American Journal of Physiology-Lung Cellular and Molecular Physiology 280 (1 …, 2001
2542001
Mapping brain region activity during chewing: a functional magnetic resonance imaging study
M Onozuka, M Fujita, K Watanabe, Y Hirano, M Niwa, K Nishiyama, ...
Journal of dental research 81 (11), 743-746, 2002
2412002
TGF-β1 as an enhancer of Fas-mediated apoptosis of lung epithelial cells
N Hagimoto, K Kuwano, I Inoshima, M Yoshimi, N Nakamura, M Fujita, ...
The Journal of Immunology 168 (12), 6470-6478, 2002
2392002
The involvement of Fas–Fas ligand pathway in fibrosing lung diseases
K Kuwano, H Miyazaki, N Hagimoto, M Kawasaki, M Fujita, R Kunitake, ...
American journal of respiratory cell and molecular biology 20 (1), 53-60, 1999
1901999
Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions
A Narayan, J Jain, M Fujita, A Sangiovanni-Vincentelli
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided …, 1997
1651997
Hybrid decision diagrams
EM Clarke, M Fujita, X Zhao
Proceedings of the 1995 IEEE/ACM international conference on Computer-aided …, 1995
1611995
Overexpression of tumor necrosis factor-α diminishes pulmonary fibrosis induced by bleomycin or transforming growth factor-β
M Fujita, JM Shannon, O Morikawa, J Gauldie, N Hara, RJ Mason
American journal of respiratory cell and molecular biology 29 (6), 669-676, 2003
1432003
Age-related changes in brain regional activity during chewing: a functional magnetic resonance imaging study
M Onozuka, M Fujita, K Watanabe, Y Hirano, M Niwa, K Nishiyama, ...
Journal of dental research 82 (8), 657-660, 2003
1432003
Endothelial Cell Apoptosis in Lipopolysaccharide–Induced Lung Injury in Mice
M Fujita, K Kuwano, R Kunitake, N Hagimoto, H Miyazaki, Y Kaneko, ...
International archives of allergy and immunology 117 (3), 202-208, 1998
1401998
Coexistent emphysema delays the decrease of vital capacity in idiopathic pulmonary fibrosis
T Akagi, T Matsumoto, T Harada, M Tanaka, T Kuraki, M Fujita, ...
Respiratory medicine 103 (8), 1209-1215, 2009
1282009
Oxidative stress in lung epithelial cells from patients with idiopathic interstitial pneumonias
K Kuwano, N Nakashima, I Inoshima, N Hagimoto, M Fujita, M Yoshimi, ...
European Respiratory Journal 21 (2), 232-240, 2003
1232003
Variable ordering algorithms for ordered binary decision diagrams and their evaluation
M Fujita, H Fujisawa, Y Matsunaga
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1993
1191993
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20