Improvement of NOx Reduction Efficiency in Diesel Emission Using Nonthermal Plasma - Exhaust Gas Recirculation Combined Aftertreatment. - Masaaki Okubo; Takuya Kuwahara; Yohei Kannaka; Tomoyuki Kuroki; Keiichiro Yoshida (IAS, 2010)

Pilot-scale experiments of continuous regeneration of ceramic particulate filter in marine diesel engine using nonthermal plasma-induced radicals. - Masaaki Okubo; Takuya Kuwahara; Tomoyuki Kuroki; Keiichiro Yoshida; Kenichi Hanamoto; Kazutoshi Sato; Toshiaki Yamamoto (IAS, 2011)

Odor Removal Characteristics of a Laminated Film-Electrode Packed-Bed Nonthermal Plasma Reactor. - Takuya Kuwahara; Masaaki Okubo; Tomoyuki Kuroki; Hideya Kametaka; Toshiaki Yamamoto (Sensors, 2011)

Electroless nickel plating on fluoroplastics films using atmospheric pressure nonthermal plasma graft polymerization process. - Tomoyuki Kuroki; Mitsuru Tahara; Takuya Kuwahara; Masaaki Okubo (IAS, 2012)

Pilot-scale experiment of total marine diesel emission control using ozone injection and nonthermal plasma reduction. - Takuya Kuwahara; Tomoyuki Kuroki; Masaaki Okubo; Keiichiro Yoshida; Kenichi Hanamoto; Kazutoshi Sato (IAS, 2013)

Automatic Termination Verification for Higher-Order Functional Programs. - Takuya Kuwahara; Tachio Terauchi; Hiroshi Unno 001; Naoki Kobayashi 001 (ESOP, 2014)

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. - Takuya Kuwahara; Ryosuke Sato 001; Hiroshi Unno 001; Naoki Kobayashi 001 (CAV (2), 2015)

CO2 concentration using adsorption and nonthermal plasma desorption. - Masaaki Okubo; Tomoyuki Kuroki; Keiichiro Yoshida; Hideaki Yamada; Takuya Kuwahara (IAS, 2015)

Fundamental characteristic of reduction of energy consumption in water sterilization using nonthermal plasma. - Takuya Kuwahara (IAS, 2017)

Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Hideyuki Shimonishi (CloudNet, 2018)

Payload-Based Statistical Intrusion Detection for In-Vehicle Networks. - Takuya Kuwahara; Yukino Baba; Hisashi Kashima; Takeshi Kishikawa; Jun'ichi Tsurumi; Tomoyuki Haga; Yoshihiro Ujiie; Takamitsu Sasaki; Hideki Matsushima (PAKDD (Workshops), 2018)

Supervised and Unsupervised Intrusion Detection Based on CAN Message Frequencies for In-vehicle Network. - Takuya Kuwahara; Yukino Baba; Hisashi Kashima; Takeshi Kishikawa; Jun'ichi Tsurumi; Tomoyuki Haga; Yoshihiro Ujiie; Takamitsu Sasaki; Hideki Matsushima (J. Inf. Process., 2018)

Weaver: A Novel Configuration Designer for IT/NW Services in Heterogeneous Environments. - Takayuki Kuroda; Takuya Kuwahara; Takashi Maruyama; Kozo Satoda; Hideyuki Shimonishi; Takao Osaki; Katsushi Matsuda (GLOBECOM, 2019)

Automated Planning of System Rollback in Declarative IT System Update. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Yoichi Sato; Yasuhiro Matsunaga (IM, 2019)

Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Hideyuki Shimonishi (IEICE Trans. Commun., 2019)

Quantum annealing for ICT system design automation. - Takayuki Kuroda; Takuya Kuwahara; Kouki Yonaga; Takao Osaki; Masamichi J. Miyama; Masayuki Ohzeki (CCGRID, 2021)

An Intent-Based System Configuration Design for IT/NW Services with Functional and Quantitative Constraints. - Takuya Kuwahara; Takayuki Kuroda; Takao Osaki; Kozo Satoda (IEICE Trans. Commun., 2021)

SecureWeaver: Intent-Driven Secure System Designer. - Ooi Sian En; Razvan Beuran; Yasuo Tan; Takayuki Kuroda; Takuya Kuwahara; Norihito Fujita (SAT-CPS@CODASPY, 2022)

Automation of Intent-based Service Operation with Models and AI/ML. - Takayuki Kuroda; Yutaka Yakuwa; Takashi Maruyama; Takuya Kuwahara; Kozo Satoda (NOMS, 2022)

Intent-based System Design with Efficient Search Using Partial-Order Reduction. - Takuya Kuwahara; Takayuki Kuroda; Kozo Satoda (NOMS, 2022)

Intent-Driven Secure System Design: Methodology and Implementation. - Ooi Sian En; Razvan Beuran; Takayuki Kuroda; Takuya Kuwahara; Ryosuke Hotchi; Norihito Fujita; Yasuo Tan (Comput. Secur., 2023)