| 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
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
On the runtime complexity of type-directed unboxing
Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Monoid-based approach to the inclusion problem on superdeterministic pushdown automata
Developments in Language Theory | 2016-08-30 | Paper |
Weighted pushdown systems with indexed weight domains
Logical Methods in Computer Science | 2016-07-06 | Paper |
Synchronized recursive timed automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Copy-on-write in the PHP language
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Pushdown systems with stack manipulation
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Weighted Pushdown Systems with Indexed Weight Domains
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
A new criterion for safe program transformations
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Reachability analysis of the HTML5 parser specification and its application to compatibility testing
FM 2012: Formal Methods | 2012-11-08 | Paper |
Translating regular expression matching into transducers
Journal of Applied Logic | 2012-05-23 | Paper |
A Translation from the HTML DTD into a Regular Hedge Grammar
Implementation and Applications of Automata | 2009-02-12 | Paper |
Verified Decision Procedures on Context-Free Grammars
Lecture Notes in Computer Science | 2008-09-02 | Paper |
XML Validation for Context-Free Grammars
Programming Languages and Systems | 2008-05-06 | Paper |
Complexity Results on Balanced Context-Free Languages
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
| scientific article; zbMATH DE number 2090845 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2086502 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1497774 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1398003 (Why is no real title available?) | 2000-02-03 | Paper |
Sharing analysis based on type inference
Formal Aspects of Computing | 1995-04-06 | Paper |
