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

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

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

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 (, AM), pp. 1845–1859.
CIAA-J-2010-KufleitnerL11 #automaton #order
Partially Ordered Two-Way BüChi Automata (MK, AL), pp. 1861–1876.
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.
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.

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.