Nelma Moreira, Rogério Reis
Special Issue on Implementation and Application of Automata — CIAA 2012
CIAA, 2013.

@proceedings{CIAA-J-2012,
	editor        = "Nelma Moreira and Rogério Reis",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 6,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2012}",
	volume        = 24,
	year          = 2013,
}

Contents (11 items)

7 ×#automaton
2 ×#on the

CIAA-J-2012-Brzozowski13 #regular expression

In Search of Most Complex Regular Languages (JAB), pp. 691–708.

CIAA-J-2012-Oliveira13 #algebra #automaton #category theory #matrix

Weighted Automata as Coalgebras in Categories of Matrices (JNO), pp. 709–728.

CIAA-J-2012-Berlinkov13 #automaton #clustering

Synchronizing quasi-Eulerian and quasi-One-Cluster Automata (MVB), pp. 729–746.

CIAA-J-2012-Crespi-ReghizziP13 #strict #testing

Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.

CIAA-J-2012-FominykhMV13

P(L)Aying for Synchronization (FMF, PVM, MVV), pp. 765–780.

CIAA-J-2012-GocHS13 #automation #combinator #word

Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 781–798.

CIAA-J-2012-IbarraT13 #automaton #how #multi

How to synchronize the Heads of a Multitape Automaton (OHI, NQT), pp. 799–814.

CIAA-J-2012-JezM13 #automaton

Hyper-Minimization for Deterministic Tree Automata (AJ, AM), pp. 815–830.

CIAA-J-2012-KutribO13 #automaton #complexity #on the

On the Descriptional Complexity of the Window Size for Deleting Restarting Automata (MK, FO), pp. 831–846.

CIAA-J-2012-Mohri13 #ambiguity #automaton #finite #functional #on the #transducer

On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.

CIAA-J-2012-PrusaM13 #automaton

Restarting Tiling Automata (DP, FM), pp. 863–878.