arXiv 2018-01-16 EN Critical exponents of infinite balanced words Rampersad, Narad · Shallit, Jeffrey · Vandomme, Élise
arXiv 2018-01-16 EN Using Sat solvers for synchronization issues in non-deterministic automata Shabana, Hanan · Volkov, Mikhail V.
arXiv 2018-01-15 EN Pointlike sets for varieties determined by groups Gool, Samuel J. v. · Steinberg, B.
arXiv 2018-01-05 EN Monitoring Data Minimisation Pinisetty, Srinivas · Antignac, Thibaud · Sands, David · Schneider, Gerardo
arXiv 2018-01-03 EN More on the dynamics of the symbolic square root map Peltomäki, Jarkko · Whiteland, Markus
arXiv 2017-12-28 EN Label Languages of 8-directional Array P System Kumar, William Suresh · Mahalingam, Kalpana · Rama, Raghavan
arXiv 2017-12-27 EN On B. Mossé's unilateral recognizability theorem Akiyama, Shigeki · Tan, Bo · Yuasa, Hisatoshi
arXiv 2017-12-04 EN A Second-Order Approach to Complex Event Recognition Grez, Alejandro · Riveros, Cristian · Ugarte, Martin · Vansummeren, Stijn
arXiv 2017-11-29 EN CTL* synthesis via LTL synthesis Bloem, Roderick · Schewe, Sven · Khalimov, Ayrat
arXiv 2017-11-29 EN A Taxonomy of Morphic Sequences Allouche, Jean-Paul · Cassaigne, Julien · Shallit, Jeffrey · Zamboni, Luca Q.
arXiv 2017-11-28 EN Timed Comparisons of Semi-Markov Processes Pedersen, Mathias Ruggaard · Fijalkow, Nathanaël · Bacci, Giorgio · Larsen, Kim Guldstrand +1
