Frank Drewes
Proceedings of the 20th International Conference on Implementation and Application of Automata
CIAA, 2015.

@proceedings{CIAA-2015,
	address       = "Umeå, Sweden",
	doi           = "10.1007/978-3-319-22360-5",
	editor        = "Frank Drewes",
	isbn          = "978-3-319-22359-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Implementation and Application of Automata}",
	volume        = 9223,
	year          = 2015,
}

Contents (26 items)

14 ×#automaton
5 ×#finite
5 ×#on the
5 ×#regular expression
3 ×#ambiguity
3 ×#complexity
3 ×#nondeterminism
3 ×#parsing
3 ×#problem
2 ×#generative

CIAA-2015-Bollig #automaton #concurrent #logic #modelling

Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.

CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression

Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.

CIAA-2015-AdigaKMRRS #complexity

Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.

CIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression

From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.

CIAA-2015-BrodaCFM #algebra

Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.

CIAA-2015-CaronMM #on the

On the Hierarchy of Block Deterministic Languages (PC, LM, CM), pp. 63–75.

CIAA-2015-DangDFH #automaton #security

Security of Numerical Sensors in Automata (ZD, DD, TRF, WJHI), pp. 76–88.

CIAA-2015-FernauPS #automaton #complexity #finite

Jumping Finite Automata: Characterizations and Complexity (HF, MP, MLS), pp. 89–101.

CIAA-2015-Giaquinta #automaton #nondeterminism

Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.

CIAA-2015-GruberHJ #automaton #finite #nondeterminism

More on Deterministic and Nondeterministic Finite Cover Automata — Extended Abstract (HG, MH, SJ), pp. 114–126.

CIAA-2015-GusevS #graph #on the

On the Number of Synchronizing Colorings of Digraphs (VVG, MS), pp. 127–139.

CIAA-2015-HeamJ #automaton #generative #morphism #on the #random

On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.

CIAA-2015-HeamJ15a #automaton #generative #random #realtime

Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.

CIAA-2015-HoffmannS #infinity #metric #word

Subword Metrics for Infinite Words (SH, LS), pp. 165–175.

CIAA-2015-Hulden #automaton #finite #regular expression

From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.

CIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine

Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.

CIAA-2015-KutribW #capacity

Expressive Capacity of Concatenation Freeness (MK, MW), pp. 199–210.

CIAA-2015-Madejski #linear #permutation #problem

The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.

CIAA-2015-NakanishiY #automaton #problem #quantum

Classical and Quantum Counter Automata on Promise Problems (MN, AY), pp. 224–237.

CIAA-2015-NgRS #complexity #distance

State Complexity of Prefix Distance (TN, DR, KS), pp. 238–249.

CIAA-2015-Prusa #context-free grammar #decidability #multi #problem

(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars (DP), pp. 250–262.

CIAA-2015-MohriR #ambiguity #automaton #on the

On the Disambiguation of Weighted Automata (MM, MDR), pp. 263–278.

CIAA-2015-Szykula #automaton

Checking Whether an Automaton Is Monotonic Is NP-complete (MS), pp. 279–291.

CIAA-2015-BerglundM #on the #parsing #regular expression #semantics

On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.

CIAA-2015-Ade-IbijolaES #programming

Introducing Code Adviser: A DFA-driven Electronic Programming Tutor (AAI, SE, IDS), pp. 307–312.

CIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression

BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.