↓ Skip to main content

Computer Science -- Theory and Applications

Overview of attention for book
Cover of 'Computer Science -- Theory and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Propositional Proofs in Frege and Extended Frege Systems (Abstract)
  3. Altmetric Badge
    Chapter 2 Circuit Complexity Meets Ontology-Based Data Access
  4. Altmetric Badge
    Chapter 3 NEXP -Completeness and Universal Hardness Results for Justification Logic
  5. Altmetric Badge
    Chapter 4 A Combinatorial Algorithm for the Planar Multiflow Problem with Demands Located on Three Holes
  6. Altmetric Badge
    Chapter 5 Generalized LR Parsing for Grammars with Contexts
  7. Altmetric Badge
    Chapter 6 On Compiling Structured CNFs to OBDDs
  8. Altmetric Badge
    Chapter 7 Satisfiability of ECTL* with Tree Constraints
  9. Altmetric Badge
    Chapter 8 On Growth and Fluctuation of k -Abelian Complexity
  10. Altmetric Badge
    Chapter 9 A Polynomial-Time Algorithm for Outerplanar Diameter Improvement
  11. Altmetric Badge
    Chapter 10 Editing to a Planar Graph of Given Degrees
  12. Altmetric Badge
    Chapter 11 On the Satisfiability of Quantum Circuits of Small Treewidth
  13. Altmetric Badge
    Chapter 12 Equations over Free Inverse Monoids with Idempotent Variables
  14. Altmetric Badge
    Chapter 13 A Logical Characterization of Timed Pushdown Languages
  15. Altmetric Badge
    Chapter 14 An In-Place Priority Queue with O (1) Time for Push and $$\lg n + O(1)$$ lg n + O ( 1 ) Comparisons for Pop
  16. Altmetric Badge
    Chapter 15 Resolution Complexity of Perfect Matching Principles for Sparse Graphs
  17. Altmetric Badge
    Chapter 16 Operations on Self-Verifying Finite Automata
  18. Altmetric Badge
    Chapter 17 Automath Type Inclusion in Barendregt’s Cube
  19. Altmetric Badge
    Chapter 18 Circuit Lower Bounds for Average-Case MA
  20. Altmetric Badge
    Chapter 19 Making Randomness Public in Unbounded-Round Information Complexity
  21. Altmetric Badge
    Chapter 20 First-Order Logic Definability of Free Languages
  22. Altmetric Badge
    Chapter 21 Representation of (Left) Ideal Regular Languages by Synchronizing Automata
  23. Altmetric Badge
    Chapter 22 Some Properties of Antistochastic Strings
  24. Altmetric Badge
    Chapter 23 Approximation and Exact Algorithms for Special Cases of Connected f -Factors
  25. Altmetric Badge
    Chapter 24 Rewriting Higher-Order Stack Trees
  26. Altmetric Badge
    Chapter 25 Interacting with Modal Logics in the Coq Proof Assistant
  27. Altmetric Badge
    Chapter 26 Delay Games with WMSO $$+$$ + U Winning Conditions
  28. Altmetric Badge
    Chapter 27 Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems
Attention for Chapter 16: Operations on Self-Verifying Finite Automata
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (57th percentile)
  • High Attention Score compared to outputs of the same age and source (83rd percentile)

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
5 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
Operations on Self-Verifying Finite Automata
Chapter number 16
Book title
Computer Science -- Theory and Applications
Published in
Lecture notes in computer science, June 2015
DOI 10.1007/978-3-319-20297-6_16
Book ISBNs
978-3-31-920296-9, 978-3-31-920297-6
Authors

Jozef Štefan Jirásek, Galina Jirásková, Alexander Szabari

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 60%
Professor 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Design 1 20%
Unknown 1 20%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 15 July 2017.
All research outputs
#7,523,397
of 22,959,818 outputs
Outputs from Lecture notes in computer science
#2,489
of 8,137 outputs
Outputs of similar age
#89,753
of 264,335 outputs
Outputs of similar age from Lecture notes in computer science
#46
of 290 outputs
Altmetric has tracked 22,959,818 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,137 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 54% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 264,335 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 57% of its contemporaries.
We're also able to compare this research output to 290 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 83% of its contemporaries.