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

9783642316050, 9783642316067

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Removal of Weighted ε-Transitions

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

10.1007/978-3-642-31606-7_31 ◽

2012 ◽

pp. 345-352 ◽

Cited By ~ 3

Author(s):

Sylvain Lombardy ◽

Jacques Sakarovitch

Download Full-text

Strict Local Testability with Consensus Equals Regularity

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

10.1007/978-3-642-31606-7_10 ◽

2012 ◽

pp. 113-124 ◽

Cited By ~ 2

Author(s):

Stefano Crespi Reghizzi ◽

Pierluigi L. San Pietro

Download Full-text

A Pushdown Transducer Extension for the OpenFst Library

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

10.1007/978-3-642-31606-7_6 ◽

2012 ◽

pp. 66-77 ◽

Cited By ~ 4

Author(s):

Cyril Allauzen ◽

Michael Riley

Download Full-text

A Disambiguation Algorithm for Finite Automata and Functional Transducers

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

10.1007/978-3-642-31606-7_23 ◽

2012 ◽

pp. 265-277 ◽

Cited By ~ 4

Author(s):

Mehryar Mohri

Keyword(s):

Finite Automata

Download Full-text

A Fast Suffix Automata Based Algorithm for Exact Online String Matching

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

10.1007/978-3-642-31606-7_13 ◽

2012 ◽

pp. 149-158 ◽

Cited By ~ 8

Author(s):

Simone Faro ◽

Thierry Lecroq

Keyword(s):

String Matching

Download Full-text

Automatic Theorem-Proving in Combinatorics on Words

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

10.1007/978-3-642-31606-7_16 ◽

2012 ◽

pp. 180-191 ◽

Cited By ~ 12

Author(s):

Daniel Goč ◽

Dane Henshall ◽

Jeffrey Shallit

Keyword(s):

Theorem Proving ◽

Combinatorics On Words ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

P(l)aying for Synchronization

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

10.1007/978-3-642-31606-7_14 ◽

2012 ◽

pp. 159-170 ◽

Cited By ~ 2

Author(s):

Fedor Fominykh ◽

Mikhail Volkov

Download Full-text

Multi-Tilde-Bar Derivatives

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

10.1007/978-3-642-31606-7_28 ◽

2012 ◽

pp. 321-328 ◽

Cited By ~ 3

Author(s):

Pascal Caron ◽

Jean-Marc Champarnaud ◽

Ludovic Mignot

Download Full-text

Typed Linear Algebra for Weigthed (Probabilistic) Automata

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

10.1007/978-3-642-31606-7_5 ◽

2012 ◽

pp. 52-65 ◽

Cited By ~ 1

Author(s):

José N. Oliveira

Keyword(s):

Linear Algebra ◽

Probabilistic Automata

Download Full-text

On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs

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

10.1007/978-3-642-31606-7_20 ◽

2012 ◽

pp. 229-239 ◽

Cited By ~ 3

Author(s):

Galina Jirásková ◽

Tomáš Masopust

Keyword(s):

Computational Complexity ◽

The State

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Removal of Weighted ε-Transitions

Strict Local Testability with Consensus Equals Regularity

A Pushdown Transducer Extension for the OpenFst Library

A Disambiguation Algorithm for Finite Automata and Functional Transducers

A Fast Suffix Automata Based Algorithm for Exact Online String Matching

Automatic Theorem-Proving in Combinatorics on Words

P(l)aying for Synchronization

Multi-Tilde-Bar Derivatives

Typed Linear Algebra for Weigthed (Probabilistic) Automata

On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs

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