We gratefully acknowledge support from
the Simons Foundation
and member institutions

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 18 May 2018

[1]  arXiv:1805.06723 [pdf, other]
Title: On randomized generation of slowly synchronizing automata
Comments: 19 pages, 6 figures. Submitted to MFCS 2018
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
[2]  arXiv:1805.06685 [pdf, other]
Title: The Synchronizing Probability Function for Primitive Sets of Matrices
Comments: 18 pages, 4 figures. Submitted to DLT 2018
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

Thu, 17 May 2018

[3]  arXiv:1805.06238 [pdf, other]
Title: Distributed Automata and Logic
Authors: Fabian Reiter
Comments: PhD thesis, 116 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

Tue, 15 May 2018

[4]  arXiv:1805.04580 [pdf, ps, other]
Title: Branching Temporal Logic of Calls and Returns for Pushdown Systems
Comments: 19 pages
Subjects: Formal Languages and Automata Theory (cs.FL)

Mon, 14 May 2018

[5]  arXiv:1805.04402 (cross-list from cs.CL) [pdf, ps, other]
Title: Decision problems for Clark-congruential languages
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Fri, 11 May 2018

[6]  arXiv:1805.04003 [pdf, ps, other]
Title: Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet
Comments: 27 pages. Early versions of parts of this work have been presented at the LATA 2016 Conf. and at the Conf. dedicated to the scientific legacy of M.P. Sch\"utzenberger, 2017
Subjects: Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:1805.03724 [pdf, other]
Title: DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Comments: 30 pages, 10 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)