Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

68

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662242, 9783540485230

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Average-Case Complexity of Shellsort (Preliminary Version)

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_42 ◽

1999 ◽

pp. 453-462 ◽

Author(s):

Tao Jiang ◽

Ming Li ◽

Paul Vitányi

Keyword(s):

Average Case ◽

Case Complexity ◽

Average Case Complexity ◽

Preliminary Version

Download Full-text

Space-Time Tradeoffs for Graph Properties

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_26 ◽

1999 ◽

pp. 291-300 ◽

Author(s):

Yevgeniy Dodis ◽

Sanjeev Khanna

Keyword(s):

Graph Properties

Download Full-text

The Wave Propagator Is Turing Computable

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_66 ◽

1999 ◽

pp. 697-706 ◽

Author(s):

Klaus Weihrauch ◽

Ning Zhong

Download Full-text

Bisimulation Equivalence Is Decidable for Normed Process Algebra (Extended abstract)

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_38 ◽

1999 ◽

pp. 412-421 ◽

Author(s):

Yoram Hirshfeld ◽

Mark Jerrum

Keyword(s):

Process Algebra ◽

Bisimulation Equivalence

Download Full-text

Distributed Probabilistic Polling and Applications to Proportionate Agreement

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_37 ◽

1999 ◽

pp. 402-411 ◽

Author(s):

Yehuda Hassin ◽

David Peleg

Download Full-text

Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures (Extended Abstract)

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_34 ◽

1999 ◽

pp. 372-381 ◽

Author(s):

Roberto Grossi ◽

Giuseppe F. Italiano

Keyword(s):

Data Structures ◽

Download Full-text

Proof Techniques for Cryptographic Protocols

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_3 ◽

1999 ◽

pp. 25-39 ◽

Author(s):

Kevin J. Compton ◽

Scott Dexter

Keyword(s):

Cryptographic Protocols ◽

Proof Techniques

Download Full-text

Parametric Temporal Logic for “Model Measuring”

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_13 ◽

1999 ◽

pp. 159-168 ◽

Author(s):

Rajeev Alur ◽

Kousha Etessami ◽

Salvatore La Torre ◽

Doron Peled

Keyword(s):

Download Full-text

On the Power of Las Vegas II. Two-Way Finite Automata

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_40 ◽

1999 ◽

pp. 433-442 ◽

Author(s):

Juraj Hromkovič ◽

Georg Schnitger

Keyword(s):

Las Vegas ◽

Finite Automata

Download Full-text

From Computational Learning Theory to Discovery Science

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48523-6_11 ◽

1999 ◽

pp. 134-148 ◽

Author(s):

Osamu Watanabe

Keyword(s):

Learning Theory ◽

Computational Learning Theory ◽

Computational Learning ◽

Discovery Science

Download Full-text