Journal: Journal of Automata, Languages and Combinatorics

Volume 16, Issue 2-4

71 -- 74Henning Bordihn, Jürgen Dassow, Martin Kutrib, Bianca Truthe. Editorial
75 -- 90Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch. String Rewriting and Security Analysis: An Extension of a Result of Book and Otto
91 -- 107Henning Bordihn, Markus Holzer, Martin Kutrib. Hairpin Finite Automata
109 -- 140Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran. Unification over Distributive Exponentiation (Sub)Theories
141 -- 164Artur Jez, Tomasz Jurdzinski. Length-reducing Automata (almost) without Auxiliary Symbols
165 -- 194Hartmut Messerschmidt, Martin Stommel. Church-Rosser Picture Languages and Their Applications in Picture Recognition
195 -- 213Benedek Nagy. On CD-Systems of Stateless Deterministic R(2)-Automata
215 -- 251Dana Pardubská, Frantisek Mráz, Martin Plátek. Translations by Regulated Parallel Communicating Grammar Systems

Volume 16, Issue 1

3 -- 10Sergey V. Avgustinovich, Sergey Kitaev, Artem V. Pyatkin, Alexandr Valyuzhenich. On Square-Free Permutations
11 -- 26Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. Multi-Bar and Multi-Tilde Regular Operators
27 -- 38Michael Soltys. Feasible Proofs of Szpilrajn's Theorem - A Proof-Complexity Framework for Concurrent Automata
39 -- 54Ariel Stulman. Generating Optimal Distinguishing Sequences for Testing Timed Protocols
55 -- 63Sherzod Turaev, Mohd Hasan Selamat, Mohamed Othman. Nonterminal Complexity of Tree Controlled Grammars Generating Context-Free Languages