


default search action
JCSS, Volume 61
Volume 61, Number 1, August 2000
- Roderick Bloem
, Joost Engelfriet:
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. 1-50 - Dario Catalano, Rosario Gennaro:
New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications. 51-80 - Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan:
Improved Algorithms via Approximations of Probability Distributions. 81-107 - Gheorghe Paun:
Computing with Membranes. 108-143
Volume 61, Number 2, October 2000
- Jan Paredaens:
Guest Editor's Forword. 145 - Peter Buneman, Wenfei Fan
, Scott Weinstein:
Path Constraints in Semistructured Databases. 146-193 - Pankaj K. Agarwal, Lars Arge, Jeff Erickson, Paolo Giulio Franciosa, Jeffrey Scott Vitter
:
Efficient Searching with Linear Constraints. 194-216 - Christos H. Papadimitriou, Prabhakar Raghavan
, Hisao Tamaki, Santosh S. Vempala:
Latent Semantic Indexing: A Probabilistic Analysis. 217-235 - Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha:
Relational Transducers for Electronic Commerce. 236-269 - Luc Segoufin, Victor Vianu:
Querying Spatial Databases via Topological Invariants. 270-301 - Phokion G. Kolaitis, Moshe Y. Vardi:
Conjunctive-Query Containment and Constraint Satisfaction. 302-332
Volume 61, Number 3, December 2000
- Klaus Ambos-Spies, Levke Bentzien:
Separating NP-Completeness Notions under Strong Hypotheses. 335-361 - Mihir Bellare, Joe Kilian, Phillip Rogaway:
The Security of the Cipher Block Chaining Message Authentication Code. 362-399 - Francesco Quaglia, Roberto Baldoni, Bruno Ciciani:
On the No-Z-Cycle Property in Distributed Executions. 400-427 - Michael J. Kearns, Dana Ron
:
Testing Problems with Sublearning Sample Complexity. 428-456 - Sheng-Tzong Cheng, Chia-Mei Chen, Satish K. Tripathi:
A Fault-Tolerance Model for Multiprocessor Real-Time Systems. 457-477 - Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
On the Difference of Horn Theories. 478-507 - Kim S. Larsen
:
AVL Trees with Relaxed Balance. 508-522 - Jun'ichi Takeuchi, Naoki Abe, Shun-ichi Amari:
The Lob-Pass Problem. 523-557 - Beate Bollig, Ingo Wegener:
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems. 558-579

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.