Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=386
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Predecessor existence problems for finite discrete dynamical systems
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
,
Mayur Thakur
Theoretical Computer Science
386
(1-2), 2007, pp. 3-37
Automata theory based on quantum logic: Reversibilities and pushdown automata
Daowen Qiu
Theoretical Computer Science
386
(1-2), 2007, pp. 38-56
Parallel computation in spiking neural nets
Andrew Carnell
,
Daniel Richardson
Theoretical Computer Science
386
(1-2), 2007, pp. 57-72
A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-Boolean functions of unitation
Thomas Jansen
,
Ingo Wegener
Theoretical Computer Science
386
(1-2), 2007, pp. 73-93
Optimal parameters for search using a barrier tree Markov model
W. Benfold
,
J. Hallam
,
A. Prügel-Bennett
Theoretical Computer Science
386
(1-2), 2007, pp. 94-113
Finding large cliques in sparse semi-random graphs by simple randomized search heuristics
Tobias Storch
Theoretical Computer Science
386
(1-2), 2007, pp. 114-131
Complexity theory for splicing systems
Remco Loos
,
Mitsunori Ogihara
Theoretical Computer Science
386
(1-2), 2007, pp. 132-150
Proof rules for the correctness of quantum programs
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
,
Mingsheng Ying
Theoretical Computer Science
386
(1-2), 2007, pp. 151-166
Causality versus true-concurrency
Sibylle Fröschle
,
Sƚawomir Lasota
Theoretical Computer Science
386
(3), 2007, pp. 169-187
Concurrent reachability games
Luca de Alfaro
,
Thomas A. Henzinger
,
Orna Kupferman
Theoretical Computer Science
386
(3), 2007, pp. 188-217
Separation of synchronous and asynchronous communication via testing
D. Cacciagrano
,
F. Corradini
,
C. Palamidessi
Theoretical Computer Science
386
(3), 2007, pp. 218-235
Open bisimulation, revisited
Sébastien Briais
,
Uwe Nestmann
Theoretical Computer Science
386
(3), 2007, pp. 236-271