Sheng Yu
Special Issue on Implementation and Application of Automata — CIAA 2000
CIAA, 2002.

@proceedings{CIAA-J-2000,
	editor        = "Sheng Yu",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 1,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2000}",
	volume        = 13,
	year          = 2002,
}

Contents (8 items)

3 ×#algorithm
3 ×#automaton
2 ×#nondeterminism

CIAA-J-2000-HarelK02 #object-oriented #specification

Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 5–51.

CIAA-J-2000-BergeronH02 #algorithm #approximate #string

Vector Algorithms for Approximate String Matching (AB, SH), pp. 53–66.

CIAA-J-2000-Bruggemann-KleinW02 #automaton #nondeterminism

The Regularity of Two-Way Nondeterministic Tree Automata Languages (ABK, DW), pp. 67–81.

CIAA-J-2000-CampeanuPY02 #algorithm #automaton #finite #performance

An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages (CC, AP, SY), pp. 83–97.

CIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression

Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.

CIAA-J-2000-Ibarra02 #multi #verification

Verification in Queue-Connected Multicounter Machines (OHI), pp. 115–127.

CIAA-J-2000-Mohri02 #algorithm #transducer

Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.

CIAA-J-2000-PighizziniS02 #complexity

Unary Language Operations, State Complexity and Jacobsthal’s Function (GP, JS), pp. 145–159.