Naoki Kobayashi
- Down‐regulation of CXCR4 expression on human CD8+ T cells during peripheral differentiation
2004/11/17 by Naoki Kobayashi, Hiroshi Takata, Shumpei Yokota +1 · 22 citations
Immunology and Microbiology · Medicine · #T-cell and B-cell Immunology #Immunotherapy and Immune Responses #Chemokine receptors and signaling
- Higher-Order Program Verification via HFL Model Checking
2017/10/24 by Naoki Kobayashi, Takeshi Tsukada, Kobayashi, Naoki +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Room Temperature Operation of the InGaAsSb/AlGaAsSb DH Laser at 1.8 µm Wavelength
1980/01/01 by Naoki Kobayashi, Yoshiji Horikoshi, Yoshiji Horíkoshi +1 · 1 citation
Physics and Astronomy · Engineering · #Semiconductor Quantum Structures and Devices #Advanced Semiconductor Detectors and Materials #Solid State Laser Technologies
- Organotin Compounds Promote Adipocyte Differentiation as Agonists of the Peroxisome Proliferator-Activated Receptor γ/Retinoid X Receptor Pathway
2004/12/21 by Tomohiko Kanayama, Naoki Kobayashi, Satoru Mamiya +3 · 1 citation
Engineering · Biochemistry, Genetics and Molecular Biology · Environmental Science · #Marine Biology and Environmental Chemistry #Peroxisome Proliferator-Activated Receptors #Environmental Toxicology and Ecotoxicology
- Toward Neural-Network-Guided Program Synthesis and Verification
2021/03/17 by Naoki Kobayashi, Taro Sekiyama, Kobayashi, Naoki +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- CHC-based Automated Verification of WebAssembly Programs
2026/07/19 by Akihisa Yagi, Ken Sakayori, Naoki Kobayashi
#cs.PL