Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

An upper bound for transforming self-verifying automata into deterministic ones

Ira Assent, Sebastian Seibert

RAIRO-Theor. Inf. Appl., 41 3 (2007) 261-265

Published online: 2007-09-25

DOI: https://doi.org/10.1051/ita:2007017

This article has been cited by the following article(s):

Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Laurette Marais and Lynette van Zijl
International Journal of Foundations of Computer Science 33 (03n04) 313 (2022)
https://doi.org/10.1142/S0129054122410076

Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Laurette Marais and Lynette van Zijl
Electronic Proceedings in Theoretical Computer Science 252 157 (2017)
https://doi.org/10.4204/EPTCS.252.16

Descriptional Complexity of Formal Systems

Galina Jirásková
Lecture Notes in Computer Science, Descriptional Complexity of Formal Systems 9777 29 (2016)
https://doi.org/10.1007/978-3-319-41114-9_3

Descriptional Complexity of Formal Systems

Laurette Marais and Lynette van Zijl
Lecture Notes in Computer Science, Descriptional Complexity of Formal Systems 9777 180 (2016)
https://doi.org/10.1007/978-3-319-41114-9_14

Computer Science -- Theory and Applications

Jozef Štefan Jirásek, Galina Jirásková and Alexander Szabari
Lecture Notes in Computer Science, Computer Science -- Theory and Applications 9139 231 (2015)
https://doi.org/10.1007/978-3-319-20297-6_16

Verification analysis of self-verifying automata via semi-tensor product of matrices

Yong-yi YAN, Zeng-qiang CHEN and Zhong-xin LIU
The Journal of China Universities of Posts and Telecommunications 21 (4) 96 (2014)
https://doi.org/10.1016/S1005-8885(14)60322-8

Optimal simulation of self-verifying automata by deterministic automata

Galina Jirásková and Giovanni Pighizzini
Information and Computation 209 (3) 528 (2011)
https://doi.org/10.1016/j.ic.2010.11.017

Language and Automata Theory and Applications

Galina Jirásková and Giovanni Pighizzini
Lecture Notes in Computer Science, Language and Automata Theory and Applications 5457 458 (2009)
https://doi.org/10.1007/978-3-642-00982-2_39