Title	Constructing the Reaching Region Graph for Timed Automata with PVS
Author	Huaikou Miao, Qingguo Xu
Citation	Vol. 6  No. 7  pp. 175-181
Keywords	Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS

Title	A Genetically based Evolutionary Computing Technique based on Cellular Automata
Author	G. Sahoo, Tapas kumar
Citation	Vol. 7  No. 11  pp. 26-31
Keywords	Fitness analysis, Genetic algorithm, CABEC Model, Cellular automata

Title	Identification of Protein Coding Regions in Genomic DNA Using Unsupervised FMACA Based Pattern Classifier
Author	P. Kiran Sree, Inampudi Ramesh Babu
Citation	Vol. 8  No. 1  pp. 305-309
Keywords	Cellular Automata (CA), Unsupervised learning Classifier, Genetic Algorithm (GA), Machine learning, Distinct K-Means Algorithm, Coding Regions, Fuzzy Multiple Attractor Cellular Automata (FMACA), Pattern Classifier

Title	Self-Stabilizing Model of A Memory Controller based on the Cellular Automata
Author	Katsumi Wasaki
Citation	Vol. 8  No. 3  pp. 222-227
Keywords	Cellular Automata, Self-Stabilizing, Fault Tolerant and Fault Masking