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 Volume=73
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automata on linear orderings
Véronique Bruyère
,
Olivier Carton
Journal of Computer and System Sciences
73
(1), 2007, pp. 1-24
S^p_2 \subseteq ZPP^{NP}
Jin-Yi Cai
Journal of Computer and System Sciences
73
(1), 2007, pp. 25-35
Languages polylog-time reducible to dot-depth 1/2
Christian Glaßer
Journal of Computer and System Sciences
73
(1), 2007, pp. 36-56
Online promise problems with online width metrics
Rodney G. Downey
,
Catherine McCartin
Journal of Computer and System Sciences
73
(1), 2007, pp. 57-72
Dichotomy for voting systems
Edith Hemaspaandra
,
Lane A. Hemaspaandra
Journal of Computer and System Sciences
73
(1), 2007, pp. 73-83
Multicriteria fuzzy decision-making methods based on intuitionistic fuzzy sets
Lin Lin
,
Xue-Hai Yuan
,
Zun-Quan Xia
Journal of Computer and System Sciences
73
(1), 2007, pp. 84-88
Learning languages in a union
Sanjay Jain
,
Yen Kaow Ng
,
Tiong Seng Tay
Journal of Computer and System Sciences
73
(1), 2007, pp. 89-108
On the learnability of vector spaces
Valentina S. Harizanov
,
Frank Stephan
Journal of Computer and System Sciences
73
(1), 2007, pp. 109-122
Quantum cooperative search algorithm for 3-SAT
Sheng-Tzong Cheng
,
Ming-Hung Tao
Journal of Computer and System Sciences
73
(1), 2007, pp. 123-136
Membrane computing and complexity theory: A characterization of
P
SPACE
Petr Sosík
,
Alfonso Rodríguez-Patón
Journal of Computer and System Sciences
73
(1), 2007, pp. 137-152
Dispatch sequences for embedded control models
Rajeev Alur
,
Arun Chandrashekharapuram
Journal of Computer and System Sciences
73
(2), 2007, pp. 156-170
A platform-independent component modeling language for distributed real-time and embedded systems
Krishnakumar Balasubramanian
,
Jaiganesh Balasubramanian
,
Jeff Parsons
,
Aniruddha Gokhale
,
Douglas C. Schmidt
Journal of Computer and System Sciences
73
(2), 2007, pp. 171-185
Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
Rodolfo Pellizzoni
,
Giuseppe Lipari
Journal of Computer and System Sciences
73
(2), 2007, pp. 186-206
Workload correlations in multi-processor hard real-time systems
Ernesto Wandeler
,
Lothar Thiele
Journal of Computer and System Sciences
73
(2), 2007, pp. 207-224
Exact admission-control for integrated aperiodic and periodic tasks
Björn Andersson
,
Cecilia Ekelin
Journal of Computer and System Sciences
73
(2), 2007, pp. 225-241
The price of validity in dynamic networks
Mayank Bawa
,
Aristides Gionis
,
Hector Garcia-Molina
,
Rajeev Motwani
Journal of Computer and System Sciences
73
(3), 2007, pp. 245-264
Spatially-decaying aggregation over a network
Edith Cohen
,
Haim Kaplan
Journal of Computer and System Sciences
73
(3), 2007, pp. 265-288
Automata for XML -- A survey
Thomas Schwentick
Journal of Computer and System Sciences
73
(3), 2007, pp. 289-315
Propagating XML constraints to relations
Susan Davidson
,
Wenfei Fan
,
Carmem Hara
Journal of Computer and System Sciences
73
(3), 2007, pp. 316-361
Frontiers of tractability for typechecking simple XML transformations
Wim Martens
,
Frank Neven
Journal of Computer and System Sciences
73
(3), 2007, pp. 362-390
On the memory requirements of
X
Path evaluation over XML streams
Ziv Bar-Yossef
,
Marcus Fontoura
,
Vanja Josifovski
Journal of Computer and System Sciences
73
(3), 2007, pp. 391-441
Specification and verification of data-driven Web applications
Alin Deutsch
,
Liying Sui
,
Victor Vianu
Journal of Computer and System Sciences
73
(3), 2007, pp. 442-474
Weighted hypertree decompositions and optimal query plans
Francesco Scarcello
,
Gianluigi Greco
,
Nicola Leone
Journal of Computer and System Sciences
73
(3), 2007, pp. 475-506
A formal analysis of information disclosure in data exchange
Gerome Miklau
,
Dan Suciu
Journal of Computer and System Sciences
73
(3), 2007, pp. 507-534
On the complexity of division and set joins in the relational algebra
Dirk Leinders
,
Jan Van den Bussche
Journal of Computer and System Sciences
73
(4), 2007, pp. 538-549
Seiten 1
2
3
>