Michael Domaratzki, Kai Salomaa
Special Issue on Implementation and Application of Automata — CIAA 2010
CIAA, 2011.

@proceedings{CIAA-J-2010,
	editor        = "Michael Domaratzki and Kai Salomaa",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 8,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2010}",
	volume        = 22,
	year          = 2011,
}

Contents (14 items)

4 ×#automaton
3 ×#algorithm
2 ×#regular expression

CIAA-J-2010-AllauzenCM11 #algorithm #coordination #kernel

A Dual Coordinate Descent Algorithm for SVMs Combined with Rational Kernels (CA, CC, MM), pp. 1761–1779.

CIAA-J-2010-AllauzenRS11 #algorithm #composition #finite #performance #transducer

A Filter-Based Algorithm for Efficient Composition of Finite-State Transducers (CA, MR, JS), pp. 1781–1795.

CIAA-J-2010-CuiGKY11 #complexity

State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection (BC, YG, LK, SY), pp. 1797–1812.

CIAA-J-2010-DiekertK11 #regular expression

It is NL-Complete to Decide Whether a Hairpin Completion of Regular Languages is Regular (VD, SK), pp. 1813–1828.

CIAA-J-2010-DrosteM11 #automaton #monad #regular expression

Weighted Automata and Regular Expressions over Valuation Monoids (MD, IM), pp. 1829–1844.

CIAA-J-2010-EsikM11 #automaton #simulation

The Category of Simulations for Weighted Tree Automata (ZÉ, AM), pp. 1845–1859.

CIAA-J-2010-KufleitnerL11 #automaton #order

Partially Ordered Two-Way BüChi Automata (MK, AL), pp. 1861–1876.

CIAA-J-2010-MalettiQ11

Optimal Hyper-Minimization (AM, DQ), pp. 1877–1891.

CIAA-J-2010-ZdarekM11 #2d

Tree-Based 2D Indexing (JZ, BM), pp. 1893–1907.

CIAA-J-2010-YuBI11 #automaton #multi #relational #string #using #verification

Relational String Verification Using Multi-Track Automata (FY, TB, OHI), pp. 1909–1924.

CIAA-J-2010-Birget11 #on the

On the Circuit-Size of inverses (JCB), pp. 1925–1938.

CIAA-J-2010-Dangalchev11

Residual Closeness and Generalized Closeness (CD), pp. 1939–1948.

CIAA-J-2010-CzumajCGJLZ11 #algorithm #approximate #design #geometry #network

Approximation Algorithms for Buy-at-Bulk Geometric Network Design (AC, JC, LG, JJ, AL, PZ), pp. 1949–1969.

CIAA-J-2010-BujtasDINT11 #problem

The Graph-Bin Packing Problem (CB, GD, CI, JNG, ZT), pp. 1971–1993.