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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354015650x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Special relations in automated deduction

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

10.1007/bfb0015767 ◽

2005 ◽

pp. 413-423

Author(s):

Zohar Manna ◽

Richard Waldinger

Keyword(s):

Automated Deduction ◽

Special Relations

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 ◽

Cited By ~ 83

Author(s):

Amir Pnueli

Keyword(s):

Reactive Systems ◽

Branching Structures

Download Full-text

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 21

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 ◽

Cited By ~ 25

Author(s):

A. Prasad Sistla ◽

Moshe Y. Vardi ◽

Pierre Wolper

Keyword(s):

Temporal Logic ◽

Büchi Automata ◽

Buchi 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 ◽

Cited By ~ 2

Author(s):

Michael Luby ◽

Prabhakar Ragde

Keyword(s):

Shortest Path ◽

Shortest Path Algorithm ◽

Average Case ◽

Preliminary Version

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Special relations in automated deduction

On total regulators generated by derivation relations

A universal domain technique for profinite posets

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

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

Ambiguity and transcendence

Dynamic interpolation search

Optimal parallel pattern matching in strings

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

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

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