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

TOTAL DOCUMENTS

45

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer-Verlag

354015650x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the use of relational expressions in the design of efficient algorithms

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

10.1007/bfb0015771 ◽

2005 ◽

pp. 456-464

Author(s):

Seppo Sippu ◽

Eljas Soisalon-Soininen

Keyword(s):

Efficient Algorithms

Download Full-text

Ambiguity and transcendence

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

10.1007/bfb0015743 ◽

2005 ◽

pp. 179-188 ◽

Author(s):

Philippe Flajolet

Download Full-text

Dynamic interpolation search

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

10.1007/bfb0015768 ◽

2005 ◽

pp. 424-434 ◽

Author(s):

Kurt Mehlhorn ◽

Athanasios Tsakalidis

Keyword(s):

Interpolation Search

Download Full-text

Optimal parallel pattern matching in strings

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

10.1007/bfb0015775 ◽

2005 ◽

pp. 497-508 ◽

Author(s):

Uzi Vishkin

Keyword(s):

Pattern Matching ◽

Parallel Pattern

Download Full-text

The complementation problem for Büchi automata with applications to temporal logic

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

10.1007/bfb0015772 ◽

2005 ◽

pp. 465-474 ◽

Author(s):

A. Prasad Sistla ◽

Moshe Y. Vardi ◽

Pierre Wolper

Keyword(s):

Temporal Logic ◽

Büchi Automata ◽

Download Full-text

A bidirectional shortest-path algorithm with good average-case behavior (preliminary version)

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

10.1007/bfb0015765 ◽

2005 ◽

pp. 394-403 ◽

Author(s):

Michael Luby ◽

Prabhakar Ragde

Keyword(s):

Shortest Path ◽

Shortest Path Algorithm ◽

Average Case ◽

Preliminary Version

Download Full-text

Deterministic and Las Vegas primality testing algorithms

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

10.1007/bfb0015745 ◽

2005 ◽

pp. 199-209 ◽

Author(s):

Martin Fürer

Keyword(s):

Las Vegas ◽

Primality Testing ◽

Testing Algorithms

Download Full-text

On total regulators generated by derivation relations

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

10.1007/bfb0015732 ◽

2005 ◽

pp. 71-79

Author(s):

W. Bucher ◽

A. Ehrenfeucht ◽

D. Haussler

Download Full-text

A universal domain technique for profinite posets

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

10.1007/bfb0015748 ◽

2005 ◽

pp. 232-243

Author(s):

Carl A. Gunter

Keyword(s):

Universal Domain

Download Full-text

Linear and branching structures in the semantics and logics of reactive systems

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

10.1007/bfb0015727 ◽

2005 ◽

pp. 15-32 ◽

Author(s):

Amir Pnueli

Keyword(s):

Reactive Systems ◽

Branching Structures

Download Full-text