default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYasuhiko Minamide
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j11]Michikazu Hirata, Yasuhiko Minamide:
S-Finite Measure Monad on Quasi-Borel Spaces. Arch. Formal Proofs 2023 (2023)- [j10]Takayuki Miyazaki, Yasuhiko Minamide:
Derivatives of Context-free Grammars with Lookahead. J. Inf. Process. 31: 421-431 (2023) - [j9]Michikazu Hirata
, Yasuhiko Minamide, Tetsuya Sato:
Program logic for higher-order probabilistic programs in Isabelle/HOL. Sci. Comput. Program. 230: 102993 (2023) - [c26]Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. ITP 2023: 18:1-18:18 - 2022
- [j8]Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Quasi-Borel Spaces. Arch. Formal Proofs 2022 (2022) - [c25]Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS 2022: 57-74 - 2021
- [c24]Takayuki Miyazaki, Yasuhiko Minamide:
Context-Free Grammars with Lookahead. LATA 2021: 213-225
2010 – 2019
- 2019
- [j7]Takayuki Miyazaki, Yasuhiko Minamide:
Derivatives of Regular Expressions with Lookahead. J. Inf. Process. 27: 422-430 (2019) - [j6]Qizhen Zhu, Hitoshi Akama, Yasuhiko Minamide:
Solving String Constraints with Streaming String Transducers. J. Inf. Process. 27: 810-821 (2019) - 2016
- [j5]Yasuhiko Minamide:
Weighted Pushdown Systems with Indexed Weight Domains. Log. Methods Comput. Sci. 12(2) (2016) - [c23]Yuya Uezato, Yasuhiko Minamide:
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. DLT 2016: 393-405 - 2015
- [c22]Yuya Uezato, Yasuhiko Minamide:
Synchronized Recursive Timed Automata. LPAR 2015: 249-265 - 2014
- [j4]Satoshi Sugiyama, Yasuhiko Minamide:
Checking Time Linearity of Regular Expression Matching Based on Backtracking. Inf. Media Technol. 9(3): 222-232 (2014) - 2013
- [c21]Yuya Uezato, Yasuhiko Minamide:
Pushdown Systems with Stack Manipulation. ATVA 2013: 412-426 - [c20]Yasuhiko Minamide:
Weighted Pushdown Systems with Indexed Weight Domains. TACAS 2013: 230-244 - 2012
- [j3]Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov:
Translating regular expression matching into transducers. J. Appl. Log. 10(1): 32-51 (2012) - [c19]Yasuhiko Minamide, Shunsuke Mori:
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. FM 2012: 293-307 - 2010
- [c18]Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov:
Translating Regular Expression Matching into Transducers. SYNASC 2010: 107-115
2000 – 2009
- 2009
- [c17]Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide:
Copy-on-write in the PHP language. POPL 2009: 200-212 - 2008
- [c16]Takuya Nishiyama, Yasuhiko Minamide:
A Translation from the HTML DTD into a Regular Hedge Grammar. CIAA 2008: 122-131 - 2007
- [c15]Akihiko Tozawa, Yasuhiko Minamide:
Complexity Results on Balanced Context-Free Languages. FoSSaCS 2007: 346-360 - [c14]Yasuhiko Minamide:
Verified Decision Procedures on Context-Free Grammars. TPHOLs 2007: 173-188 - 2006
- [c13]Yasuhiko Minamide, Akihiko Tozawa:
XML Validation for Context-Free Grammars. APLAS 2006: 357-373 - 2005
- [c12]Yasuhiko Minamide:
Static approximation of dynamically generated Web pages. WWW 2005: 432-441 - 2004
- [j2]Toshiaki Nishihara, Yasuhiko Minamide:
Depth First Search. Arch. Formal Proofs 2004 (2004) - 2003
- [c11]Koji Okuma, Yasuhiko Minamide:
Executing Verified Compiler Specification. APLAS 2003: 178-194 - [c10]Yasuhiko Minamide, Koji Okuma:
Verifying CPS transformations in Isabelle/HOL. MERLIN 2003 - [c9]Yasuhiko Minamide:
Selective Tail Call Elimination. SAS 2003: 153-170 - 2001
- [c8]Yasuhiko Minamide, Koji Okuma:
Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37 - [c7]Yasuhiko Minamide:
Runtime Behavior of Conversion Interpretation of Subtyping. IFL 2001: 155-167 - 2000
- [c6]Yasuhiko Minamide:
A New Criterion for Safe Program Transformations. APLAS 2000: 203-209 - [c5]Yasuhiko Minamide:
A New Criterion for Safe Program Transformations. HOOTS 2000: 20-34
1990 – 1999
- 1999
- [c4]Yasuhiko Minamide:
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. HOOTS 1999: 105-120 - 1998
- [c3]Yasuhiko Minamide, Jacques Garrigue:
On the Runtime Complexity of Type-Directed Unboxing. ICFP 1998: 1-12 - [c2]Yasuhiko Minamide:
A Functional Representation of Data Structures with a Hole. POPL 1998: 75-84 - 1996
- [c1]Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper:
Typed Closure Conversion. POPL 1996: 271-283 - 1994
- [j1]Yasuhiko Minamide:
Sharing Analysis Based on Type Interface. Formal Aspects Comput. 6(6): 659-675 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
