Formal Languages and Automata Theory

Authors and titles for recent submissions

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

[1] arXiv:2101.05895 [pdf, ps, other]: Title: A Ramsey Theorem for Finite Monoids

Authors: Ismaël Jecker

Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2101.06234 (cross-list from math.CT) [pdf, other]: Title: Nets with Mana: A Framework for Chemical Reaction Modelling

Authors: Fabrizio Romano Genovese, Fosco Loregian, Daniele Palombi

Comments: 14 pages

Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL); Molecular Networks (q-bio.MN)
[3] arXiv:2101.06201 (cross-list from math.GR) [pdf, other]: Title: Solving one variable word equations in the free group in cubic time

Authors: Robert Ferens, Artur Jeż

Comments: 52 pages, accepted to STACS 2021

Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[4] arXiv:2101.06104 (cross-list from eess.SY) [pdf]: Title: Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets

Authors: Ru Yang, Zhijun Ding, Changjun Jiang, MengChu Zhou

Comments: 12 pages

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

[5] arXiv:2101.05415 (cross-list from cs.LO) [pdf, other]: Title: Analysis of E-commerce Ranking Signals via Signal Temporal Logic

Authors: Tommaso Dreossi (Amazon Search), Giorgio Ballardin (Amazon Search), Parth Gupta (Amazon Search), Jan Bakus (Amazon Search), Yu-Hsiang Lin (Amazon Search), Vamsi Salaka (Amazon Search)

Comments: In Proceedings SNR 2020, arXiv:2101.05256

Journal-ref: EPTCS 331, 2021, pp. 33-42

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[6] arXiv:2101.05057 [pdf, other]: Title: Synchronizing Strongly Connected Partial DFAs

Authors: Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, Marek Szykuła

Comments: Full version of the paper at STACS 2021

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[7] arXiv:2101.04238 (cross-list from math.CT) [pdf, ps, other]: Title: Categories of Nets

Authors: John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman

Comments: 29 pages

Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL)

[8] arXiv:2101.03866 (cross-list from cs.LO) [pdf, other]: Title: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Authors: Szymon Toruńczyk, Thomas Zeume

Comments: The short version of this article appeared in the conference proceedings of LICS 2020

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

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