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

TOTAL DOCUMENTS

90

(FIVE YEARS 0)

H-INDEX

19

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540404934, 9783540450610

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantitative Analysis of Probabilistic Lossy Channel Systems

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

10.1007/3-540-45061-0_78 ◽

2007 ◽

pp. 1008-1021 ◽

Author(s):

Alexander Rabinovich

Keyword(s):

Quantitative Analysis ◽

Lossy Channel ◽

Channel Systems

Download Full-text

The SPQR-Tree Data Structure in Graph Drawing

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

10.1007/3-540-45061-0_4 ◽

2003 ◽

pp. 34-46 ◽

Author(s):

Petra Mutzel

Keyword(s):

Data Structure ◽

Graph Drawing ◽

Tree Data ◽

Tree Data Structure

Download Full-text

Impact of Local Topological Information on Random Walks on Finite Graphs

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

10.1007/3-540-45061-0_81 ◽

2003 ◽

pp. 1054-1067 ◽

Author(s):

Satoshi Ikeda ◽

Izumi Kubo ◽

Norihiro Okumoto ◽

Masafumi Yamashita

Keyword(s):

Random Walks ◽

Topological Information ◽

Download Full-text

Discounting the Future in Systems Theory

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

10.1007/3-540-45061-0_79 ◽

2003 ◽

pp. 1022-1037 ◽

Author(s):

Luca de Alfaro ◽

Thomas A. Henzinger ◽

Rupak Majumdar

Keyword(s):

Systems Theory ◽

Download Full-text

Locally Commutative Categories

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

10.1007/3-540-45061-0_76 ◽

2003 ◽

pp. 984-995

Author(s):

Arkadev Chattopadhyay ◽

Denis Thérien

Download Full-text

Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes

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

10.1007/3-540-45061-0_7 ◽

2003 ◽

pp. 66-80 ◽

Author(s):

Juraj Hromkovič ◽

Georg Schnitger

Keyword(s):

Pushdown Automata

Download Full-text

There Are Spanning Spiders in Dense Graphs (and We Know How to Find Them)

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

10.1007/3-540-45061-0_63 ◽

2003 ◽

pp. 802-816 ◽

Author(s):

Luisa Gargano ◽

Mikael Hammar

Keyword(s):

Know How ◽

Download Full-text

Some Issues Regarding Search, Censorship, and Anonymity in Peer to Peer Networks

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

10.1007/3-540-45061-0_3 ◽

2003 ◽

pp. 33-33 ◽

Author(s):

Amos Fiat

Keyword(s):

Peer To Peer ◽

Peer Networks ◽

Peer To Peer Networks

Download Full-text

Approximating Steiner k-Cuts

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

10.1007/3-540-45061-0_17 ◽

2003 ◽

pp. 189-199 ◽

Author(s):

Chandra Chekuri ◽

Sudipto Guha ◽

Joseph Seffi Naor

Download Full-text

Model Checking and Testing Combined

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

10.1007/3-540-45061-0_5 ◽

2003 ◽

pp. 47-63 ◽

Author(s):

Doron Peled

Keyword(s):

Download Full-text