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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662242, 9783540485230

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 2

Author(s):

Osamu Watanabe

Keyword(s):

Learning Theory ◽

Computational Learning Theory ◽

Computational Learning ◽

Discovery Science

Download Full-text

Stable Marriage with Incomplete Lists and Ties

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

10.1007/3-540-48523-6_41 ◽

1999 ◽

pp. 443-452 ◽

Cited By ~ 63

Author(s):

Kazuo Iwama ◽

Shuichi Miyazaki ◽

Yasufumi Morita ◽

David Manlove

Keyword(s):

Stable Marriage ◽

Incomplete Lists

Download Full-text

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 5

Author(s):

Yevgeniy Dodis ◽

Sanjeev Khanna

Keyword(s):

Space Time ◽

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 25

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 ◽

Cited By ~ 11

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 ◽

Cited By ~ 10

Author(s):

Roberto Grossi ◽

Giuseppe F. Italiano

Keyword(s):

Data Structures ◽

Linked Data

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 ◽

Cited By ~ 2

Author(s):

Kevin J. Compton ◽

Scott Dexter

Keyword(s):

Cryptographic Protocols ◽

Proof Techniques

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

From Computational Learning Theory to Discovery Science

Stable Marriage with Incomplete Lists and Ties

Average-Case Complexity of Shellsort (Preliminary Version)

Space-Time Tradeoffs for Graph Properties

The Wave Propagator Is Turing Computable

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

Distributed Probabilistic Polling and Applications to Proportionate Agreement

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

Proof Techniques for Cryptographic Protocols

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