Volume 18, Number 1, February 2007
Automated Technology for Verification and Analysis (ATVA 2005)
Volume 18, Number 2, April 2007
Volume 18, Number 3, June 2007
: Software Diversity-Based Active Replication as an Approach for Enhancing the Performance of Advanced Simulation Systems.
Arseny M. Shur
: Rational Approximations of Polynomial Factorial Languages.
Volume 18, Number 4, August 2007
: Information Distance and its Applications.
, Sheng Yu
: On the State Complexity of Combined Operations and their Estimation.
Volume 18, Number 5, October 2007
: A Framework for Solving Sequence Problem of Multiple Input Streams.
Volume 18, Number 6, December 2007
Peter R. J. Asveld
: Generating All Circular Shifts by Context-Free Grammars in Greibach Normal Form.
: Classes of Tree Languages Determined by Classes of Monoids.
Taishin Y. Nishida
: Membrane Algorithm with Brownian Subalgorithm and Genetic Subalgorithm.
: A Tree-Height Hierarchy of Context-Free Languages.
: Comparing Subword Occurrences in Binary D0L Sequences.