Oscar H. Ibarra, Bala Ravikumar
Special Issue on Implementation and Application of Automata — CIAA 2008
CIAA, 2009.

@proceedings{CIAA-J-2008,
	editor        = "Oscar H. Ibarra and Bala Ravikumar",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 4,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2008}",
	volume        = 20,
	year          = 2009,
}

Contents (13 items)

5 ×#automaton
3 ×#composition
2 ×#finite
2 ×#performance

CIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism

Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.

CIAA-J-2008-Yen09 #composition #petri net

Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.

CIAA-J-2008-DixonES09 #analysis

Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching (RD, ÖE, TS), pp. 597–612.

CIAA-J-2008-AllauzenM09 #composition #finite #transducer

N-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 613–627.

CIAA-J-2008-Pighizzini09 #automaton

Deterministic Pushdown Automata and Unary Languages (GP), pp. 629–645.

CIAA-J-2008-CantinLW09 #automaton

Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 647–667.

CIAA-J-2008-AlmeidaMR09 #revisited #term rewriting

Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 669–684.

CIAA-J-2008-AbdullaBHKV09 #automaton #bisimulation

Composed Bisimulation for Tree Automata (PAA, AB, LH, LK, TV), pp. 685–700.

CIAA-J-2008-HempelK09 #aspect-oriented #persistent

Aspects of Persistent Computations (HH, MK), pp. 701–715.

CIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance #runtime

A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.

CIAA-J-2008-Badr09

Hyper-minimization in O(n²) (AB), pp. 735–746.

CIAA-J-2008-TsayW09 #automation #composition #reasoning

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.

CIAA-J-2008-ChamparnaudDJ09 #algorithm #geometry #performance #regular expression

An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical (JMC, JPD, HJ), pp. 763–774.