Följ
Masahiro Fujita
Masahiro Fujita
Verifierad e-postadress på ee.t.u-tokyo.ac.jp
Titel
Citeras av
Citeras av
År
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
10601999
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation
M Fujita, PC McGeer, JCY Yang
Formal methods in system design 10, 149-169, 1997
6091997
Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
M Fujita, H Fujisawa, N Kawato
ICCAD 88, 2-5, 1988
4621988
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
4351993
Representations of discrete functions
T Sasao, M Fujita
Kluwer Academic, 1996
3891996
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
3831991
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
3671997
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
3661997
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
3522002
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
3142001
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
2882002
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
2172003
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
2041999
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
1901996
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
1822003
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
1792002
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
1781998
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
1781995
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
1642003
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
1632009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20