Special Issue on Implementation and Application of Automata — CIAA 2012
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

no DBLP info
Full names Links ISxN
	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)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.