Markus Holzer, Martin Kutrib
Proceedings of the 19th International Conference on Implementation and Application of Automata
CIAA, 2014.

@proceedings{CIAA-2014,
	address       = "Giessen, Germany",
	doi           = "10.1007/978-3-319-08846-4",
	editor        = "Markus Holzer and Martin Kutrib",
	isbn          = "978-3-319-08845-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Implementation and Application of Automata}",
	volume        = 8587,
	year          = 2014,
}

Contents (25 items)

15 ×#automaton
4 ×#on the
4 ×#transducer
3 ×#finite
2 ×#multi
2 ×#power of
2 ×#quantum

CIAA-2014-EsparzaLS #equation #fixpoint #named

FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.

CIAA-2014-Otto #automaton #overview

Restarting Automata for Picture Languages: A Survey on Recent Developments (FO), pp. 16–41.

CIAA-2014-Pighizzini #automaton

Investigations on Automata and Languages over a Unary Alphabet (GP), pp. 42–57.

CIAA-2014-Sirakoulis #automaton

Cellular Automata for Crowd Dynamics (GCS), pp. 58–69.

CIAA-2014-AmorimMR #canonical #finite #linear #transducer #using

Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.

CIAA-2014-BianchiMP #automaton #on the #power of #quantum

On the Power of One-Way Automata with Quantum and Classical States (MPB, CM, BP), pp. 84–97.

CIAA-2014-BieglerM #automaton #finite #on the #word

On Comparing Deterministic Finite Automata and the Shuffle of Words (FB, IM), pp. 98–109.

CIAA-2014-Blanchet-SadriGS #automaton

Minimal Partial Languages and Automata (FBS, KG, AS), pp. 110–123.

CIAA-2014-BrzozowskiS #scalability

Large Aperiodic Semigroups (JAB, MS), pp. 124–135.

CIAA-2014-CevorovaJK #on the #regular expression

On the Square of Regular Languages (KC, GJ, IK), pp. 136–147.

CIAA-2014-BiasiY #automaton

Unary Languages Recognized by Two-Way One-Counter Automata (MDB, AY), pp. 148–161.

CIAA-2014-DemailleDLSS #automaton #type system

A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.

CIAA-2014-DumitranGMM #bound

Bounded Prefix-Suffix Duplication (MD, JG, FM, VM), pp. 176–187.

CIAA-2014-Fujiyoshi #automaton #multi #recognition

Recognition of Labeled Multidigraphs by Spanning Tree Automata (AF), pp. 188–199.

CIAA-2014-GusevP #automaton

Reset Thresholds of Automata with Two Cycle Lengths (VVG, EVP), pp. 200–210.

CIAA-2014-Ibarra #ambiguity #on the #problem #transducer

On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers (OHI), pp. 211–225.

CIAA-2014-JiraskovaPS

Kleene Closure on Regular and Prefix-Free Languages (GJ, MP, JS), pp. 226–237.

CIAA-2014-KoH #nondeterminism

Left is Better than Right for Reducing Nondeterminism of NFAs (SKK, YSH), pp. 238–251.

CIAA-2014-KurkaV #finite #transducer

Analytic Functions Computable by Finite State Transducers (PK, TV), pp. 252–263.

CIAA-2014-MaiaMR #automaton #similarity

Partial Derivative and Position Bisimilarity Automata (EM, NM, RR), pp. 264–277.

CIAA-2014-Maletti #bottom-up #multi #power of #transducer

The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.

CIAA-2014-Osterholzer #automaton #context-free grammar

Pushdown Machines for Weighted Context-Free Tree Translation (JO), pp. 290–303.

CIAA-2014-PittouR #automaton #infinity

Weighted Variable Automata over Infinite Alphabets (MP, GR), pp. 304–317.

CIAA-2014-RashidY #automaton #quantum

Implications of Quantum Automata for Contextuality (JR, AY), pp. 318–331.

CIAA-2014-Roche-LimaDF #automaton #kernel

Pairwise Rational Kernels Obtained by Automaton Operations (ARL, MD, BF), pp. 332–345.