Post-proceedings of the 18th International Conference on Implementation and Application of Automata
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Stavros Konstantinidis
Post-proceedings of the 18th International Conference on Implementation and Application of Automata
CIAA-J-2013, 2015.

FLT
no DBLP info
Scholar
?EE?
Full names Links ISxN
@proceedings{CIAA-J-2013,
	editor        = "Stavros Konstantinidis",
	ee            = "http://www.sciencedirect.com/science/journal/03043975/578/supp/C",
	issn          = "0304-3975",
	journal       = "{Theoretical Computer Science}",
	publisher     = "{Elsevier}",
	title         = "{Post-proceedings of the 18th International Conference on Implementation and Application of Automata}",
	volume        = 578,
	year          = 2015,
}

Contents (9 items)

CIAA-J-2013-Konstantinidis15 #automaton #implementation
Implementation and Application of Automata (CIAA 2013) (SK), p. 1.
CIAA-J-2013-BalkanskiBKW15 #complexity #on the #word
On the state complexity of partial word DFAs (EB, FBS, MK, BJW), pp. 2–12.
CIAA-J-2013-CaralpRT15 #automaton
Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.
CIAA-J-2013-INIBT15 #automaton #taxonomy
Compressed automata for dictionary matching (TI, TN, SI, HB, MT), pp. 30–41.
CIAA-J-2013-JirasekJ15 #bound #on the #regular expression
On the boundary of regular languages (JJ, GJ), pp. 42–57.
CIAA-J-2013-KutribMMPW15 #automaton #decidability #finite #queue
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.
CIAA-J-2013-Maletti15 #automaton
Hyper-optimization for deterministic tree automata (AM), pp. 72–87.
CIAA-J-2013-OttoM15 #term rewriting
λ-confluence for context rewriting systems (FO, FM), pp. 88–99.
CIAA-J-2013-DebarbieuxGNSZ15 #automaton #query #word #xml #xpath
Early nested word automata for XPath query answering on XML streams (DD, OG, JN, TS, MZ), pp. 100–125.

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.