Yasuhiko Minamide Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Weighted Pushdown Systems with Indexed Weight Domains. TACAS 2013: 230-244
2012
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov: Translating regular expression matching into transducers. J. Applied Logic 10(1): 32-51 (2012)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Shunsuke Mori: Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. FM 2012: 293-307
2010
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov: Translating Regular Expression Matching into Transducers. SYNASC 2010: 107-115
2009
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide: Copy-on-write in the PHP language. POPL 2009: 200-212
2008
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Takuya Nishiyama, Yasuhiko Minamide: A Translation from the HTML DTD into a Regular Hedge Grammar. CIAA 2008: 122-131
2007
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Akihiko Tozawa, Yasuhiko Minamide: Complexity Results on Balanced Context-Free Languages. FoSSaCS 2007: 346-360
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Verified Decision Procedures on Context-Free Grammars. TPHOLs 2007: 173-188
2006
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Akihiko Tozawa: XML Validation for Context-Free Grammars. APLAS 2006: 357-373
2005
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Static approximation of dynamically generated Web pages. WWW 2005: 432-441
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Toshiaki Nishihara, Yasuhiko Minamide: Depth First Search. Archive of Formal Proofs 2004 (2004)
2003
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koji Okuma, Yasuhiko Minamide: Executing Verified Compiler Specification. APLAS 2003: 178-194
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Koji Okuma: Verifying CPS transformations in Isabelle/HOL. MERLIN 2003
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Selective Tail Call Elimination. SAS 2003: 153-170
2001
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Koji Okuma: Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Runtime Behavior of Conversion Interpretation of Subtyping. IFL 2001: 155-167
2000
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: A New Criterion for Safe Program Transformations. Electr. Notes Theor. Comput. Sci. 41(3): 20-34 (2000)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: A New Criterion for Safe Program Transformations. APLAS 2000: 203-209
1999
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. Electr. Notes Theor. Comput. Sci. 26: 105-120 (1999)
1998
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, Jacques Garrigue: On the Runtime Complexity of Type-Directed Unboxing. ICFP 1998: 1-12
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: A Functional Representation of Data Structures with a Hole. POPL 1998: 75-84
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper: Typed Closure Conversion. POPL 1996: 271-283
1994
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yasuhiko Minamide: Sharing Analysis Based on Type Interface. Formal Asp. Comput. 6(6): 659-675 (1994)

Coauthor Index

1Jacques Garrigue
[c3]
2Robert Harper
[c1]
3Shunsuke Mori
[c17]
4J. Gregory Morrisett (Greg Morrisett)
[c1]
5Toshiaki Nishihara
[j4]
6Takuya Nishiyama
[c14]
7Koji Okuma
[c9] [c8] [c6]
8Tamiya Onodera
[c15]
9Yuto Sakuma
[j5] [c16]
10Michiaki Tatsubori
[c15]
11Akihiko Tozawa
[c15] [c13] [c11]
12Andrei Voronkov
[j5] [c16]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 19:46:25 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page