Volume 19, Number 1, February 2008
: A Normal Form for First-Order Logic over Doubly-Linked Data Structures.
Volume 19, Number 2, April 2008
, Peter W. Eklund
: An Intelligent User Interface for Browsing and Searching MPEG-7 Images Using Concept Lattices.
Volume 19, Number 3, June 2008
: Non-Constructive Methods for Finite Probabilistic Automata.
: Conjunctive Grammars Generate Non-Regular Unary Languages.
: On Transition Minimality of Bideterministic Automata.
: On the Implication of Multivalued Dependencies in Partial Database Relations.
: The Benford-Newcomb Distribution and Unambiguous Context-Free Languages.
Volume 19, Number 4, August 2008
: Testing the Descriptional Power of Small Turing Machines on Nonregular Language Acceptance.
: Remarks on Context-Free Parallel Communicating Grammar Systems Generating Crossed Agreements.
: An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems.
: Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems.
Volume 19, Number 5, October 2008
, Florin Manea
: On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections.
: On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane.
Volume 19, Number 6, December 2008
, Jie Wu
: On Achieving the Shortest-Path Routing in 2-d Meshes.
, Koji Nakano
: A New FM Screening Method to Generate Cluster-Dot Binary Images Using the Local Exhaustive Search with FPGA Acceleration.
: Separation between Classical and Quantum Winning Strategies for the Matching Game.