International Journal of Foundations of Computer Science, Volume 18
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.