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=J. Comput.~Syst.~Sci. AND YEAR=2003
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the approximability of clique and related maximization problems
Aravind Srinivasan
Journal of Computer and System Sciences
67
(3), 2003, pp. 633-651
The Turing way to parameterized complexity
Marco Cesati
Journal of Computer and System Sciences
67
(4), 2003, pp. 654-685
The
k
-Feature Set problem is
W[2]
-complete
Carlos Cotta
,
Pablo Moscato
Journal of Computer and System Sciences
67
(4), 2003, pp. 686-690
Solving large FPT problems on coarse-grained parallel machines
James Cheetham
,
Frank Dehne
,
Andrew Rau-Chaplin
,
Ulrike Stege
,
Peter J. Taillon
Journal of Computer and System Sciences
67
(4), 2003, pp. 691-706
Call control with
k
rejections
R. Sai Anand
,
Thomas Erlebach
,
Alexander Hall
,
Stamatis Stefanakos
Journal of Computer and System Sciences
67
(4), 2003, pp. 707-722
A fixed-parameter algorithm for minimum quartet inconsistency
Jens Gramm
,
Rolf Niedermeier
Journal of Computer and System Sciences
67
(4), 2003, pp. 723-741
The parametrized complexity of knot polynomials
J.A. Makowsky
,
J.P. Mariño
Journal of Computer and System Sciences
67
(4), 2003, pp. 742-756
On the parameterized complexity of the fixed alphabet
Krzysztof Pietrzak
Journal of Computer and System Sciences
67
(4), 2003, pp. 757-771
Improving a fixed parameter tractability time bound for the shadow problem
Peter Heusch
,
Stefan Porschen
,
Ewald Speckenmeyer
Journal of Computer and System Sciences
67
(4), 2003, pp. 772-788
On the existence of subexponential parameterized algorithms
Liming Cai
,
David Juedes
Journal of Computer and System Sciences
67
(4), 2003, pp. 789-807
Graph separators: A parameterized view
Jochen Alber
,
Henning Fernau
,
Rolf Niedermeier
Journal of Computer and System Sciences
67
(4), 2003, pp. 808-832
Constrained minimum vertex cover in bipartite graphs: Complexity and parameterized algorithms
Jianer Chen
,
Iyad A. Kanj
Journal of Computer and System Sciences
67
(4), 2003, pp. 833-847
Analysis and application of adaptive sampling
James F. Lynch
Journal of Computer and System Sciences
66
(1), 2003, pp. 2-19
Query containment for data integration systems
Todd Millstein
,
Alon Halevy
,
Marc Friedman
Journal of Computer and System Sciences
66
(1), 2003, pp. 20-39
Verification of relational transducers for electronic commerce
Marc Spielmann
Journal of Computer and System Sciences
66
(1), 2003, pp. 40-65
Typechecking for XML transformers
Tova Milo
,
Dan Suciu
,
Victor Vianu
Journal of Computer and System Sciences
66
(1), 2003, pp. 66-97
Generalized substring selectivity estimation
Zhiyuan Chen
,
Flip Korn
,
Nick Koudas
,
S. Muthukrishnan
Journal of Computer and System Sciences
66
(1), 2003, pp. 98-132
On the content of materialized aggregate views
Stéphane Grumbach
,
Leonardo Tininini
Journal of Computer and System Sciences
66
(1), 2003, pp. 133-168
Reachability and connectivity queries in constraint databases
Michael Benedikt
,
Martin Grohe
,
Leonid Libkin
,
Luc Segoufin
Journal of Computer and System Sciences
66
(1), 2003, pp. 169-206
Indexing moving points
Pankaj K Agarwal
,
Lars Arge
,
Jeff Erickson
Journal of Computer and System Sciences
66
(1), 2003, pp. 207-243
Auditing Boolean attributes
Jon Kleinberg
,
Christos Papadimitriou
,
Prabhakar Raghavan
Journal of Computer and System Sciences
66
(1), 2003, pp. 244-253
Integrity constraints for XML
Wenfei Fan
,
Jérôme Siméon
Journal of Computer and System Sciences
66
(1), 2003, pp. 254-291
TTL: A modular language for hardware/software systems design
Vincenza Carchiolo
,
Michele Malgeri
,
Giuseppe Mangioni
Journal of Computer and System Sciences
66
(2), 2003, pp. 293-315
An axiomatic semantics for the synchronous language Gentzen
Simone Tini
Journal of Computer and System Sciences
66
(2), 2003, pp. 316-348
An efficient fully polynomial approximation scheme for the Subset-Sum Problem
Hans Kellerer
,
Renata Mansini
,
Ulrich Pferschy
,
Maria Grazia Speranza
Journal of Computer and System Sciences
66
(2), 2003, pp. 349-370
Seiten
<
1
2
3
>