| 2025 | CPP | Formalization of Differential Privacy in Isabelle/HOL. | Tetsuya Sato, Yasuhiko Minamide |
| 2025 | CPP | Further Tackling Post Correspondence Problem and Proof Generation. | Akihiro Omori, Yasuhiko Minamide |
| 2023 | ITP | Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato |
| 2022 | FLOPS | Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato |
| 2021 | LATA | Context-Free Grammars with Lookahead. | Takayuki Miyazaki, Yasuhiko Minamide |
| 2016 | DLT | Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. | Yuya Uezato, Yasuhiko Minamide |
| 2015 | LPAR | Synchronized Recursive Timed Automata. | Yuya Uezato, Yasuhiko Minamide |
| 2013 | ATVA | Pushdown Systems with Stack Manipulation. | Yuya Uezato, Yasuhiko Minamide |
| 2013 | TACAS | Weighted Pushdown Systems with Indexed Weight Domains. | Yasuhiko Minamide |
| 2012 | FM | Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. | Yasuhiko Minamide, Shunsuke Mori |
| 2010 | SYNASC | Translating Regular Expression Matching into Transducers. | Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov |
| 2009 | POPL | Copy-on-write in the PHP language. | Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide |
| 2007 | FOSSACS | Complexity Results on Balanced Context-Free Languages. | Akihiko Tozawa, Yasuhiko Minamide |
| 2006 | APLAS | XML Validation for Context-Free Grammars. | Yasuhiko Minamide, Akihiko Tozawa |
| 2005 | WWW | Static approximation of dynamically generated Web pages. | Yasuhiko Minamide |
| 2003 | APLAS | Executing Verified Compiler Specification. | Koji Okuma, Yasuhiko Minamide |
| 2003 | ICFP | Verifying CPS transformations in Isabelle/HOL. | Yasuhiko Minamide, Koji Okuma |
| 2003 | SAS | Selective Tail Call Elimination. | Yasuhiko Minamide |
| 2001 | APLAS | Verifying the CPS Transformation in Isabelle/HOL. | Yasuhiko Minamide, Koji Okuma |
| 2000 | APLAS | A New Criterion for Safe Program Transformations. | Yasuhiko Minamide |
| 1998 | ICFP | On the Runtime Complexity of Type-Directed Unboxing. | Yasuhiko Minamide, Jacques Garrigue |
| 1998 | POPL | A Functional Representation of Data Structures with a Hole. | Yasuhiko Minamide |
| 1996 | POPL | Typed Closure Conversion. | Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper |