关注
Masahiro Fujita
Masahiro Fujita
在 ee.t.u-tokyo.ac.jp 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
10721999
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
6201997
Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
M Fujita, H Fujisawa, N Kawato
ICCAD 88, 2-5, 1988
4661988
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
4461993
Representations of discrete functions
T Sasao, M Fujita
Kluwer Academic, 1996
3951996
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
3901991
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
3731997
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
3651997
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
3632002
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
3212001
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
2942002
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
2222003
Synthesis and structure-activity relationships of 5-substituted 6, 8-difluoroquinolones, including sparfloxacin, a new quinolone antibacterial agent with improved potency.
T Miyamoto, J Matsumoto, K Chiba, H Egawa, K Shibamori, A Minamida, ...
Journal of medicinal chemistry 33 (6), 1645-1656, 1990
2111990
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
2071999
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
1921996
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
1842003
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
1822002
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
1791995
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
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
1702009
系统目前无法执行此操作,请稍后再试。
文章 1–20