| Publication | Date of Publication | Type |
|---|
Relations between equation automata and follow automata
Information and Computation | 2025-09-09 | Paper |
Incremental algorithms for solving regular expression intersection non-emptiness
Theoretical Computer Science | 2025-05-12 | Paper |
| Algorithms for checking intersection non-emptiness of regular expressions | 2024-09-13 | Paper |
| scientific article; zbMATH DE number 7651953 (Why is no real title available?) | 2023-02-09 | Paper |
Inferring deterministic regular expression with unorder
SOFSEM 2020: Theory and Practice of Computer Science | 2020-07-20 | Paper |
| The complexity of SORE-definability problems | 2020-05-26 | Paper |
| Context-free grammars for deterministic regular expressions with interleaving | 2019-12-12 | Paper |
On trace languages generated by (small) spiking neural P systems
Theoretical Computer Science | 2017-06-15 | Paper |
Derivatives and finite automata of expressions in star normal form
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Deterministic regular expressions with interleaving
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Deciding determinism of unary languages
Information and Computation | 2015-12-07 | Paper |
Deciding determinism of regular languages
Theory of Computing Systems | 2015-09-04 | Paper |
Checking determinism of regular expressions with counting
Information and Computation | 2015-05-04 | Paper |
Deciding determinism of unary languages is coNP-complete
Developments in Language Theory | 2013-06-28 | Paper |
Checking determinism of regular expressions with counting
Developments in Language Theory | 2012-11-02 | Paper |
Derivatives of regular expressions and an application
Computation, Physics and Beyond | 2012-06-15 | Paper |
Subtyping algorithm of regular tree grammars with disjoint production rules
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Inclusion Test Algorithms for One-Unambiguous Regular Expressions
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks
Science in China. Series F | 2009-01-26 | Paper |
Spiking neural P systems with extended rules: universality and languages
Natural Computing | 2008-07-31 | Paper |
Determining in-house/outsourcing activities of hi-tech project to seek ROS maximization
Journal of Information and Optimization Sciences | 2007-07-02 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
| scientific article; zbMATH DE number 5129602 (Why is no real title available?) | 2007-02-26 | Paper |
A framework of direct financial pay within high-tech company
Journal of Statistics and Management Systems | 2005-04-23 | Paper |
| scientific article; zbMATH DE number 2114136 (Why is no real title available?) | 2004-11-05 | Paper |
Pattern matching compilation of functions defined in context-free languages
Journal of Computer Science and Technology | 2001-10-14 | Paper |
