Sharing Analysis Based on Type Interface. - Yasuhiko Minamide (Formal Aspects Comput., 1994)

Typed Closure Conversion. - Yasuhiko Minamide; J. Gregory Morrisett; Robert Harper 001 (POPL, 1996)

On the Runtime Complexity of Type-Directed Unboxing. - Yasuhiko Minamide; Jacques Garrigue (ICFP, 1998)

A Functional Representation of Data Structures with a Hole. - Yasuhiko Minamide (POPL, 1998)

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. - Yasuhiko Minamide (HOOTS, 1999)

A New Criterion for Safe Program Transformations. - Yasuhiko Minamide (HOOTS, 2000)

Verifying the CPS Transformation in Isabelle/HOL. - Yasuhiko Minamide; Koji Okuma (APLAS, 2001)

Runtime Behavior of Conversion Interpretation of Subtyping. - Yasuhiko Minamide (IFL, 2001)

Executing Verified Compiler Specification. - Koji Okuma; Yasuhiko Minamide (APLAS, 2003)

Verifying CPS transformations in Isabelle/HOL. - Yasuhiko Minamide; Koji Okuma (MERLIN, 2003)

Selective Tail Call Elimination. - Yasuhiko Minamide (SAS, 2003)

Depth First Search. - Toshiaki Nishihara; Yasuhiko Minamide (Arch. Formal Proofs, 2004)

Static approximation of dynamically generated Web pages. - Yasuhiko Minamide (WWW, 2005)

XML Validation for Context-Free Grammars. - Yasuhiko Minamide; Akihiko Tozawa (APLAS, 2006)

Complexity Results on Balanced Context-Free Languages. - Akihiko Tozawa; Yasuhiko Minamide (FoSSaCS, 2007)

Verified Decision Procedures on Context-Free Grammars. - Yasuhiko Minamide (TPHOLs, 2007)

A Translation from the HTML DTD into a Regular Hedge Grammar. - Takuya Nishiyama; Yasuhiko Minamide (CIAA, 2008)

Copy-on-write in the PHP language. - Akihiko Tozawa; Michiaki Tatsubori; Tamiya Onodera; Yasuhiko Minamide (POPL, 2009)

Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. - Yasuhiko Minamide; Shunsuke Mori (FM, 2012)

Translating regular expression matching into transducers. - Yuto Sakuma; Yasuhiko Minamide; Andrei Voronkov (J. Appl. Log., 2012)

Pushdown Systems with Stack Manipulation. - Yuya Uezato; Yasuhiko Minamide (ATVA, 2013)

Checking Time Linearity of Regular Expression Matching Based on Backtracking. - Satoshi Sugiyama; Yasuhiko Minamide (Inf. Media Technol., 2014)

Synchronized Recursive Timed Automata. - Yuya Uezato; Yasuhiko Minamide (LPAR, 2015)

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. - Yuya Uezato; Yasuhiko Minamide (DLT, 2016)

Weighted Pushdown Systems with Indexed Weight Domains. - Yasuhiko Minamide (Log. Methods Comput. Sci., 2016)

Derivatives of Regular Expressions with Lookahead. - Takayuki Miyazaki; Yasuhiko Minamide (J. Inf. Process., 2019)

Solving String Constraints with Streaming String Transducers. - Qizhen Zhu; Hitoshi Akama; Yasuhiko Minamide (J. Inf. Process., 2019)

Context-Free Grammars with Lookahead. - Takayuki Miyazaki; Yasuhiko Minamide (LATA, 2021)

Quasi-Borel Spaces. - Michikazu Hirata; Yasuhiko Minamide; Tetsuya Sato 001 (Arch. Formal Proofs, 2022)

Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. - Michikazu Hirata; Yasuhiko Minamide; Tetsuya Sato 001 (ITP, 2023)

S-Finite Measure Monad on Quasi-Borel Spaces. - Michikazu Hirata; Yasuhiko Minamide (Arch. Formal Proofs, 2023)

Derivatives of Context-free Grammars with Lookahead. - Takayuki Miyazaki; Yasuhiko Minamide (J. Inf. Process., 2023)

Program logic for higher-order probabilistic programs in Isabelle/HOL. - Michikazu Hirata; Yasuhiko Minamide; Tetsuya Sato 001 (Sci. Comput. Program., 2023)

Methods for solving the Post correspondence problem and certificate generation. - Akihiro Omori; Yasuhiko Minamide (SCSS (Work in Progress), 2024)

Formalization of Differential Privacy in Isabelle/HOL. - Tetsuya Sato 001; Yasuhiko Minamide (CPP, 2025)

Further Tackling Post Correspondence Problem and Proof Generation. - Akihiro Omori; Yasuhiko Minamide (CPP, 2025)

Differential Privacy. - Tetsuya Sato 001; Yasuhiko Minamide (Arch. Formal Proofs, 2025)