| 2026 | CAV | Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers. | Joe Hattori, Naoki Kobayashi, Ken Sakayori |
| 2026 | CONCUR | Prophecy-Based Automated Verification of Message-Passing Programs. | Takashi Nagatomi, Musashi Katsura, Naoki Kobayashi, Yusuke Matsushita, Ken Sakayori |
| 2026 | ESOP | Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators. | Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi |
| 2026 | SIGGRAPH | Single-Stroke Inflatable Tubes Deforming into Freeform Planar Curves. | Rin Ishiguro, Jumpei Saito, Mayuka Kuwana, Takumi Yamamoto, Naoki Kobayashi, Ko Fujino, Koya Narumi |
| 2025 | ESOP | On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. | Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2025 | SAS | Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. | Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2024 | APLAS | Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. | Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2024 | CRiSIS | Card-Based Secure Evaluation of Decision Trees. | Yoshifumi Manabe, Naoki Kobayashi |
| 2024 | EMNLP | Video Discourse Parsing and Its Application to Multimodal Summarization: A Dataset and Baseline Approaches. | Tsutomu Hirao, Naoki Kobayashi, Hidetaka Kamigaito, Manabu Okumura, Akisato Kimura |
| 2024 | ESORICS | Card-Based Cryptographic Protocols for Three-Input Functions with a Standard Deck of Cards Using Private Operations. | Naoki Kobayashi, Yoshifumi Manabe |
| 2024 | Mobisys | Demo: Image-based Indoor Localization using Object Detection and LSTM. | Yuki Aoki, Naoki Kobayashi, Tadashi Okoshi, Jin Nakazawa |
| 2024 | PEPM | Productivity Verification for Functional Programs by Reduction to Termination Verification. | Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato |
| 2024 | PEPM | Ownership Types for Verification of Programs with Pointer Arithmetic. | Izumi Tanaka, Ken Sakayori, Naoki Kobayashi |
| 2024 | VMCAI | Borrowable Fractional Ownership Types for Verification. | Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi |
| 2023 | ACL | Dataset Distillation with Attention Labels for Fine-tuning BERT. | Aru Maekawa, Naoki Kobayashi, Kotaro Funakoshi, Manabu Okumura |
| 2023 | APLAS | Argument Reduction of Constrained Horn Clauses Using Equality Constraints. | Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi |
| 2023 | ESOP | Gradual Tensor Shape Checking. | Momoko Hattori, Naoki Kobayashi, Ryosuke Sato |
| 2023 | TACAS | Neural Network-Guided Synthesis of Recursive List Functions. | Naoki Kobayashi, Minchao Wu |
| 2022 | EMNLP | A Simple and Strong Baseline for End-to-End Neural RST-style Discourse Parsing. | Naoki Kobayashi, Tsutomu Hirao, Hidetaka Kamigaito, Manabu Okumura, Masaaki Nagata |
| 2022 | FLOPS | Asynchronous Unfold/Fold Transformation for Fixpoint Logic. | Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato |
| 2022 | IROS | Integration of Variable-height and Hopping Strategies for Humanoid Push Recovery. | Ko Yamamoto, Naoki Kobayashi, Taiki Ishigaki, Yuichi Sakemi |
| 2022 | SAS | Parameterized Recursive Refinement Types for Automated Program Verification. | Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato |
| 2021 | APLAS | Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. | Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada |
| 2021 | CONCUR | Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. | Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi |
| 2021 | CSL | A Cyclic Proof System for HFL_ℕ. | Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi |
| 2021 | EMNLP | Considering Nested Tree Structure in Sentence Extractive Summarization with Pre-trained Transformer. | Jingun Kwon, Naoki Kobayashi, Hidetaka Kamigaito, Manabu Okumura |
| 2021 | NAACL | Improving Neural RST Parsing Model with Silver Agreement Subtrees. | Naoki Kobayashi, Tsutomu Hirao, Hidetaka Kamigaito, Manabu Okumura, Masaaki Nagata |
| 2021 | PEPM | Counterexample generation for program verification based on ownership refinement types. | Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada |
| 2021 | RANLP | Making Your Tweets More Fancy: Emoji Insertion to Texts. | Jingun Kwon, Naoki Kobayashi, Hidetaka Kamigaito, Hiroya Takamura, Manabu Okumura |
| 2021 | SAS | Toward Neural-Network-Guided Program Synthesis and Verification. | Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno |
| 2021 | SAS | Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. | Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2020 | AAAI | Top-Down RST Parsing Utilizing Granularity Levels in Documents. | Naoki Kobayashi, Tsutomu Hirao, Hidetaka Kamigaito, Manabu Okumura, Masaaki Nagata |
| 2020 | APLAS | A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. | Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | DCC | Grammar Compression with Probabilistic Context-Free Grammar. | Hiroaki Naganuma, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara, Naoki Kobayashi |
| 2020 | ESOP | RustHorn: CHC-Based Verification for Rust Programs. | Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi |
| 2020 | ESOP | ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. | John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi |
| 2020 | FSCD | Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars. | Kazuyuki Asada, Naoki Kobayashi |
| 2020 | FSCD | A Probabilistic Higher-Order Fixpoint Logic. | Yo Mitani, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | FSCD | On Average-Case Hardness of Higher-Order Model Checking. | Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada |
| 2020 | SAS | Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. | Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada |
| 2020 | TACAS | Fold/Unfold Transformations for Fixpoint Logic. | Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta |
| 2019 | APLAS | A Type-Based HFL Model Checking Algorithm. | Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada |
| 2019 | EMNLP | Split or Merge: Which is Better for Unsupervised RST Parsing? | Naoki Kobayashi, Tsutomu Hirao, Kengo Nakamura, Hidetaka Kamigaito, Manabu Okumura, Masaaki Nagata |
| 2019 | ICDM | Multi-scale Sequential Pattern Discovery and Alignment for Long-Duration Waveform Similarity Quantification and Interpretation. | Masaharu Goto, Naoki Kobayashi, Gang Ren, Mitsunori Ogihara |
| 2019 | LICS | On the Termination Problem for Probabilistic Higher-Order Recursive Programs. | Naoki Kobayashi, Ugo Dal Lago, Charles Grellois |
| 2019 | PEPM | Combining higher-order model checking with refinement type inference. | Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi |
| 2019 | PEPM | Reduction from branching-time property verification of higher-order programs to HFL validity checking. | Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi |
| 2019 | PPDP | 10 Years of the Higher-Order Model Checking Project (Extended Abstract). | Naoki Kobayashi |
| 2019 | SAS | Temporal Verification of Programs via First-Order Fixpoint Logic. | Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno |
| 2019 | SAS | A Temporal Logic for Higher-Order Functional Programs. | Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi |
| 2018 | APLAS | HoIce: An ICE-Based Non-linear Horn Clause Solver. | Adrien Champion, Naoki Kobayashi, Ryosuke Sato |
| 2018 | APLAS | Automated Synthesis of Functional Programs with Auxiliary Functions. | Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada |
| 2018 | ESOP | Higher-Order Program Verification via HFL Model Checking. | Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe |
| 2018 | TACAS | ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. | Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato |
| 2017 | ESOP | Modular Verification of Higher-Order Functional Programs. | Ryosuke Sato, Naoki Kobayashi |
| 2017 | FOSSACS | Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. | Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada |
| 2017 | ICALP | Pumping Lemma for Higher-order Languages. | Kazuyuki Asada, Naoki Kobayashi |
| 2017 | IECON | Experimental verifications of control effects for severe conditions at elevator emergency stop based on the safety standards. | Keisuke Kawase, Naoki Kobayashi, Toshiko Nakagawa |
| 2017 | PEPM | Verification of code generators via higher-order model checking. | Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi |
| 2017 | POPL | On the relationship between higher-order recursion schemes and higher-order fixpoint logic. | Naoki Kobayashi, tienne Lozes, Florian Bruse |
| 2016 | APLAS | Higher-Order Model Checking in Direct Style. | Taku Terao, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | APLAS | Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. | Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | ATVA | Equivalence-Based Abstraction Refinement for \mu HORS Model Checking. | Xin Li, Naoki Kobayashi |
| 2016 | ICALP | On Word and Frontier Languages of Unsafe Higher-Order Grammars. | Kazuyuki Asada, Naoki Kobayashi |
| 2016 | ICFP | Compact bit encoding schemes for simply-typed lambda-terms. | Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara |
| 2016 | ICFP | Automatically disproving fair termination of higher-order functional programs. | Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | ICISP | Demosaicking Method for Multispectral Images Based on Spatial Gradient and Inter-channel Correlation. | Shu Ogawa, Kazuma Shinoda, Madoka Hasegawa, Shigeo Kato, Masahiro Ishikawa, Hideki Komagata, Naoki Kobayashi |
| 2016 | IPAS | Optimal Transparent Wavelength and Arrangement for Multispectral Filter Array. | Yudai Yanagi, Kazuma Shinoda, Madoka Hasegawa, Shigeo Kato, Masahiro Ishikawa, Hideki Komagata, Naoki Kobayashi |
| 2016 | POPL | Temporal verification of higher-order functional programs. | Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
| 2015 | APLAS | Decision Algorithms for Checking Definability of Order-2 Finitary PCF. | Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi |
| 2015 | APLAS | Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. | Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno |
| 2015 | CAV | Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. | Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
| 2015 | LICS | Automata-Based Abstraction Refinement for HORS Model Checking. | Naoki Kobayashi, Xin Li |
| 2015 | MVA | Three-DoF pose estimation of asteroids by appearance-based linear regression with divided parameter space. | Naoki Kobayashi, Yuji Oyamada, Yoshihiko Mochizuki, Hiroshi Ishikawa |
| 2015 | PEPM | Verifying Relational Properties of Functional Programs by First-Order Refinement. | Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi |
| 2014 | APLAS | A ZDD-Based Efficient Higher-Order Model Checking Algorithm. | Taku Terao, Naoki Kobayashi |
| 2014 | COMPSAC | Proposal and Evaluation of Safe and Efficient Log Signature Scheme for the Preservation of Evidence. | Naoki Kobayashi, Ryichi Sasaki |
| 2014 | CONCUR | Deadlock Analysis of Unbounded Process Networks. | Elena Giachino, Naoki Kobayashi, Cosimo Laneve |
| 2014 | CONCUR | Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. | Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda |
| 2014 | DCC | Efficient Algorithm and Coding for Higher-Order Compression. | Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara |
| 2014 | ESOP | Automatic Termination Verification for Higher-Order Functional Programs. | Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi |
| 2014 | FOSSACS | Unsafe Order-2 Tree Languages Are Context-Sensitive. | Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada |
| 2014 | FOSSACS | Complexity of Model-Checking Call-by-Value Programs. | Takeshi Tsukada, Naoki Kobayashi |
| 2013 | APLAS | Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. | Koichi Fujima, Sohei Ito, Naoki Kobayashi |
| 2013 | CSL | Saturation-Based Model Checking of Higher-Order Recursion Schemes. | Christopher H. Broadbent, Naoki Kobayashi |
| 2013 | ESOP | Model-Checking Higher-Order Programs with Recursive Types. | Naoki Kobayashi, Atsushi Igarashi |
| 2013 | LICS | Pumping by Typing. | Naoki Kobayashi |
| 2013 | PEPM | Towards a scalable software model checker for higher-order programs. | Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
| 2013 | POPL | Automating relatively complete verification of higher-order functional programs. | Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi |
| 2012 | CPP | Program Certification by Higher-Order Model Checking. | Naoki Kobayashi |
| 2012 | FLOPS | Exact Flow Analysis by Higher-Order Model Checking. | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi |
| 2012 | ISITA | Cooperative reception scheme using multiple terminals for digital terrestrial television broadcasting One-Segment Service. | Ryo Araki, Naoki Kobayashi, Akira Nakamura, Kohei Ohno, Makoto Itami |
| 2012 | PEPM | Functional programs as compressed data. | Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
| 2011 | ATVA | Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Httel |
| 2011 | FOSSACS | A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes. | Naoki Kobayashi |
| 2011 | FUSION | Fault parameter estimation with data assimilation on infrasound variations due to big earthquakes. | Hiromichi Nagao, Naoki Kobayashi, Shin'ya Nakano, Tomoyuki Higuchi |
| 2011 | LICS | Higher-Order Model Checking: From Theory to Practice. | Naoki Kobayashi |
| 2011 | PLDI | Predicate abstraction and CEGAR for higher-order model checking. | Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
| 2010 | APLAS | Verification of Tree-Processing Programs via Higher-Order Model Checking. | Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi |
| 2010 | FOSSACS | Untyped Recursion Schemes and Infinite Intersection Types. | Takeshi Tsukada, Naoki Kobayashi |
| 2010 | POPL | Higher-order multi-parameter tree transducers and recursion schemes for program verification. | Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno |
| 2009 | APLAS | Types and Recursion Schemes for Higher-Order Program Verification. | Naoki Kobayashi |
| 2009 | APLAS | Fractional Ownerships for Safe Memory Deallocation. | Kohei Suenaga, Naoki Kobayashi |
| 2009 | ESOP | Type-Based Automated Verification of Authenticity in Cryptographic Protocols. | Daisuke Kikuchi, Naoki Kobayashi |
| 2009 | ICALP | Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus. | Naoki Kobayashi, C.-H. Luke Ong |
| 2009 | LICS | A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. | Naoki Kobayashi, C.-H. Luke Ong |
| 2009 | POPL | Types and higher-order recursion schemes for verification of higher-order programs. | Naoki Kobayashi |
| 2009 | PPDP | Model-checking higher-order functions. | Naoki Kobayashi |
| 2009 | PPDP | Dependent type inference with interpolants. | Hiroshi Unno, Naoki Kobayashi |
| 2008 | CAV | A Hybrid Type System for Lock-Freedom of Mobile Processes. | Naoki Kobayashi, Davide Sangiorgi |
| 2008 | ESOP | Linear Declassification. | Yta Kaneko, Naoki Kobayashi |
| 2008 | FLOPS | Substructural Type Systems for Program Analysis. | Naoki Kobayashi |
| 2008 | FLOPS | On-Demand Refinement of Dependent Types. | Hiroshi Unno, Naoki Kobayashi |
| 2007 | APLAS | Type-Based Verification of Correspondence Assertions for Communication Protocols. | Daisuke Kikuchi, Naoki Kobayashi |
| 2007 | ESOP | Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. | Kohei Suenaga, Naoki Kobayashi |
| 2007 | ICALP | Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the | Naoki Kobayashi, Takashi Suto |
| 2007 | LICS | Environmental Bisimulations for Higher-Order Languages. | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
| 2006 | CONCUR | A New Type System for Deadlock-Free Processes. | Naoki Kobayashi |
| 2006 | PEPM | Resource usage analysis for a functional language with exceptions. | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi |
| 2006 | PLDI | Combining type-based analysis and model checking for finding counterexamples against non-interference. | Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa |
| 2006 | VMCAI | Resource Usage Analysis for the | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
| 2005 | LOPSTR | Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. | Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa |
| 2004 | APLAS | Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |
| 2004 | APLAS | Region-Based Memory Management for a Dynamically-Typed Language. | Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa |
| 2003 | APLAS | Useless Code Elimination and Programm Slicing for the Pi-Calculus. | Naoki Kobayashi |
| 2002 | APLAS | Type-Based Information Analysis for Low-Level Languages. | Naoki Kobayashi, Keita Shirane |
| 2002 | ICIP | Practical extension to CIELUV color space to improve uniformity. | Seishi Takamura, Naoki Kobayashi |
| 2002 | ICIP | A nonlinear spatio-temporal diffusion and its application to prefiltering in MPEG-4 video coding. | Hiroyuki Tsuji, Toru Sakatani, Yoshiyuki Yashima, Naoki Kobayashi |
| 2002 | PEPM | A new type system for JVM lock primitives. | Futoshi Iwama, Naoki Kobayashi |
| 2002 | POPL | Resource usage analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2001 | APLAS | Resource Usage Analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2001 | ICIP | Edge preserving pre-post filtering for low bitrate video coding. | Hideaki Kimata, Yoshiyuki Yashima, Naoki Kobayashi |
| 2001 | ICIP | Constructing a uniform color space for visually lossless color representation and image coding. | Seishi Takamura, Naoki Kobayashi |
| 2001 | ICIP | MPEG-2 one-pass variable bit rate control algorithm and its LSI implementation. | Seishi Takamura, Naoki Kobayashi |
| 2001 | POPL | A generic type system for the Pi-calculus. | Atsushi Igarashi, Naoki Kobayashi |
| 2000 | CONCUR | An Implicitly-Typed Deadlock-Free Process Calculus. | Naoki Kobayashi, Shin Saito, Eijiro Sumii |
| 2000 | ISCAS | Automatic two-layer video object plane generation scheme and its application to MPEG-4 video coding. | Kumi Jinzenji, Shigeki Okada, Hiroshi Watanabe, Naoki Kobayashi |
| 2000 | PEPM | Type-Based Useless Variable Elimination. | Naoki Kobayashi |
| 2000 | PEPM | Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). | Eijiro Sumii, Naoki Kobayashi |
| 1999 | POPL | Quasi-Linear Types. | Naoki Kobayashi |
| 1997 | LICS | A Partially Deadlock-Free Typed Process Calculus. | Naoki Kobayashi |
| 1997 | SAS | Type-Based Analysis of Communication for Concurrent Programming Languages. | Atsushi Igarashi, Naoki Kobayashi |
| 1996 | EuroPar | Partial Evaluation Scheme for Concurrent Languages and Its Correctness. | Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa |
| 1996 | POPL | Linearity and the Pi-Calculus. | Naoki Kobayashi, Benjamin C. Pierce, David N. Turner |
| 1995 | SAS | Static Analysis of Communication for Asynchronous Concurrent Programming Languages | Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa |
| 1994 | ICASSP | Halftoning technique using genetic algorithm. | Naoki Kobayashi, Hideo Saito |
| 1994 | ICEC | Evolutionary Computation Approaches to Halftoning Algorithm. | Hideo Saito, Naoki Kobayashi |
| 1994 | OOPSLA | Type-Theoretic Foundations for Concurrent Object-Oriented Programming. | Naoki Kobayashi, Akinori Yonezawa |
| 1993 | HCI | A Human Memory Model Based on Search Patterns. | Tomoko Saka, Hideaki Ozawa, Naoki Kobayashi |
| 1992 | PSC | Asynchronous Communication Model Based on Linear Logic. | Naoki Kobayashi, Akinori Yonezawa |