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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540310235, 9783540330974

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Language, the Expression, and the (Small) Automaton

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

10.1007/11605157_2 ◽

2006 ◽

pp. 15-30 ◽

Cited By ~ 9

Author(s):

Jacques Sakarovitch

Download Full-text

On the Equivalence Problem for Programs with Mode Switching

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

10.1007/11605157_34 ◽

2006 ◽

pp. 351-352 ◽

Cited By ~ 1

Author(s):

Rimma I. Podlovchenko ◽

Dmitry M. Rusakov ◽

Vladimir A. Zakharov

Keyword(s):

Equivalence Problem ◽

Mode Switching

Download Full-text

Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment

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

10.1007/11605157_25 ◽

2006 ◽

pp. 294-306 ◽

Cited By ~ 3

Author(s):

Tadahiro Suda ◽

Haruo Hosoya

Keyword(s):

Tree Automata ◽

Top Down

Download Full-text

Computing Affine Hulls over ${\mathbb Q}$ and ${\mathbb Z}$ from Sets Represented by Number Decision Diagrams

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

10.1007/11605157_18 ◽

2006 ◽

pp. 213-224

Author(s):

Louis Latour

Keyword(s):

Decision Diagrams ◽

Affine Hulls

Download Full-text

A Class of Rational n-WFSM Auto-intersections

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

10.1007/11605157_16 ◽

2006 ◽

pp. 188-198 ◽

Cited By ~ 5

Author(s):

André Kempe ◽

Jean-Marc Champarnaud ◽

Jason Eisner ◽

Franck Guingne ◽

Florent Nicart

Download Full-text

Restricting the Use of Auxiliary Symbols for Restarting Automata

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

10.1007/11605157_15 ◽

2006 ◽

pp. 176-187

Author(s):

Tomasz Jurdziński ◽

Friedrich Otto

Download Full-text

Deeper Connections Between LTL and Alternating Automata

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

10.1007/11605157_20 ◽

2006 ◽

pp. 238-249 ◽

Cited By ~ 5

Author(s):

Radek Pelánek ◽

Jan Strejček

Keyword(s):

Alternating Automata

Download Full-text

Learning Stochastic Finite Automata for Musical Style Recognition

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

10.1007/11605157_31 ◽

2006 ◽

pp. 345-346 ◽

Cited By ~ 3

Author(s):

Colin de la Higuera ◽

Frédéric Piat ◽

Frédéric Tantini

Keyword(s):

Finite Automata ◽

Musical Style

Download Full-text

Wind in the Willows – Generating Music by Means of Tree Transducers

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

10.1007/11605157_13 ◽

2006 ◽

pp. 153-162 ◽

Cited By ~ 3

Author(s):

Johanna Högberg

Keyword(s):

Tree Transducers

Download Full-text

Finite Automata and Unions of Regular Patterns with Bounded Constant Segments

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

10.1007/11605157_9 ◽

2006 ◽

pp. 104-115

Author(s):

Antonio Cano ◽

Pedro García

Keyword(s):

Finite Automata ◽

Regular Patterns

Download Full-text

Implementation and Application of Automata - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Language, the Expression, and the (Small) Automaton

On the Equivalence Problem for Programs with Mode Switching

Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment

Computing Affine Hulls over ${\mathbb Q}$ and ${\mathbb Z}$ from Sets Represented by Number Decision Diagrams

A Class of Rational n-WFSM Auto-intersections

Restricting the Use of Auxiliary Symbols for Restarting Automata

Deeper Connections Between LTL and Alternating Automata

Learning Stochastic Finite Automata for Musical Style Recognition

Wind in the Willows – Generating Music by Means of Tree Transducers

Finite Automata and Unions of Regular Patterns with Bounded Constant Segments

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