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 |