Connector algebras for C/E and P/T nets' interactions by Roberto Bruni, Hernan Melgratti, Ugo Montanari, Pawel Sobocinski

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

Computing the Width of Non-deterministic Automata by Denis Kuperberg, Anirban Majumdar

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

FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems by Florent Jacquemard, Luc Segoufin, Jerémie Dimino

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

A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage by Joost Engelfriet, Heiko Vogler

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

Regular Cost Functions, Part I: Logic and Algebra over Words by Thomas Colcombet

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

Deciding the value 1 problem for probabilistic leaktight automata by Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj

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

A model of actors and grey failures by Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

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

Separation for dot-depth two by Thomas Place, Marc Zeitoun

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

Asynchronous wreath product and cascade decompositions for concurrent behaviours by Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

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

Crisp-determinization of weighted tree automata over strong bimonoids by Zoltán Fülöp, Dávid Kószó, Heiko Vogler

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

Graph Logics with Rational Relations by Pablo Barcelo, Diego Figueira, Leonid Libkin

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

Simulation of organizational protection of a protected object based on the theory of automata and Petri nets by Viktor V. Erokhin, Larisa S. Pritchina

Subjects: “…information protection, petri nets, automata theory.…”
Get full text

Minimization of visibly pushdown automata is NP-complete by Olivier Gauwin, Anca Muscholl, Michael Raskin

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

Token Games and History-Deterministic Quantitative-Automata by Udi Boker, Karoliina Lehtinen

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

Equivalence checking for weak bi-Kleene algebra by Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

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

Synthesis of Data Word Transducers by Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier

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

Transfinite Lyndon words by Olivier Carton, Luc Boasson

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

Quantitative Languages Defined by Functional Automata by Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin

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

The Power-Set Construction for Tree Algebras by Achim Blumensath

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

Streamability of nested word transductions by Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais

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