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 | 1072 | 1999 |
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 | 620 | 1997 |
Evaluation and improvement of Boolean comparison method based on binary decision diagrams. M Fujita, H Fujisawa, N Kawato ICCAD 88, 2-5, 1988 | 466 | 1988 |
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 | 446 | 1993 |
Representations of discrete functions T Sasao, M Fujita Kluwer Academic, 1996 | 395 | 1996 |
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 | 390 | 1991 |
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 | 373 | 1997 |
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 | 365 | 1997 |
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 | 363 | 2002 |
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 | 321 | 2001 |
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 | 294 | 2002 |
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 | 222 | 2003 |
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 | 211 | 1990 |
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 | 207 | 1999 |
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 | 192 | 1996 |
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 | 184 | 2003 |
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 | 182 | 2002 |
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 | 179 | 1995 |
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 | 178 | 1998 |
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 | 170 | 2009 |