dblp.uni-trier.dewww.uni-trier.de

Miklós Bartha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
19EEMiklós Bartha, Miklós Krész: Flexible Matchings. WG 2006: 313-324
2005
18EEMiklós Bartha: Strong Retiming Equivalence of Synchronous Schemes. CIAA 2005: 66-77
2004
17EEMikló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
16EEMikló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
15EEMiklós Bartha, Miklós Krész: Elementary decomposition of soliton automata. Acta Cybern. 14(4): 631-652 (2000)
1995
14EEMikló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

Coauthor Index

1Éva Gombás [5] [6] [9] [11] [14]
2Miklós Krész [15] [16] [17] [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)