Masahiro Fujita
Masahiro Fujita
Verified email at ee.t.u-tokyo.ac.jp
Title
Cited by
Cited by
Year
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999
9361999
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
5371997
Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
M Fujita, H Fujisawa, N Kawato
ICCAD 88, 2-5, 1988
4211988
Spectral transforms for large boolean functions with applications to technology mapping
EM Clarke, KL McMillan, X Zhao, M Fujita, J Yang
Proceedings of the 30th international Design Automation Conference, 54-60, 1993
4011993
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
3561997
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
M Fujita, Y Matsunaga, T Kakuda
Proceedings of the European Conference on Design Automation., 50-54, 1991
3511991
Representations of discrete functions
T Sasao, M Fujita
Springer US, 1996
3451996
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
3301997
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
2762002
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
2672001
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
2482002
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
1851999
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
1732003
Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for boolean functions
A Narayan, J Jain, M Fujita, A Sangiovanni-Vincentelli
Proceedings of International Conference on Computer Aided Design, 547-554, 1996
1681996
Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs
EM Clarke, M Fujita, X Zhao
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
1661995
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
1512003
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
1501998
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
1382009
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
1292003
MAP kinase activation and apoptosis in lung tissues from patients with idiopathic pulmonary fibrosis
K Yoshida, K Kuwano, N Hagimoto, K Watanabe, T Matsuba, M Fujita, ...
The Journal of Pathology: A Journal of the Pathological Society of Great …, 2002
1222002
The system can't perform the operation now. Try again later.
Articles 1–20