Author of the publication

SEA: A Symbolic Environment for Automata Theory.

, , , , , and . WIA, volume 2214 of Lecture Notes in Computer Science, page 13-26. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SEA: A Symbolic Environment for Automata Theory., , , , , and . WIA, volume 2214 of Lecture Notes in Computer Science, page 13-26. Springer, (1999)A combinatorial approach for the state complexity of the Shuffle product., , and . CoRR, (2019)State complexity of multiple catenation., , and . CoRR, (2016)On Glushkov K-graphs., and . Scientific Applications of Language Methods, volume 2 of Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, World Scientific / Imperial College Press, (2010)State complexity of catenation combined with boolean operations., , and . CoRR, (2017)From Glushkov WFAs to Rational Expressions., and . Developments in Language Theory, volume 2710 of Lecture Notes in Computer Science, page 183-193. Springer, (2003)Glushkov Construction for Multiplicities., and . CIAA, volume 2088 of Lecture Notes in Computer Science, page 67-79. Springer, (2000)LANGAGE: A Maple Package for Automaton Characterization of Regular Languages.. Workshop on Implementing Automata, volume 1436 of Lecture Notes in Computer Science, page 46-55. Springer, (1997)Glushkov Construction for Series: The Non Commutative Case., and . Int. J. Comput. Math., 80 (4): 457-472 (2003)A Study of a Simple Class of Modifiers: Product Modifiers., , and . DLT, volume 12086 of Lecture Notes in Computer Science, page 110-121. Springer, (2020)