Yasuhiko Minamide

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