↓ Skip to main content

Foundations of Software Technology and Theoretical Computer Science

Overview of attention for book
Cover of 'Foundations of Software Technology and Theoretical Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 109 Efficient resolution of singularities of plane curves
  3. Altmetric Badge
    Chapter 110 On the interactive complexity of graph reliability
  4. Altmetric Badge
    Chapter 111 Matching upper and lower bounds for simulations of several tapes on one multidimensional tape
  5. Altmetric Badge
    Chapter 112 The complexity of computing over quasigroups
  6. Altmetric Badge
    Chapter 113 Non-commutative computation, depth reduction, and skew circuits (extended abstract)
  7. Altmetric Badge
    Chapter 114 Inductive definitions and type theory an introduction (preliminary version)
  8. Altmetric Badge
    Chapter 115 Interpreter verification for a functional language
  9. Altmetric Badge
    Chapter 116 An epistemic foundation for logic programming with uncertainty
  10. Altmetric Badge
    Chapter 117 On typed calculi with a merge operator
  11. Altmetric Badge
    Chapter 118 Incremental algorithms for the single-source shortest path problem
  12. Altmetric Badge
    Chapter 119 An O(n) algorithm for realizing degree sequences
  13. Altmetric Badge
    Chapter 120 Coloring semi-random graphs in polynomial expected time
  14. Altmetric Badge
    Chapter 121 Finite-state strategies in regular infinite games
  15. Altmetric Badge
    Chapter 122 Location of the largest empty rectangle among arbitrary obstacles
  16. Altmetric Badge
    Chapter 123 Efficient parallel and linear time sequential split decomposition (extended abstract)
  17. Altmetric Badge
    Chapter 124 Algorithms for convex visibility problems
  18. Altmetric Badge
    Chapter 125 Lower bounds for parallel algebraic decision trees, complexity of convex hulls and related problems
  19. Altmetric Badge
    Chapter 126 Localities and failures (extended summary)
  20. Altmetric Badge
    Chapter 127 Priority and abstraction in process algebra
  21. Altmetric Badge
    Chapter 128 On the computational power of operators in ICSP with fairness
  22. Altmetric Badge
    Chapter 129 Decidability of timed language-inclusion for networks of real-time communicating sequential processes
  23. Altmetric Badge
    Chapter 130 My favorite ten complexity theorems of the past decade
  24. Altmetric Badge
    Chapter 131 Solving a unification problem under constrained substitutions using tree automata
  25. Altmetric Badge
    Chapter 132 Automata-driven efficient subterm unification
  26. Altmetric Badge
    Chapter 133 Randomized approximation algorithms in combinatorial optimization
  27. Altmetric Badge
    Chapter 134 A limited-backtrack greedy schema for approximation algorithms
  28. Altmetric Badge
    Chapter 135 On approximation scheme preserving reductibility and its applications
  29. Altmetric Badge
    Chapter 136 Approximation schemes using L-reductions
  30. Altmetric Badge
    Chapter 137 An explanation of splaying
  31. Altmetric Badge
    Chapter 138 Proving non-reachability by modulo-place-invariants
  32. Altmetric Badge
    Chapter 139 Soundness and completeness of UNITY logic
  33. Altmetric Badge
    Chapter 140 Efficient algorithms for the transformation between different types of binary decision diagrams
  34. Altmetric Badge
    Chapter 141 Extending the limits of sequentially phased reasoning
  35. Altmetric Badge
    Chapter 142 Foundations for faster external sorting
  36. Altmetric Badge
    Chapter 143 Branching rules for satisfiability
  37. Altmetric Badge
    Chapter 144 Using linear arithmetic procedure for generating induction schemes
Attention for Chapter 130: My favorite ten complexity theorems of the past decade
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (93rd percentile)
  • Good Attention Score compared to outputs of the same age and source (78th percentile)

Mentioned by

blogs
1 blog
twitter
3 X users

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
My favorite ten complexity theorems of the past decade
Chapter number 130
Book title
Foundation of Software Technology and Theoretical Computer Science
Published in
Lecture notes in computer science, January 1994
DOI 10.1007/3-540-58715-2_130
Book ISBNs
978-3-54-058715-6, 978-3-54-049054-8
Authors

Lance Fortnow, Fortnow, Lance

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.
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 %
United States 1 9%
Russia 1 9%
Unknown 9 82%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 18%
Researcher 2 18%
Unspecified 1 9%
Professor 1 9%
Other 1 9%
Other 2 18%
Unknown 2 18%
Readers by discipline Count As %
Computer Science 6 55%
Unspecified 1 9%
Economics, Econometrics and Finance 1 9%
Engineering 1 9%
Unknown 2 18%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 9. 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 November 2017.
All research outputs
#3,643,877
of 23,367,368 outputs
Outputs from Lecture notes in computer science
#827
of 8,158 outputs
Outputs of similar age
#4,596
of 71,956 outputs
Outputs of similar age from Lecture notes in computer science
#4
of 14 outputs
Altmetric has tracked 23,367,368 research outputs across all sources so far. Compared to these this one has done well and is in the 84th percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 8,158 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has done well, scoring higher than 89% 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 71,956 tracked outputs that were published within six weeks on either side of this one in any source. This one has done particularly well, scoring higher than 93% of its contemporaries.
We're also able to compare this research output to 14 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 78% of its contemporaries.