Yasuhiko Minamide

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 12

Top Topics

Predicate Invention

Regular Expressions

Top Venues

J. Inf. Process.

Arch. Formal Proofs

Sci. Comput. Program.

Publications

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. ITP (2023)
Michikazu Hirata, Yasuhiko Minamide
S-Finite Measure Monad on Quasi-Borel Spaces. Arch. Formal Proofs 2023 (2023)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Program logic for higher-order probabilistic programs in Isabelle/HOL. Sci. Comput. Program. 230 (2023)
Takayuki Miyazaki, Yasuhiko Minamide
Derivatives of Context-free Grammars with Lookahead. J. Inf. Process. 31 (2023)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS (2022)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Quasi-Borel Spaces. Arch. Formal Proofs 2022 (2022)
Takayuki Miyazaki, Yasuhiko Minamide
Context-Free Grammars with Lookahead. LATA (2021)
Qizhen Zhu, Hitoshi Akama, Yasuhiko Minamide
Solving String Constraints with Streaming String Transducers. J. Inf. Process. 27 (2019)
Takayuki Miyazaki, Yasuhiko Minamide
Derivatives of Regular Expressions with Lookahead. J. Inf. Process. 27 (2019)
Yasuhiko Minamide
Weighted Pushdown Systems with Indexed Weight Domains. Log. Methods Comput. Sci. 12 (2) (2016)
Yuya Uezato, Yasuhiko Minamide
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. DLT (2016)
Yuya Uezato, Yasuhiko Minamide
Synchronized Recursive Timed Automata. LPAR (2015)
Satoshi Sugiyama, Yasuhiko Minamide
Checking Time Linearity of Regular Expression Matching Based on Backtracking. Inf. Media Technol. 9 (3) (2014)
Yasuhiko Minamide
Weighted Pushdown Systems with Indexed Weight Domains. TACAS (2013)
Yuya Uezato, Yasuhiko Minamide
Pushdown Systems with Stack Manipulation. ATVA (2013)
Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov
Translating regular expression matching into transducers. J. Appl. Log. 10 (1) (2012)
Yasuhiko Minamide, Shunsuke Mori
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. FM (2012)
Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov
Translating Regular Expression Matching into Transducers. SYNASC (2010)
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide
Copy-on-write in the PHP language. POPL (2009)
Takuya Nishiyama, Yasuhiko Minamide
A Translation from the HTML DTD into a Regular Hedge Grammar. CIAA (2008)
Akihiko Tozawa, Yasuhiko Minamide
Complexity Results on Balanced Context-Free Languages. FoSSaCS (2007)
Yasuhiko Minamide
Verified Decision Procedures on Context-Free Grammars. TPHOLs (2007)
Yasuhiko Minamide, Akihiko Tozawa
XML Validation for Context-Free Grammars. APLAS (2006)
Yasuhiko Minamide
Static approximation of dynamically generated Web pages. WWW (2005)
Toshiaki Nishihara, Yasuhiko Minamide
Depth First Search. Arch. Formal Proofs 2004 (2004)
Koji Okuma, Yasuhiko Minamide
Executing Verified Compiler Specification. APLAS (2003)
Yasuhiko Minamide, Koji Okuma
Verifying CPS transformations in Isabelle/HOL. MERLIN (2003)
Yasuhiko Minamide
Selective Tail Call Elimination. SAS (2003)
Yasuhiko Minamide
Runtime Behavior of Conversion Interpretation of Subtyping. IFL (2001)
Yasuhiko Minamide, Koji Okuma
Verifying the CPS Transformation in Isabelle/HOL. APLAS (2001)
Yasuhiko Minamide
A New Criterion for Safe Program Transformations. APLAS (2000)
Yasuhiko Minamide
A New Criterion for Safe Program Transformations. Electron. Notes Theor. Comput. Sci. 41 (3) (2000)
Yasuhiko Minamide
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. Electron. Notes Theor. Comput. Sci. 26 (1999)
Yasuhiko Minamide, Jacques Garrigue
On the Runtime Complexity of Type-Directed Unboxing. ICFP (1998)
Yasuhiko Minamide
A Functional Representation of Data Structures with a Hole. POPL (1998)
Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
Typed Closure Conversion. POPL (1996)
Yasuhiko Minamide
Sharing Analysis Based on Type Interface. Formal Aspects Comput. 6 (6) (1994)