arXiv 2017-11-26 EN Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach Mavridou, Anastasia · Laszka, Aron
arXiv 2017-11-24 EN Random Words in a (Weighted) Regular Language: a Free Energy Approach Cui, Cewei · Dang, Zhe
arXiv 2017-11-24 EN Most Complex Deterministic Union-Free Regular Languages Brzozowski, Janusz A. · Davies, Sylvie
arXiv 2017-11-16 EN Automata in the Category of Glued Vector Spaces Colcombet, Thomas · Petrişan, Daniela
arXiv 2017-11-08 EN Automata Minimization: a Functorial Approach Colcombet, Thomas · Petrişan, Daniela
arXiv 2017-11-06 EN Language properties and Grammar of Parallel and Series Parallel Languages Mohana, N. · Desikan, Kalyani · Dare, V. Rajkumar
arXiv 2017-10-31 EN A generalized parsing framework for Abstract Grammars Harasim, Daniel · Bruno, Chris · Portelance, Eva · Rohrmeier, Martin +1
arXiv 2017-10-30 EN Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report) Lengal, Ondrej · Lin, Anthony W. · Majumdar, Rupak · Ruemmer, Philipp
arXiv 2017-10-23 EN Conjugacy of one-dimensional one-sided cellular automata is undecidable Jalonen, Joonatan · Kari, Jarkko
arXiv 2017-10-23 EN When is an automatic set an additive basis? Bell, Jason · Hare, Kathryn · Shallit, Jeffrey
arXiv 2017-10-18 EN LTL Semantic Tableaux and Alternating ω-automata via Linear Factors Sulzmann, Martin · Thiemann, Peter
arXiv 2017-10-13 EN A New Technique for Reachability of States in Concatenation Automata Davies, Sylvie
