default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTakuya Kuwahara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j5]Ooi Sian En, Razvan Beuran
, Takayuki Kuroda, Takuya Kuwahara, Ryosuke Hotchi, Norihito Fujita, Yasuo Tan:
Intent-Driven Secure System Design: Methodology and Implementation. Comput. Secur. 124: 102955 (2023)- 2022
- [c16]Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita:
SecureWeaver: Intent-Driven Secure System Designer. SAT-CPS@CODASPY 2022: 107-116 - [c15]Takayuki Kuroda, Yutaka Yakuwa, Takashi Maruyama, Takuya Kuwahara, Kozo Satoda:
Automation of Intent-based Service Operation with Models and AI/ML. NOMS 2022: 1-6 - [c14]Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda:
Intent-based System Design with Efficient Search Using Partial-Order Reduction. NOMS 2022: 1-7 - 2021
- [j4]Takuya Kuwahara, Takayuki Kuroda, Takao Osaki, Kozo Satoda:
An Intent-Based System Configuration Design for IT/NW Services with Functional and Quantitative Constraints. IEICE Trans. Commun. 104-B(7): 791-804 (2021) - [c13]Takayuki Kuroda, Takuya Kuwahara, Kouki Yonaga, Takao Osaki, Masamichi J. Miyama, Masayuki Ohzeki:
Quantum annealing for ICT system design automation. CCGRID 2021: 156-165
2010 – 2019
- 2019
- [j3]Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi:
Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. IEICE Trans. Commun. 102-B(3): 439-451 (2019) - [c12]Takayuki Kuroda, Takuya Kuwahara, Takashi Maruyama, Kozo Satoda, Hideyuki Shimonishi, Takao Osaki, Katsushi Matsuda:
Weaver: A Novel Configuration Designer for IT/NW Services in Heterogeneous Environments. GLOBECOM 2019: 1-6 - [c11]Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga:
Automated Planning of System Rollback in Declarative IT System Update. IM 2019: 428-434 - 2018
- [j2]Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima:
Supervised and Unsupervised Intrusion Detection Based on CAN Message Frequencies for In-vehicle Network. J. Inf. Process. 26: 306-313 (2018) - [c10]Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi:
Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics. CloudNet 2018: 1-7 - [c9]Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima:
Payload-Based Statistical Intrusion Detection for In-Vehicle Networks. PAKDD (Workshops) 2018: 186-192 - 2017
- [c8]Takuya Kuwahara:
Fundamental characteristic of reduction of energy consumption in water sterilization using nonthermal plasma. IAS 2017: 1-7 - 2015
- [c7]Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi:
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) 2015: 287-303 - [c6]Masaaki Okubo, Tomoyuki Kuroki, Keiichiro Yoshida, Hideaki Yamada, Takuya Kuwahara:
CO2 concentration using adsorption and nonthermal plasma desorption. IAS 2015: 1-7 - 2014
- [c5]Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi:
Automatic Termination Verification for Higher-Order Functional Programs. ESOP 2014: 392-411 - 2013
- [c4]Takuya Kuwahara, Tomoyuki Kuroki, Masaaki Okubo, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato:
Pilot-scale experiment of total marine diesel emission control using ozone injection and nonthermal plasma reduction. IAS 2013: 1-11 - 2012
- [c3]Tomoyuki Kuroki, Mitsuru Tahara, Takuya Kuwahara, Masaaki Okubo:
Electroless nickel plating on fluoroplastics films using atmospheric pressure nonthermal plasma graft polymerization process. IAS 2012: 1-6 - 2011
- [j1]Takuya Kuwahara, Masaaki Okubo, Tomoyuki Kuroki, Hideya Kametaka, Toshiaki Yamamoto:
Odor Removal Characteristics of a Laminated Film-Electrode Packed-Bed Nonthermal Plasma Reactor. Sensors 11(6): 5529-5542 (2011) - [c2]Masaaki Okubo, Takuya Kuwahara, Tomoyuki Kuroki, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato, Toshiaki Yamamoto:
Pilot-scale experiments of continuous regeneration of ceramic particulate filter in marine diesel engine using nonthermal plasma-induced radicals. IAS 2011: 1-7 - 2010
- [c1]Masaaki Okubo, Takuya Kuwahara, Yohei Kannaka, Tomoyuki Kuroki, Keiichiro Yoshida:
Improvement of NOx Reduction Efficiency in Diesel Emission Using Nonthermal Plasma - Exhaust Gas Recirculation Combined Aftertreatment. IAS 2010: 1-7
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
