Implementation and Application of Automata - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029783, 9783642029790

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Extremal Cases of Hopcroft’s Algorithm

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_5 ◽

2009 ◽

pp. 14-23 ◽

Author(s):

Giusi Castiglione ◽

Antonio Restivo ◽

Marinella Sciortino

Download Full-text

Formally Synthesising a Protocol Converter: A Case Study

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_30 ◽

2009 ◽

pp. 249-252 ◽

Author(s):

Jing Cao ◽

Albert Nymeyer

Download Full-text

Amount of Nonconstructivity in Finite Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_26 ◽

2009 ◽

pp. 227-236 ◽

Author(s):

Rūsiņš Freivalds

Keyword(s):

Finite Automata

Download Full-text

Quantum Queries on Permutations with a Promise

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_24 ◽

2009 ◽

pp. 208-216 ◽

Author(s):

Rūsiņš Freivalds ◽

Kazuo Iwama

Download Full-text

Small Extended Expressions for Acyclic Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_23 ◽

2009 ◽

pp. 198-207 ◽

Author(s):

Pascal Caron ◽

Jean-Marc Champarnaud ◽

Ludovic Mignot

Download Full-text

Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_14 ◽

2009 ◽

pp. 105-114 ◽

Author(s):

Akio Fujiyoshi

Keyword(s):

Spanning Tree ◽

Directed Acyclic Graphs ◽

Tree Automata ◽

Download Full-text

TAGED Approximations for Temporal Properties Model-Checking

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_17 ◽

2009 ◽

pp. 135-144 ◽

Author(s):

Roméo Courbis ◽

Pierre-Cyrille Héam ◽

Olga Kouchnarenko

Keyword(s):

Model Checking ◽

Temporal Properties

Download Full-text

Automata-Based Termination Proofs

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_20 ◽

2009 ◽

pp. 165-177 ◽

Author(s):

Radu Iosif ◽

Adam Rogalewicz

Keyword(s):

Termination Proofs

Download Full-text

Random Generation of Deterministic Tree (Walking) Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_15 ◽

2009 ◽

pp. 115-124 ◽

Author(s):

Pierre-Cyrille Héam ◽

Cyril Nicaud ◽

Sylvain Schmitz

Keyword(s):

Random Generation

Download Full-text

Implementation and Application of Automata in String Processing

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02979-0_1 ◽

2009 ◽

pp. 1-1

Author(s):

Gonzalo Navarro

Keyword(s):

String Processing

Download Full-text