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=2000
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
Roderick Bloem
,
Joost Engelfriet
Journal of Computer and System Sciences
61
(1), 2000, pp. 1-50
New efficient and secure protocols for verifiable signature sharing and other applications
Dario Catalano
,
Rosario Gennaro
Journal of Computer and System Sciences
61
(1), 2000, pp. 51-80
Improved algorithms via approximations of probability distributions
Suresh Chari
,
Pankaj Rohatgi
,
Aravind Srinivasan
Journal of Computer and System Sciences
61
(1), 2000, pp. 81-107
Computing with membranes
Gheorghe Păun
Journal of Computer and System Sciences
61
(1), 2000, pp. 108-143
Path constraints in semistructured databases
Peter Bunemann
,
Wenfei Fan
,
Scott Weinstein
Journal of Computer and System Sciences
61
(2), 2000, pp. 146-193
Efficient searching with linear constraints
Pankaj K. Agarwal
,
Lars Arge
,
Jeff Erickson
,
Paulo G. Franciosa
,
Jeffrey Scott Vitter
Journal of Computer and System Sciences
61
(2), 2000, pp. 194-216
Latent semantic indexing: A probabilistic analysis
Christos H. Papadimitriou
,
Prabhakar Raghavan
,
Hisao Tamaki
,
Santosh Vempala
Journal of Computer and System Sciences
61
(2), 2000, pp. 217-235
Relational transducers for electronic commerce
Serge Abiteboul
,
Victor Vianu
,
Brad Fordham
,
Yelena Yesha
Journal of Computer and System Sciences
61
(2), 2000, pp. 236-269
Querying spatial databases via topological invariants
Luc Segoufin
,
Victor Vianu
Journal of Computer and System Sciences
61
(2), 2000, pp. 270-301
Conjunctive-query containment and constraint satisfaction
Phokion G. Kolaitis
,
Moshe Y. Vardi
Journal of Computer and System Sciences
61
(2), 2000, pp. 302-332
Separating
NP
-completeness notions under strong hypotheses
Klaus Ambos-Spies
,
Levke Bentzien
Journal of Computer and System Sciences
61
(3), 2000, pp. 335-361
The security of the cipher block chaining message authentication code
Mihir Bellare
,
Joe Kilian
,
Phillip Rogaway
Journal of Computer and System Sciences
61
(3), 2000, pp. 362-399
On the No-
Z
-Cycle property in distributed executions
Francesco Quaglia
,
Roberto Baldoni
,
Bruno Ciciani
Journal of Computer and System Sciences
61
(3), 2000, pp. 400-427
Testing problems with sublearning sample complexity
Michael Kearns
,
Dana Ron
Journal of Computer and System Sciences
61
(3), 2000, pp. 428-456
A fault-tolerance model for multiprocessor real-time systems
Sheng-Tzong Cheng
,
Chia-Mei Chen
,
Satish K. Tripathi
Journal of Computer and System Sciences
61
(3), 2000, pp. 457-477
On the difference of Horn theories
Thomas Eiter
,
Toshihide Ibaraki
,
Kazuhisa Makino
Journal of Computer and System Sciences
61
(3), 2000, pp. 478-507
AVL trees with relaxed balance
Kim S. Larsen
Journal of Computer and System Sciences
61
(3), 2000, pp. 508-522
The Lob-Pass problem
Jun-ichi Takeuchi
,
Naoki Abe
,
Shun-ichi Amari
Journal of Computer and System Sciences
61
(3), 2000, pp. 523-557
Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems
Beate Bollig
,
Ingo Wegener
Journal of Computer and System Sciences
61
(3), 2000, pp. 558-579
On the inapproximability of disjoint paths and minimum Steiner forest with bandwidth constraints
Bin Ma
,
Lusheng Wang
Journal of Computer and System Sciences
60
(1), 2000, pp. 1-12
Rooted branching bisimulation as a congruence
Wan Fokkink
Journal of Computer and System Sciences
60
(1), 2000, pp. 13-37
Global exponential stability and periodic solutions of delayed cellular neural networks
Jinde Cao
Journal of Computer and System Sciences
60
(1), 2000, pp. 38-46
On relationships between statistical zero-knowledge proofs
Tatsuaki Okamoto
Journal of Computer and System Sciences
60
(1), 2000, pp. 47-108
Data independence of read, write, and control structures in PRAM computations
Klaus-Jörn Lange
,
Rolf Niedermeier
Journal of Computer and System Sciences
60
(1), 2000, pp. 109-144
A 5/4 linear time bin packing algorithm
József Békési
,
Gábor Galambos
,
Hans Kellerer
Journal of Computer and System Sciences
60
(1), 2000, pp. 145-160
Seiten 1
2
>