Počet publikací: 166
1997
-
Foundatiomns of Computing
Rok: 1997, počet stran: 716 s.
-
Succinctness of description of SBTA-languages.
Theoretical Computer Science, rok: 1997, ročník: 179, vydání: 1-2
-
Systolic tree and tree-like automata
Publicationes Mathematicae, rok: 1997, ročník: 51, vydání: 3-4
1995
-
State complexity of SBTA languages.
Proceddings of LATIN´95, rok: 1995, počet stran: 12 s.
1994
-
Fix-point semantics of synchronized systems and correctness of their basic transformationsa.
Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, rok: 1994, počet stran: 22 s.
-
Optimization of systolic tree automata.
Proceedings of IFIP Congress´94, INFORMATION PROCESSING´94, rok: 1994, počet stran: 6 s.