Volume 403,
Number 1,
August 2008
Fundamental study
Contributions
- Jonathan Timmis, Andrew Hone, Thomas Stibor, Edward Clark:
Theoretical advances in artificial immune systems.
11-32
Electronic Edition (link) BibTeX
- Pavel A. Borisovsky, Anton V. Eremeev:
Comparing evolutionary algorithms to the (1+1)-EA.
33-41
Electronic Edition (link) BibTeX
- Lvzhou Li, Daowen Qiu:
Determining the equivalence for one-way quantum finite automata.
42-51
Electronic Edition (link) BibTeX
- François Fages, Sylvain Soliman:
Abstract interpretation and types for systems biology.
52-70
Electronic Edition (link) BibTeX
- Tommaso Toffoli, Silvio Capobianco, Patrizia Mentrasti:
When-and how-can a cellular automaton be rewritten as a lattice gas?
71-88
Electronic Edition (link) BibTeX
- M. V. Panduranga Rao:
Interference automata.
89-103
Electronic Edition (link) BibTeX
- Carsten Witt:
Population size versus runtime of a simple evolutionary algorithm.
104-120
Electronic Edition (link) BibTeX
- Willem L. Fouché, Johannes Heidema, Glyn Jones, Petrus H. Potgieter:
Universality and programmability of quantum computers.
121-129
Electronic Edition (link) BibTeX
Erratum
Volume 403,
Numbers 2-3,
August 2008
- Jean-François Dufourd:
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof.
133-159
Electronic Edition (link) BibTeX
- Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr:
CERES: An analysis of Fürstenberg's proof of the infinity of primes.
160-175
Electronic Edition (link) BibTeX
- Florentin Ipate, Mike Holcombe:
Testing data processing-oriented systems from stream X-machine models.
176-191
Electronic Edition (link) BibTeX
- Sanjiang Li, Mingsheng Ying:
Soft constraint abstraction based on semiring homomorphism.
192-201
Electronic Edition (link) BibTeX
- Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
202-220
Electronic Edition (link) BibTeX
- Torsten Stüber, Heiko Vogler:
Weighted monadic datalog.
221-238
Electronic Edition (link) BibTeX
- José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational abstractions.
239-264
Electronic Edition (link) BibTeX
- Dan Olteanu, Christoph Koch, Lyublena Antova:
World-set decompositions: Expressiveness and efficient algorithms.
265-284
Electronic Edition (link) BibTeX
- Christophe Calvès, Maribel Fernández:
A polynomial nominal unification algorithm.
285-306
Electronic Edition (link) BibTeX
- Étienne Payet:
Loop detection in term rewriting using the eliminating unfoldings.
307-327
Electronic Edition (link) BibTeX
- Agata Ciabattoni, George Metcalfe:
Density elimination.
328-346
Electronic Edition (link) BibTeX
- Thomas Ehrhard, Laurent Regnier:
Uniformity and the Taylor expansion of ordinary lambda-terms.
347-372
Electronic Edition (link) BibTeX
- Alexander Rabinovich:
Arity hierarchy for temporal logics.
373-381
Electronic Edition (link) BibTeX
- Laura Bozzelli, Salvatore La Torre, Adriano Peron:
Verification of well-formed communicating recursive state machines.
382-405
Electronic Edition (link) BibTeX
Corrigenda
Copyright © Sun May 17 00:25:16 2009
by Michael Ley (ley@uni-trier.de)