Miklós Bartha Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: The monoidal structure of Turing machines. Mathematical Structures in Computer Science 23(2): 204-246 (2013)
2011
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: Molecular Switching by Turing Automata. NCMA 2011: 51-71
2010
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Turing Automata and Graph Machines. DCM 2010: 19-31
2009
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Equivalence Relations of Mealy Automata. NCMA 2009: 31-46
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: A Depth-first Algorithm to Reduce Graphs in Linear Time. SYNASC 2009: 273-281
2008
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: Splitters and Barriers in Open Graphs Having a Perfect Internal Matching. Acta Cybern. 18(4): 697-718 (2008)
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Simulation equivalence of automata and circuits. AFL 2008: 86-99
2006
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: Deterministic Soliton Graphs. Informatica (Slovenia) 30(3): 281-288 (2006)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: Flexible Matchings. WG 2006: 313-324
2005
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Strong Retiming Equivalence of Synchronous Schemes. CIAA 2005: 66-77
2004
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Miklós Krész: Elementary decomposition of soliton automata. Acta Cybern. 14(4): 631-652 (2000)
1995
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Éva Gombás: On Graphs with Perfect Internal Matchings. Acta Cybern. 12(2): 111-124 (1995)
1992
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: An Algebraic Model of Synchronous Systems. Inf. Comput. 97(1): 97-131 (1992)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Foundations of a Theory of Synchronous Systems. Theor. Comput. Sci. 100(2): 325-346 (1992)
1991
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha, Éva Gombás: A Structure Theorem for Maximum Internal Matchings in Graphs. Inf. Process. Lett. 40(6): 289-294 (1991)
1989
j8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Éva Gombás, Miklós Bartha: Two transformations on attribute grammars improving the complexity of their evaluation. Acta Cybern. 9(1): 55-72 (1989)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Interpretations of Synchronous Flowchart Schemes. FCT 1989: 25-34
1987
j7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: A finite axiomatization of flowchart schemes. Acta Cybern. 8: 203-217 (1987)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: An Equational Axiomatization of Systolic Systems. Theor. Comput. Sci. 55(2-3): 265-289 (1987)
1985
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Éva Gombás, Miklós Bartha: A multi-visti charaterization of absolutely noncircular attribute grammars. Acta Cybern. 7(1): 19-31 (1985)
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Éva Gombás, Miklós Bartha: Atomic characterizations of uniform multi-pass attributed grammars. Acta Cybern. 7(2): 155-172 (1985)
1984
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: On injective attributed characterization of 2-way deterministic finite state transducers. Acta Cybern. 6: 347-353 (1984)
1983
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: Linear deterministic attributed transformations. Acta Cybern. 6: 125-147 (1983)
1982
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: An algebraic definition of attributed transformations. Acta Cybern. 5: 409-421 (1982)
1981
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miklós Bartha: An Algebraic Defenition of Attributed Transformations. FCT 1981: 51-60

Coauthor Index

1Éva Gombás
[j12] [j9] [j8] [j5] [j4]
2Miklós Krész
[c9] [c6] [j17] [j16] [c4] [j15] [j14] [j13]
Last update Sat May 25 04:45:39 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page