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

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

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

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.
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.

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.