Total number of publications: 166
1997
-
Foundatiomns of Computing
Year: 1997, number of pages: 716 s.
-
Succinctness of description of SBTA-languages.
Theoretical Computer Science, year: 1997, volume: 179, edition: 1-2
-
Systolic tree and tree-like automata
Publicationes Mathematicae, year: 1997, volume: 51, edition: 3-4
1995
-
State complexity of SBTA languages.
Proceddings of LATIN´95, year: 1995, number of pages: 12 s.
1994
-
Fix-point semantics of synchronized systems and correctness of their basic transformationsa.
Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, year: 1994, number of pages: 22 s.
-
Optimization of systolic tree automata.
Proceedings of IFIP Congress´94, INFORMATION PROCESSING´94, year: 1994, number of pages: 6 s.