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=372
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Axiomatizing the identities of binoid languages
Igor Dolinka
Theoretical Computer Science
372
(1), 2007, pp. 1-14
Quasiperiodic Sturmian words and morphisms
F. Levé
,
G. Richomme
Theoretical Computer Science
372
(1), 2007, pp. 15-25
Optimal trade-off for Merkle tree traversal
Piotr Berman
,
Marek Karpinski
,
Yakov Nekrich
Theoretical Computer Science
372
(1), 2007, pp. 26-36
On the membership of invertible diagonal and scalar matrices
Paul Bell
,
Igor Potapov
Theoretical Computer Science
372
(1), 2007, pp. 37-45
RealLife: The continuum limit of Larger than Life cellular automata
Marcus Pivato
Theoretical Computer Science
372
(1), 2007, pp. 46-68
Optimal semi-online algorithms for machine covering
Zhiyi Tan
,
Yong Wu
Theoretical Computer Science
372
(1), 2007, pp. 69-80
Minimum cost source location problem with local 3-vertex-connectivity requirements
Toshimasa Ishii
,
Hitoshi Fujita
,
Hiroshi Nagamochi
Theoretical Computer Science
372
(1), 2007, pp. 81-93
On-line scheduling mesh jobs with dependencies
Deshi Ye
,
Guochuan Zhang
Theoretical Computer Science
372
(1), 2007, pp. 94-102
On rearrangeable multirate three-stage Clos networks
Wenqing Dou
,
Enyu Yao
Theoretical Computer Science
372
(1), 2007, pp. 103-107
Characterizations for restricted graphs of NLC-width 2
Frank Gurski
Theoretical Computer Science
372
(1), 2007, pp. 108-114
A simple storage scheme for strings achieving entropy bounds
Paolo Ferragina
,
Rossano Venturini
Theoretical Computer Science
372
(1), 2007, pp. 115-121
Using well-structured transition systems to decide divergence for catalytic
P
systems
Nadia Busi
Theoretical Computer Science
372
(2-3), 2007, pp. 125-135
Multiset random context grammars, checkers, and transducers
Matteo Cavaliere
,
Rudolf Freund
,
Marion Oswald
,
Dragoş Sburlan
Theoretical Computer Science
372
(2-3), 2007, pp. 136-151
On small universal antiport
P
systems
Erzsébet Csuhaj-Varjú
,
Maurice Margenstern
,
György Vaszil
,
Sergey Verlan
Theoretical Computer Science
372
(2-3), 2007, pp. 152-164
Discrete solutions to differential equations by metabolic
P
systems
Federico Fontana
,
Vincenzo Manca
Theoretical Computer Science
372
(2-3), 2007, pp. 165-182
On the degree of parallelism in membrane systems
Miguel A. Gutiérrez-Naranjo
,
Mario J. Pérez-Jiménez
,
Agustín Riscos-Núñez
Theoretical Computer Science
372
(2-3), 2007, pp. 183-195
Normal forms for spiking neural
P
systems
Oscar H. Ibarra
,
Andrei Păun
,
Gheorghe Păun
,
Alfonso Rodríguez-Patón
,
Petr Sosík
,
Sara Woodworth
Theoretical Computer Science
372
(2-3), 2007, pp. 196-217
Three ''quantum'' algorithms to solve 3-SATt
Alberto Leporati
,
Sara Felloni
Theoretical Computer Science
372
(2-3), 2007, pp. 218-241
Cycles and communicating classes in membrane systems and molecular dynamics
Michael Muskulus
,
Daniela Besozzi
,
Robert Brijder
,
Paolo Cazzaniga
,
Sanne Houweling
,
Dario Pescini
,
Grzegorz Rozenberg
Theoretical Computer Science
372
(2-3), 2007, pp. 242-266