[IEEE 2009 10th International Symposium on Quality Electronic Design - San Jose, CA, USA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Quality award2009

[IEEE 2009 10th International Symposium on Quality Electronic Design - San Jose, CA, USA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Quality award2009

[IEEE 2009 10th International Symposium on Quality Electronic Design (ISQED 2009) - San Jose, CA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Call for papers ISQED 2010, 11th International Symposium on Quality Electronic Design2009

[IEEE 2009 10th International Symposium on Quality Electronic Design (ISQED 2009) - San Jose, CA (2009.3.16-2009.3.18)] 2009 10th International Symposium on Quality Electronic Design - Notes2009

[IEEE 2009 10th International Symposium on Quality Electronic Design - San Jose, CA, USA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Copyright2009

[IEEE 2009 10th International Symposium on Quality Electronic Design - San Jose, CA, USA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Cover2009

[IEEE 2009 10th International Symposium on Quality Electronic Design - San Jose, CA, USA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Spine2009

[IEEE 2009 10th International Symposium on Quality Electronic Design (ISQED 2009) - San Jose, CA (2009.03.16-2009.03.18)] 2009 10th International Symposium on Quality Electronic Design - Title page2009

Performance-Constrained Transistor Sizing for Different Cell Count MinimizationYoshida, Hiroaki; Fujita, Masahiro · Journal of Information Processing · 2010

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean SatisfiabilityYoshida, Hiroaki; Fujita, Masahiro · IPSJ Transactions on System LSI Design Methodology · 2011

Clinical practice guidelines for the management of biliary tract cancers 2015: the 2 ^nd English editionMiyazaki, Masaru; Yoshitomi, Hideyuki; Miyakawa, Shuichi; Uesaka, Katsuhiko; Unno, Michiaki; Endo, Itaru; Ota, Takehiro; Ohtsuka, Masayuki; Kinoshita, Hisafumi; Shimada, Kazuaki; Shimizu, Hiroaki; Tabata, Masami; Chijiiwa, Kazuo; Nagino, Masato; Hirano, Satoshi; Wakai, Toshifumi; Wada, Keita; Iasayama, Hiroyuki; Okusaka, Takuji; Tsuyuguchi, Toshio; Fujita, Naotaka; Furuse, Junji; Yamao, Kenji; Murakami, Koji; Yamazaki, Hideya; Kijima, Hiroshi; Nakanuma, Yasuni; Yoshida, Masahiro; Takayashiki, Tsukasa; Takada, Tadahiro · Journal of Hepato-Biliary-Pancreatic Sciences · 2015

[IEEE 2009 International Conference on Field-Programmable Technology (FPT) - Sydney, Australia (2009.12.9-2009.12.11)] 2009 International Conference on Field-Programmable Technology - Demonstration of hardware-accelerated formal verificationYoshida, Hiroaki; Morishita, Satoshi; Fujita, Masahiro · 2009

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Performance-Constrained Different Cell Count Minimization for Continuously-Sized CircuitsYoshida, Hiroaki; Fujita, Masahiro · 2008

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Performance-constrained different cell count minimization for continuously-sized circuitsYoshida, Hiroaki; Fujita, Masahiro · 2008

[IEEE 2009 International Conference on Communications, Circuits and Systems (ICCCAS) - Milpitas, CA, USA (2009.07.23-2009.07.25)] 2009 International Conference on Communications, Circuits and Systems - Rule-based equivalence checking of system-level design descriptionsYoshida, Hiroaki; Fujita, Masahiro · 2009

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - On error tolerance and Engineering Change with Partially Programmable CircuitsMangassarian, Hratch; Yoshida, Hiroaki; Veneris, Andreas; Yamashita, Shigeru; Fujita, Masahiro · 2012