| 2006 |
| 19 | EE | Miklós Bartha,
Miklós Krész:
Flexible Matchings.
WG 2006: 313-324 |
| 2005 |
| 18 | EE | Miklós Bartha:
Strong Retiming Equivalence of Synchronous Schemes.
CIAA 2005: 66-77 |
| 2004 |
| 17 | EE | Miklós Bartha,
Miklós Krész:
Tutte type theorems for graphs having a perfect internal matching.
Inf. Process. Lett. 91(6): 277-284 (2004) |
| 2003 |
| 16 | EE | Miklós Bartha,
Miklós Krész:
Structuring the elementary components of graphs having a perfect internal matching.
Theor. Comput. Sci. 1-3(299): 179-210 (2003) |
| 2000 |
| 15 | EE | Miklós Bartha,
Miklós Krész:
Elementary decomposition of soliton automata.
Acta Cybern. 14(4): 631-652 (2000) |
| 1995 |
| 14 | EE | Miklós Bartha,
Éva Gombás:
On Graphs with Perfect Internal Matchings.
Acta Cybern. 12(2): 111-124 (1995) |
| 1992 |
| 13 | | Miklós Bartha:
An Algebraic Model of Synchronous Systems
Inf. Comput. 97(1): 97-131 (1992) |
| 12 | | Miklós Bartha:
Foundations of a Theory of Synchronous Systems.
Theor. Comput. Sci. 100(2): 325-346 (1992) |
| 1991 |
| 11 | | Miklós Bartha,
Éva Gombás:
A Structure Theorem for Maximum Internal Matchings in Graphs.
Inf. Process. Lett. 40(6): 289-294 (1991) |
| 1989 |
| 10 | | Miklós Bartha:
Interpretations of Synchronous Flowchart Schemes.
FCT 1989: 25-34 |
| 9 | | Éva Gombás,
Miklós Bartha:
Two transformations on attribute grammars improving the complexity of their evaluation.
Acta Cybern. 9(1): 55-72 (1989) |
| 1987 |
| 8 | | Miklós Bartha:
A finite axiomatization of flowchart schemes.
Acta Cybern. 8: 203-217 (1987) |
| 7 | | Miklós Bartha:
An Equational Axiomatization of Systolic Systems.
Theor. Comput. Sci. 55(2-3): 265-289 (1987) |
| 1985 |
| 6 | | Éva Gombás,
Miklós Bartha:
A multi-visti charaterization of absolutely noncircular attribute grammars.
Acta Cybern. 7(1): 19-31 (1985) |
| 5 | | Éva Gombás,
Miklós Bartha:
Atomic characterizations of uniform multi-pass attributed grammars.
Acta Cybern. 7(2): 155-172 (1985) |
| 1984 |
| 4 | | Miklós Bartha:
On injective attributed characterization of 2-way deterministic finite state transducers.
Acta Cybern. 6: 347-353 (1984) |
| 1983 |
| 3 | | Miklós Bartha:
Linear deterministic attributed transformations.
Acta Cybern. 6: 125-147 (1983) |
| 1982 |
| 2 | | Miklós Bartha:
An algebraic definition of attributed transformations.
Acta Cybern. 5: 409-421 (1982) |
| 1981 |
| 1 | | Miklós Bartha:
An Algebraic Defenition of Attributed Transformations.
FCT 1981: 51-60 |