Author of the publication

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

Consistency and satisfiability of waveform timing specifications., , and . Networks, 21 (1): 91-107 (1991)Theory of átomata., and . Theor. Comput. Sci., (2014)On Equations for Regular Languages, Finite Automata, and Sequential Networks., and . Theor. Comput. Sci., (1980)On the Star Height of Regular Events, and . SWAT (FOCS), page 265-279. IEEE Computer Society, (1967)On Decompositions of Regular Events, and . SWAT (FOCS), page 255-264. IEEE Computer Society, (1967)Relative liveness: from intuition to automated verification., and . ASYNC, page 108-117. IEEE Computer Society, (1995)Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages., , and . DCFS, volume 6808 of Lecture Notes in Computer Science, page 93-106. Springer, (2011)Syntactic Complexities of Some Classes of Star-Free Languages., and . DCFS, volume 7386 of Lecture Notes in Computer Science, page 117-129. Springer, (2012)Upper Bound on Syntactic Complexity of Suffix-Free Languages., and . DCFS, volume 9118 of Lecture Notes in Computer Science, page 33-45. Springer, (2015)Syntactic Complexity of - and -Trivial Regular Languages., and . DCFS, volume 8031 of Lecture Notes in Computer Science, page 160-171. Springer, (2013)