↓ Skip to main content

Implementation and Application of Automata

Overview of attention for book
Cover of 'Implementation and Application of Automata'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Implementation and Application of Automata in String Processing
  3. Altmetric Badge
    Chapter 2 Applications of Automata in XML Processing
  4. Altmetric Badge
    Chapter 3 Program Analysis through Finite Tree Automata
  5. Altmetric Badge
    Chapter 4 An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton
  6. Altmetric Badge
    Chapter 5 On Extremal Cases of Hopcroft’s Algorithm
  7. Altmetric Badge
    Chapter 6 Compact Normal Form for Regular Languages as Xor Automata
  8. Altmetric Badge
    Chapter 7 Cellular Automata with Sparse Communication
  9. Altmetric Badge
    Chapter 8 A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule
  10. Altmetric Badge
    Chapter 9 On Parallel Implementations of Deterministic Finite Automata
  11. Altmetric Badge
    Chapter 10 FAdo and GUItar: Tools for Automata Manipulation and Visualization
  12. Altmetric Badge
    Chapter 11 A Testing Framework for Finite-State Morphology
  13. Altmetric Badge
    Chapter 12 A Table Compression Method for Extended Aho-Corasick Automaton
  14. Altmetric Badge
    Chapter 13 Compact Representation for Answer Sets of n-ary Regular Queries
  15. Altmetric Badge
    Chapter 14 Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata
  16. Altmetric Badge
    Chapter 15 Random Generation of Deterministic Tree (Walking) Automata
  17. Altmetric Badge
    Chapter 16 Hedge Pattern Partial Derivative
  18. Altmetric Badge
    Chapter 17 TAGED Approximations for Temporal Properties Model-Checking
  19. Altmetric Badge
    Chapter 18 Verifying Parallel Programs with Dynamic Communication Structures
  20. Altmetric Badge
    Chapter 19 Fixpoint Guided Abstraction Refinement for Alternating Automata
  21. Altmetric Badge
    Chapter 20 Automata-Based Termination Proofs
  22. Altmetric Badge
    Chapter 21 Implementation of State Elimination Using Heuristics
  23. Altmetric Badge
    Chapter 22 Short Regular Expressions from Finite Automata: Empirical Results
  24. Altmetric Badge
    Chapter 23 Small Extended Expressions for Acyclic Automata
  25. Altmetric Badge
    Chapter 24 Quantum Queries on Permutations with a Promise
  26. Altmetric Badge
    Chapter 25 Time-Optimal Winning Strategies for Poset Games
  27. Altmetric Badge
    Chapter 26 Amount of Nonconstructivity in Finite Automata
  28. Altmetric Badge
    Chapter 27 Multiflex: A Multilingual Finite-State Tool for Multi-Word Units
  29. Altmetric Badge
    Chapter 28 Efficient Parsing Using Filtered-Popping Recursive Transition Networks
  30. Altmetric Badge
    Chapter 29 Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms
  31. Altmetric Badge
    Chapter 30 Implementation and Application of Automata
  32. Altmetric Badge
    Chapter 31 Compiler Generator Based on Restarting Automata
  33. Altmetric Badge
    Chapter 32 Are Statecharts Finite Automata?
Attention for Chapter 10: FAdo and GUItar: Tools for Automata Manipulation and Visualization
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
11 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
FAdo and GUItar: Tools for Automata Manipulation and Visualization
Chapter number 10
Book title
Implementation and Application of Automata
Published by
Springer, Berlin, Heidelberg, July 2009
DOI 10.1007/978-3-642-02979-0_10
Book ISBNs
978-3-64-202978-3, 978-3-64-202979-0
Authors

André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis, Almeida, André, Almeida, Marco, Alves, José, Moreira, Nelma, Reis, Rogério

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 4 36%
Unknown 7 64%

Demographic breakdown

Readers by professional status Count As %
Professor 3 27%
Researcher 3 27%
Professor > Associate Professor 2 18%
Student > Ph. D. Student 1 9%
Student > Master 1 9%
Other 1 9%
Readers by discipline Count As %
Computer Science 8 73%
Linguistics 1 9%
Arts and Humanities 1 9%
Unknown 1 9%