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

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540424918, 9783540446743

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New Finite Automaton Constructions Based on Canonical Derivatives

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

10.1007/3-540-44674-5_7 ◽

2001 ◽

pp. 94-104 ◽

Author(s):

Jean-Marc Champarnaud ◽

D. Ziadi

Keyword(s):

Finite Automaton

Download Full-text

Glushkov Construction for Multiplicities

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

10.1007/3-540-44674-5_5 ◽

2001 ◽

pp. 67-79 ◽

Author(s):

Pascal Caron ◽

Marianne Flouret

Download Full-text

Lessons from INR in the Specification of Transductions

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

10.1007/3-540-44674-5_33 ◽

2001 ◽

pp. 335-336

Author(s):

J. Howard Johnson

Download Full-text

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games

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

10.1007/3-540-44674-5_22 ◽

2001 ◽

pp. 263-271 ◽

Author(s):

Dominik Schmitz ◽

Jens Vöge

Keyword(s):

Improvement Algorithm ◽

Finite State ◽

Download Full-text

Factorization of Ambiguous Finite-State Transducers

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

10.1007/3-540-44674-5_14 ◽

2001 ◽

pp. 170-181 ◽

Author(s):

André Kempe

Keyword(s):

Finite State Transducers ◽

Download Full-text

Reachability and Safety in Queue Systems

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

10.1007/3-540-44674-5_12 ◽

2001 ◽

pp. 145-156 ◽

Author(s):

Oscar H. Ibarra

Download Full-text

A Basis for Looping Extensions to Discriminating-Reverse Parsing

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

10.1007/3-540-44674-5_10 ◽

2001 ◽

pp. 122-134

Author(s):

Jacques Farré ◽

José Fortes Gálvez

Download Full-text

Synthesizing State-Based Object Systems from LSC Specifications

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

10.1007/3-540-44674-5_1 ◽

2001 ◽

pp. 1-33 ◽

Author(s):

David Harel ◽

Hillel Kugler

Download Full-text

Automata for Pro-V Topologies

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

10.1007/3-540-44674-5_11 ◽

2001 ◽

pp. 135-144

Author(s):

Pierre-Cyrille Héam

Download Full-text

The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata

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

10.1007/3-540-44674-5_26 ◽

2001 ◽

pp. 302-310 ◽

Author(s):

H. Todd Wareham

Keyword(s):

Parameterized Complexity ◽

Finite State Automata ◽

Finite State ◽

Composition Operations

Download Full-text