Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services by Davide Basile, Maurice H. ter Beek, Rosario Pugliese

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

On the insertion of n-powers by J. Almeida, O. Klíma

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

Pushing for weighted tree automata by Thomas Hanneforth, Andreas Maletti, Daniel Quernheim

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

Good-for-games $\omega$-Pushdown Automata by Karoliina Lehtinen, Martin Zimmermann

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

Taking-and-merging games as rewrite games by Eric Duchêne, Victor Marsault, Aline Parreau, Michel Rigo

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

Off-line test selection with test purposes for non-deterministic timed automata by Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

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

A theory of Automated Market Makers in DeFi by Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente

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

Fine-Grained Complexity of Regular Path Queries by Katrin Casel, Markus L. Schmid

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

GRAPHICAL USER INTERFACE FOR BOUNDED-ADDITION FUZZY SPLICING SYSTEMS AND THEIR VARIANTS by Mathuri Selvarajoo, Mohd Pawiro Santono, Fong Wan Heng, Nor Haniza Sarmin

Subjects: Get full text

Labels, Cognomes and Cyclic Computation: An Ethological Perspective by Elliot eMurphy

Subjects: Get full text

Developing JSequitur to Study the Hierarchical Structure of Biological Sequences in a Grammatical Inference Framework of String Compression Algorithms by Bulgan Galbadrakh, Kyung-Eun Lee, Hyun-Seok Park

Subjects: Get full text

A Corpus-Based Sentence Classifier for Entity–Relationship Modelling by Sabrina Šuman, Sanja Čandrlić, Alen Jakupović

Subjects: Get full text

The height of piecewise-testable languages and the complexity of the logic of subwords by Prateek Karandikar, Philippe Schnoebelen

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

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings by Gustav Grabolle

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

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases by Bernard Boigelot, Julien Brusten, Veronique Bruyere

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

Relating Apartness and Bisimulation by Herman Geuvers, Bart Jacobs

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

Weak equivalence of higher-dimensional automata by Thomas Kahl

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

Stream Differential Equations: Specification Formats and Solution Methods by Helle Hvid Hansen, Clemens Kupke, Jan Rutten

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

Two Variable vs. Linear Temporal Logic in Model Checking and Games by Michael Benedikt, Rastislav Lenhardt, James Worrell

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

Refining learning models in grammatical inference by Wang, Xiangrui

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text