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
[1]
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND YEAR=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Conjunction on processes: Full abstraction via ready-tree semantics
Gerald Lüttgen
,
Walter Vogler
Theoretical Computer Science
373
(1-2), 2007, pp. 19-40
Space-aware ambients and processes
Franco Barbanera
,
Michele Bugliesi
,
Mariangiola Dezani-Ciancaglini
,
Vladimiro Sassone
Theoretical Computer Science
373
(1-2), 2007, pp. 41-69
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Manuel Clavel
,
José Meseguer
,
Miguel Palomino
Theoretical Computer Science
373
(1-2), 2007, pp. 70-91
Axiomatizations for probabilistic finite-state behaviors
Yuxin Deng
,
Catuscia Palamidessi
Theoretical Computer Science
373
(1-2), 2007, pp. 92-114
Compact and tractable automaton-based representations of time granularities
Ugo Dal Lago
,
Angelo Montanari
,
Gabriele Puppis
Theoretical Computer Science
373
(1-2), 2007, pp. 115-141
A rewriting logic framework for operational semantics of membrane systems
Oana Andrei
,
Gabriel Ciobanu
,
Dorel Lucanu
Theoretical Computer Science
373
(3), 2007, pp. 163-181
Adding recursion to DPI
Samuel Hym
,
Matthew Hennessy
Theoretical Computer Science
373
(3), 2007, pp. 182-212
The rewriting logic semantics project
José Meseguer
,
Grigore Roşu
Theoretical Computer Science
373
(3), 2007, pp. 213-237
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
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 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
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
Edwin J. Beggs
,
John V. Tucker
Theoretical Computer Science
371
(1-2), 2007, pp. 4-19
Quorum sensing
P
systems
Francesco Bernardini
,
Marian Gheorghe
,
Natalio Krasnogor
Theoretical Computer Science
371
(1-2), 2007, pp. 20-33
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>