↓ Skip to main content
What is this page? Embed badge

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Overview of attention for book
Cover of 'FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
  3. Altmetric Badge
    Chapter 2 Constructions of Sparse Asymmetric Connectors
  4. Altmetric Badge
    Chapter 3 A Separation Logic for Resource Distribution
  5. Altmetric Badge
    Chapter 4 An Equational Theory for Transactions
  6. Altmetric Badge
    Chapter 5 Axioms for Regular Words
  7. Altmetric Badge
    Chapter 6 1-Bounded TWA Cannot Be Determinized
  8. Altmetric Badge
    Chapter 7 Reachability Analysis of Process Rewrite Systems
  9. Altmetric Badge
    Chapter 8 Pushdown Games with Unboundedness and Regular Conditions
  10. Altmetric Badge
    Chapter 9 Real-Time Model-Checking: Parameters Everywhere
  11. Altmetric Badge
    Chapter 10 The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata
  12. Altmetric Badge
    Chapter 11 Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
  13. Altmetric Badge
    Chapter 12 Subtyping Constraints in Quasi-lattices
  14. Altmetric Badge
    Chapter 13 An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case
  15. Altmetric Badge
    Chapter 14 Word Equations over Graph Products
  16. Altmetric Badge
    Chapter 15 Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models
  17. Altmetric Badge
    Chapter 16 Comparing Sequences with Segment Rearrangements
  18. Altmetric Badge
    Chapter 17 On Logically Defined Recognizable Tree Languages
  19. Altmetric Badge
    Chapter 18 Randomized Time-Space Tradeoffs for Directed Graph Connectivity
  20. Altmetric Badge
    Chapter 19 Distance-Preserving Approximations of Polygonal Paths
  21. Altmetric Badge
    Chapter 20 Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra
  22. Altmetric Badge
    Chapter 21 On the Covering Steiner Problem
  23. Altmetric Badge
    Chapter 22 Minimality Results for the Spatial Logics
  24. Altmetric Badge
    Chapter 23 Algorithms for Non-uniform Size Data Placement on Parallel Disks
  25. Altmetric Badge
    Chapter 24 Efficient Algorithms for Abelian Group Isomorphism and Related Problems
  26. Altmetric Badge
    Chapter 25 Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees
  27. Altmetric Badge
    Chapter 26 Model Checking and Satisfiability for Sabotage Modal Logic
  28. Altmetric Badge
    Chapter 27 Merging and Sorting By Strip Moves
  29. Altmetric Badge
    Chapter 28 The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase
  30. Altmetric Badge
    Chapter 29 Distributed Games
  31. Altmetric Badge
    Chapter 30 Maintenance of Multidimensional Histograms
  32. Altmetric Badge
    Chapter 31 Tagging Makes Secrecy Decidable with Unbounded Nonces as Well
  33. Altmetric Badge
    Chapter 32 Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties
  34. Altmetric Badge
    Chapter 33 On the Greedy Superstring Conjecture
  35. Altmetric Badge
    Chapter 34 Reasoning about Infinite State Systems Using Boolean Methods
  36. Altmetric Badge
    Chapter 35 Stringent Relativization
  37. Altmetric Badge
    Chapter 36 Component-Based Construction of Deadlock-Free Systems
  38. Altmetric Badge
    Chapter 37 Moderately Hard Functions: From Complexity to Spam Fighting
  39. Altmetric Badge
    Chapter 38 Zigzag Products, Expander Constructions, Connections, and Applications
Attention for Chapter 28: The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
6 Mendeley
Summary X
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
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase
Chapter number 28
Book title
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Published by
Springer, Berlin, Heidelberg, December 2003
DOI 10.1007/978-3-540-24597-1_28
Book ISBNs
978-3-54-020680-4, 978-3-54-024597-1
Authors

Sebastian Maneth, Maneth, Sebastian

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Japan 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 33%
Researcher 2 33%
Professor > Associate Professor 1 17%
Student > Master 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Psychology 1 17%

This page is provided by Altmetric.