Yasuhiko Minamide

Available identifiers

zbMath Open minamide.yasuhikoMaRDI QIDQ420835

List of research outcomes

Publication	Date of Publication	Type
Semantic foundations of higher-order probabilistic programs in Isabelle/HOL	2024-11-26	Paper
Program logic for higher-order probabilistic programs in Isabelle/HOL	2022-08-10	Paper
Context-free grammars with lookahead	2021-10-04	Paper
On the runtime complexity of type-directed unboxing	2019-09-26	Paper
On the runtime complexity of type-directed unboxing	2017-08-21	Paper
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata	2016-08-30	Paper
Weighted Pushdown Systems with Indexed Weight Domains	2016-07-06	Paper
Synchronized Recursive Timed Automata	2016-01-12	Paper
Copy-on-write in the PHP language	2015-07-03	Paper
Pushdown Systems with Stack Manipulation	2014-07-08	Paper
Weighted Pushdown Systems with Indexed Weight Domains	2013-08-05	Paper
A New Criterion for Safe Program Transformations	2013-05-10	Paper
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing	2012-11-08	Paper
Translating regular expression matching into transducers	2012-05-23	Paper
A Translation from the HTML DTD into a Regular Hedge Grammar	2009-02-12	Paper
Verified Decision Procedures on Context-Free Grammars	2008-09-02	Paper
XML Validation for Context-Free Grammars	2008-05-06	Paper
Complexity Results on Balanced Context-Free Languages	2007-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4813397	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4736982	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4499189	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4937114	2000-02-03	Paper
Sharing analysis based on type inference	1995-04-06	Paper

Research outcomes over time

This page was built for person: Yasuhiko Minamide