Proceedings of the 20th 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

Frank Drewes
Proceedings of the 20th International Conference on Implementation and Application of Automata
CIAA, 2015.

FLT
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{CIAA-2015,
	address       = "Umeå, Sweden",
	doi           = "10.1007/978-3-319-22360-5",
	editor        = "Frank Drewes",
	isbn          = "978-3-319-22359-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Implementation and Application of Automata}",
	volume        = 9223,
	year          = 2015,
}

Contents (26 items)

CIAA-2015-Bollig #automaton #concurrent #logic #modelling
Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.
CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression
Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
CIAA-2015-AdigaKMRRS #complexity
Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.
CIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression
From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.
CIAA-2015-BrodaCFM #algebra
Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.
CIAA-2015-CaronMM #on the
On the Hierarchy of Block Deterministic Languages (PC, LM, CM), pp. 63–75.
CIAA-2015-DangDFH #automaton #security
Security of Numerical Sensors in Automata (ZD, DD, TRF, WJHI), pp. 76–88.
CIAA-2015-FernauPS #automaton #complexity #finite
Jumping Finite Automata: Characterizations and Complexity (HF, MP, MLS), pp. 89–101.
CIAA-2015-Giaquinta #automaton #nondeterminism
Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.
CIAA-2015-GruberHJ #automaton #finite #nondeterminism
More on Deterministic and Nondeterministic Finite Cover Automata — Extended Abstract (HG, MH, SJ), pp. 114–126.
CIAA-2015-GusevS #graph #on the
On the Number of Synchronizing Colorings of Digraphs (VVG, MS), pp. 127–139.
CIAA-2015-HeamJ #automaton #generative #morphism #on the #random
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
CIAA-2015-HeamJ15a #automaton #generative #random #realtime
Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
CIAA-2015-HoffmannS #infinity #metric #word
Subword Metrics for Infinite Words (SH, LS), pp. 165–175.
CIAA-2015-Hulden #automaton #finite #regular expression
From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
CIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
CIAA-2015-KutribW #capacity
Expressive Capacity of Concatenation Freeness (MK, MW), pp. 199–210.
CIAA-2015-Madejski #linear #permutation #problem
The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.
CIAA-2015-NakanishiY #automaton #problem #quantum
Classical and Quantum Counter Automata on Promise Problems (MN, AY), pp. 224–237.
CIAA-2015-NgRS #complexity #distance
State Complexity of Prefix Distance (TN, DR, KS), pp. 238–249.
CIAA-2015-Prusa #context-free grammar #decidability #multi #problem
(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars (DP), pp. 250–262.
CIAA-2015-MohriR #ambiguity #automaton #on the
On the Disambiguation of Weighted Automata (MM, MDR), pp. 263–278.
CIAA-2015-Szykula #automaton
Checking Whether an Automaton Is Monotonic Is NP-complete (MS), pp. 279–291.
CIAA-2015-BerglundM #on the #parsing #regular expression #semantics
On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.
CIAA-2015-Ade-IbijolaES #programming
Introducing Code Adviser: A DFA-driven Electronic Programming Tutor (AAI, SE, IDS), pp. 307–312.
CIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression
BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.

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.