| Publication | Date of Publication | Type |
|---|
The bicorn curves on closed surfaces
(available as arXiv preprint) | 2025-01-01 | Paper |
The mapping class group of a nonorientable surface is quasi-isometrically embedded in the mapping class group of the orientation double cover
Groups, Geometry, and Dynamics | 2024-08-28 | Paper |
Right-angled Artin groups and curve graphs of nonorientable surfaces
Geometriae Dedicata | 2023-06-09 | Paper |
| On virtual embeddings of braid groups into mapping class groups of surfaces | 2022-03-28 | Paper |
On virtual embeddings of braid groups into mapping class groups of surfaces
(available as arXiv preprint) | 2022-01-01 | Paper |
| The mapping class group of a nonorientable surface is quasi-isometrically embedded in the mapping class group of the orientation double cover | 2021-01-28 | Paper |
| RAAGs in knot groups | 2018-06-14 | Paper |
| The RAAGs on the complement graphs of path graphs in mapping class groups | 2018-04-10 | Paper |
Embeddability of right-angled Artin groups on the complements of linear forests
Journal of Knot Theory and Its Ramifications | 2018-01-26 | Paper |
The RAAGs on the complement graphs of path graphs in mapping class groups
(available as arXiv preprint) | 2018-01-01 | Paper |
Right-angled Artin groups and full subgraphs of graphs
Journal of Knot Theory and Its Ramifications | 2017-09-29 | Paper |
A Minimized Assumption Generation Method for Component-Based Software Verification
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Optimizing the execution time for checking the consistency of XML documents
Journal of Intelligent Information Systems | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2090110 (Why is no real title available?) | 2004-08-12 | Paper |
Attribute grammars as record calculus. -- A structure-oriented denotational semantics of attribute grammars by using Cardelli's record calculus
Informatica (Ljubljana) | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 862687 (Why is no real title available?) | 1996-08-26 | Paper |
| scientific article; zbMATH DE number 3952041 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3913715 (Why is no real title available?) | 1985-01-01 | Paper |
Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3829226 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3750336 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3759510 (Why is no real title available?) | 1982-01-01 | Paper |
Characterization of the structure-generating functions of regular sets and the DOL growth functions
Information and Control | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3476548 (Why is no real title available?) | 1974-01-01 | Paper |
