Describing and Verifying Programs with Abstract Data Types. - Reiji Nakajima; Michio Honda; Hayao Nakahara (Formal Description of Programming Concepts, 1977)

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. - Michio Honda; Reiji Nakajima (IJCAI, 1979)

Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. - Reiji Nakajima; Michio Honda; Hayao Nakahara (Acta Informatica, 1980)

KWIC Example. - Tatsuya Hagino; Michio Honda; Akihiko Koga; Reiji Nakajima; Etsuya Shibayama; Taiichi Yuasa (The IOTA Programming System, 1983)

Proof System. - Michio Honda; Tatsuya Hagino; Etsuya Shibayama (The IOTA Programming System, 1983)

Strategies and Techniques for Interactive Proof. - Michio Honda; Reiji Nakajima (The IOTA Programming System, 1983)

SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface. - Michio Honda; Hiroshi Sakakibara; Yoshifumi Nishida; Hideyuki Tokuda (ISCC, 2007)

Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes. - Michio Honda; Yoshifumi Nishida; Jin Nakazawa; Hideyuki Tokuda (IEICE Trans. Commun., 2007)

A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing. - Michio Honda; Jin Nakazawa; Yoshifumi Nishida; Masahiro Kozuka; Hideyuki Tokuda (ICDCS, 2008)

Connectivity-driven flow recovery for time-sensitive transport services. - Michio Honda; Jin Nakazawa; Yoshifumi Nishida; Hideyuki Tokuda (LCN, 2008)

PACUE: Processor Allocator Considering User Experience. - Tetsuro Horikawa; Michio Honda; Jin Nakazawa; Kazunori Takashio; Hideyuki Tokuda (Euro-Par Workshops (2), 2011)

Is it still possible to extend TCP? - Michio Honda; Yoshifumi Nishida; Costin Raiciu; Adam Greenhalgh; Mark Handley; Hideyuki Tokuda (Internet Measurement Conference, 2011)

pSurvive: A process lifetime reservation system with fine-grained energy monitoring for multifunctional mobile nodes. - Masato Mori; Michio Honda; Jin Nakazawa; Hideyuki Tokuda (IWCMC, 2011)

Extending TFWC towards higher throughput. - Midori Kato; Michio Honda; Hideyuki Tokuda (CCNC, 2012)

How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP. - Costin Raiciu; Christoph Paasch; Sébastien Barré; Alan Ford; Michio Honda; Fabien Duchene 001; Olivier Bonaventure; Mark Handley (NSDI, 2012)

Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation. - Midori Kato; Kenjiro Cho; Michio Honda; Hideyuki Tokuda (MAD, 2012)

Reducing energy consumption with batched task executions. - Kenichi Yasukata; Tetsuro Horikawa; Michio Honda; Hideyuki Tokuda (SenSys, 2012)

ClickOS and the Art of Network Function Virtualization. - João Martins; Mohamed Ahmed 001; Costin Raiciu; Vladimir Andrei Olteanu; Michio Honda; Roberto Bifulco; Felipe Huici (NSDI, 2014)

Rekindling network protocol innovation with user-level stacks. - Michio Honda; Felipe Huici; Costin Raiciu; João Araújo 003; Luigi Rizzo (Comput. Commun. Rev., 2014)

mSwitch: a highly-scalable, modular software switch. - Michio Honda; Felipe Huici; Giuseppe Lettieri; Luigi Rizzo (SOSR, 2015)

PASTE: Network Stacks Must Integrate with NVMM Abstractions. - Michio Honda; Lars Eggert; Douglas Santry (HotNets, 2016)

StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. - Kenichi Yasukata; Michio Honda; Douglas Santry; Lars Eggert (USENIX ATC, 2016)

Prism: a proxy architecture for datacenter networks. - Yutaro Hayakawa; Lars Eggert; Michio Honda; Douglas Santry (SoCC, 2017)

HyperNF: building a high performance, high utilization and fair NFV platform. - Kenichi Yasukata; Felipe Huici; Vincenzo Maffione; Giuseppe Lettieri; Michio Honda (SoCC, 2017)

Unikernels Everywhere: The Case for Elastic CDNs. - Simon Kuenzer; Anton Ivanov; Filipe Manco; Jose Mendes; Yuri Volchkov; Florian Schmidt 002; Kenichi Yasukata; Michio Honda; Felipe Huici (VEE, 2017)

PASTE: A Network Programming Interface for Non-Volatile Main Memory. - Michio Honda; Giuseppe Lettieri; Lars Eggert; Douglas Santry (NSDI, 2018)

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. - Maurice Bailleu; Jörg Thalheim; Pramod Bhatotia; Christof Fetzer; Michio Honda; Kapil Vaswani (FAST, 2019)

FlowBlaze: Stateful Packet Processing in Hardware. - Salvatore Pontarelli; Roberto Bifulco; Marco Bonola; Carmelo Cascone; Marco Spaziani Brunella; Valerio Bruschi; Davide Sanvito; Giuseppe Siracusano; Antonio Capone; Michio Honda; Felipe Huici (NSDI, 2019)

Resilient Edge: A Scalable, Robust Network Function Backend. - Yutaro Hayakawa; Kenichi Yasukata; Jin Nakazawa; Michio Honda (IEICE Trans. Inf. Syst., 2019)

Designing a Storage Software Stack for Accelerators. - Shinichi Awamoto; Erich Focht; Michio Honda (HotStorage, 2020)

Packets as Persistent In-Memory Data Structures. - Michio Honda (HotNets, 2021)

Prism: Proxies without the Pain. - Yutaro Hayakawa; Michio Honda; Douglas Santry; Lars Eggert (NSDI, 2021)

Towards portable end-to-end network performance characterization of SmartNICs. - Tong Xing; Hesam Tajbakhsh; Israat Haque 001; Michio Honda; Antonio Barbalace (APSys, 2022)

FlexPort: transport scale-out with modern NICs. - Shuo Li; Steven Wei Der Chien; Michio Honda (StudentWorkshop@CoNEXT, 2022)

Improving Cloud Storage Network Bandwidth Utilization of Scientific Applications. - Steven Wei Der Chien; Kento Sato; Artur Podobas; Niclas Jansson; Stefano Markidis; Michio Honda (APNet, 2023)

Accelerating Scientific Application through Transparent I/O Interposition. - Steven Wei Der Chien; Kento Sato; Artur Podobas; Niclas Jansson; Stefano Markidis; Michio Honda (CoRR, 2024)

The Case for Transport-Level Encryption in Datacenter Networks. - Tianyi Gao; Xinshu Ma; Suhas Narreddy; Eugenio Luo; Steven W. D. Chien; Michio Honda (CoRR, 2024)

Opening Up Kernel-Bypass TCP Stacks. - Shinichi Awamoto; Michio Honda (USENIX ATC, 2025)