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=335
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An inexact-suffix-tree-based algorithm for detecting extensible patterns
Abhijit Chattaraj
,
Laxmi Parida
Theoretical Computer Science
335
(1), 2005, pp. 3-14
On the complexity of finding emerging patterns
Lusheng Wang
,
Hao Zhao
,
Guozhu Dong
,
Jianping Li
Theoretical Computer Science
335
(1), 2005, pp. 15-27
Algorithms for pattern matching and discovery in RNA secondary structure
Giancarlo Mauri
,
Giulio Pavesi
Theoretical Computer Science
335
(1), 2005, pp. 29-51
Exact matching of RNA secondary structure patterns
Ying Xu
,
Lusheng Wang
,
Hao Zhao
,
Jianping Li
Theoretical Computer Science
335
(1), 2005, pp. 53-66
Modeling and predicting all-
\alpha
transmembrane proteins including helix-helix pairing
Jérôme Waldispühl
,
Jean-Marc Steyaert
Theoretical Computer Science
335
(1), 2005, pp. 67-92
Computing the maximum agreement of phylogenetic networks
Charles Choy
,
Jesper Jansson
,
Kunihiko Sadakane
,
Wing-Kin Sung
Theoretical Computer Science
335
(1), 2005, pp. 93-107
Polynomial and APX-hard cases of the individual haplotyping problem
Vineet Bafna
,
Sorin Istrail
,
Giuseppe Lancia
,
Romeo Rizzi
Theoretical Computer Science
335
(1), 2005, pp. 109-125
A brief history of process algebra
J.C.M. Baeten
Theoretical Computer Science
335
(2-3), 2005, pp. 131-146
Decomposition orders - Another generalisation of the fundamental theorem of arithmetic
Bas Luttik
,
Vincent van Oostrom
Theoretical Computer Science
335
(2-3), 2005, pp. 147-186
Measuring the performance of asynchronous systems with PAFAS
F. Corradini
,
W. Vogler
Theoretical Computer Science
335
(2-3), 2005, pp. 187-213
Process algebra for hybrid systems
J.A. Bergstra
,
C.A. Middelburg
Theoretical Computer Science
335
(2-3), 2005, pp. 215-280
On the usability of process algebra: An architectural view
Alessandro Aldini
,
Marco Bernardo
Theoretical Computer Science
335
(2-3), 2005, pp. 281-329
Observational congruences for dynamically reconfigurable tile systems
Roberto Bruni
,
Ugo Montanari
,
Vladimiro Sassone
Theoretical Computer Science
335
(2-3), 2005, pp. 331-372
A randomized encoding of the
\pi
-calculus with mixed choice
Catuscia Palamidessi
,
Oltea Mihaela Herescu
Theoretical Computer Science
335
(2-3), 2005, pp. 373-404