Shortest paths in one-counter systems by Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic by Szymon Toruńczyk, Thomas Zeume

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Deciding Conditional Termination by Radu Iosif, Filip Konecny, Marius Bozga

Subjects: “…computer science - formal languages and automata theory…”
Get full text

A Concurrent Pattern Calculus by Thomas Given-Wilson, Daniele Gorla, Barry Jay

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Existential Definability over the Subword Ordering by Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Analysis of Timed and Long-Run Objectives for Markov Automata by Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Branching Bisimilarity of Normed BPA Processes as a Rational Monoid by Petr Jancar

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Logic and Branching Automata by Bedon Nicolas

Subjects: “…computer science - formal languages and automata theory…”
Get full text

On Reachability for Unidirectional Channel Systems Extended with Regular Tests by Jancar Petr, Prateek Karandikar, Philippe Schnoebelen

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Model Checking Flat Freeze LTL on One-Counter Automata by Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Synthesis of Computable Regular Functions of Infinite Words by V. Dave, E. Filiot, S. Krishna, N. Lhote

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics by Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

Subjects: “…computer science - formal languages and automata theory…”
Get full text

A Robust Class of Data Languages and an Application to Learning by Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages by Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories by Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Model Checking Temporal Properties of Recursive Probabilistic Programs by Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Automata Minimization: a Functorial Approach by Thomas Colcombet, Daniela Petrişan

Subjects: “…computer science - formal languages and automata theory…”
Get full text

The repetition threshold for binary rich words by James D. Currie, Lucas Mol, Narad Rampersad

Subjects: “…computer science - formal languages and automata theory…”
Get full text

Linear Temporal Logic for Regular Cost Functions by Denis Kuperberg

Subjects: “…computer science - formal languages and automata theory…”
Get full text

An $\omega$-Algebra for Real-Time Energy Problems by David Cachera, Uli Fahrenberg, Axel Legay

Subjects: “…computer science - formal languages and automata theory…”
Get full text