↓ Skip to main content

Theoretical Aspects of Computing – ICTAC 2018

Overview of attention for book
Cover of 'Theoretical Aspects of Computing – ICTAC 2018'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
  3. Altmetric Badge
    Chapter 2 LTL Semantic Tableaux and Alternating $$\omega $$ω-automata via Linear Factors
  4. Altmetric Badge
    Chapter 3 Proof Nets and the Linear Substitution Calculus
  5. Altmetric Badge
    Chapter 4 Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms
  6. Altmetric Badge
    Chapter 5 An Automata-Based View on Configurability and Uncertainty
  7. Altmetric Badge
    Chapter 6 Formalising Boost POSIX Regular Expression Matching
  8. Altmetric Badge
    Chapter 7 Monoidal Multiplexing
  9. Altmetric Badge
    Chapter 8 Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism
  10. Altmetric Badge
    Chapter 9 Layer by Layer – Combining Monads
  11. Altmetric Badge
    Chapter 10 Layer Systems for Confluence—Formalized
  12. Altmetric Badge
    Chapter 11 A Metalanguage for Guarded Iteration
  13. Altmetric Badge
    Chapter 12 Generating Armstrong ABoxes for $$\mathcal {ALC}$$ALC TBoxes
  14. Altmetric Badge
    Chapter 13 Spatio-Temporal Domains: An Overview
  15. Altmetric Badge
    Chapter 14 Checking Modal Contracts for Virtually Timed Ambients
  16. Altmetric Badge
    Chapter 15 Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
  17. Altmetric Badge
    Chapter 16 Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
  18. Altmetric Badge
    Chapter 17 Symbolic Computation via Program Transformation
  19. Altmetric Badge
    Chapter 18 Double Applicative Functors
  20. Altmetric Badge
    Chapter 19 Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
  21. Altmetric Badge
    Chapter 20 Explicit Auditing
  22. Altmetric Badge
    Chapter 21 Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
  23. Altmetric Badge
    Chapter 22 Complexity Results on Register Context-Free Grammars and Register Tree Automata
  24. Altmetric Badge
    Chapter 23 Information Flow Certificates
  25. Altmetric Badge
    Chapter 24 The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers
  26. Altmetric Badge
    Chapter 25 Convex Language Semantics for Nondeterministic Probabilistic Automata
  27. Altmetric Badge
    Chapter 26 Fast Computations on Ordered Nominal Sets
  28. Altmetric Badge
    Chapter 27 Non-preemptive Semantics for Data-Race-Free Programs
Attention for Chapter 21: Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
2 Dimensions
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
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
Chapter number 21
Book title
Theoretical Aspects of Computing – ICTAC 2018
Published in
arXiv, October 2018
DOI 10.1007/978-3-030-02508-3_21
Book ISBNs
978-3-03-002507-6, 978-3-03-002508-3
Authors

Mikhail Rybakov, Dmitry Shkatov, Rybakov, Mikhail, Shkatov, Dmitry

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 23 January 2019.
All research outputs
#18,833,474
of 24,002,307 outputs
Outputs from arXiv
#483,126
of 1,011,770 outputs
Outputs of similar age
#254,811
of 351,787 outputs
Outputs of similar age from arXiv
#17,059
of 26,352 outputs
Altmetric has tracked 24,002,307 research outputs across all sources so far. This one is in the 18th percentile – i.e., 18% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,011,770 research outputs from this source. They receive a mean Attention Score of 4.0. This one is in the 41st percentile – i.e., 41% of its peers scored the same or lower than it.
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 351,787 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 22nd percentile – i.e., 22% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 26,352 others from the same source and published within six weeks on either side of this one. This one is in the 21st percentile – i.e., 21% of its contemporaries scored the same or lower than it.