Volume 386,
Numbers 1-2,
October 2007
- Grzegorz Rozenberg:
Preface.
1-2
Electronic Edition (link) BibTeX
- Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur:
Predecessor existence problems for finite discrete dynamical systems.
3-37
Electronic Edition (link) BibTeX
- Daowen Qiu:
Automata theory based on quantum logic: Reversibilities and pushdown automata.
38-56
Electronic Edition (link) BibTeX
- Andrew Carnell, Daniel Richardson:
Parallel computation in spiking neural nets.
57-72
Electronic Edition (link) BibTeX
- Thomas Jansen, Ingo Wegener:
A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-boolean functions of unitation.
73-93
Electronic Edition (link) BibTeX
- William Benfold, Jonathan Hallam, Adam Prügel-Bennett:
Optimal parameters for search using a barrier tree Markov model.
94-113
Electronic Edition (link) BibTeX
- Tobias Storch:
Finding large cliques in sparse semi-random graphs by simple randomized search heuristics.
114-131
Electronic Edition (link) BibTeX
- Remco Loos, Mitsunori Ogihara:
Complexity theory for splicing systems.
132-150
Electronic Edition (link) BibTeX
- Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Proof rules for the correctness of quantum programs.
151-166
Electronic Edition (link) BibTeX
Volume 386,
Number 3,
November 2007
Expressiveness in Concurrency
Copyright © Thu Aug 7 21:11:53 2008
by Michael Ley (ley@uni-trier.de)
