↓ Skip to main content

Exploring New Frontiers of Theoretical Informatics

Overview of attention for book
Cover of 'Exploring New Frontiers of Theoretical Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The tPI (tRNA Pairing Index) a Mathematical Measure of Repetition in a (Biological) Sequence
  3. Altmetric Badge
    Chapter 2 Stability of Approximation in Discrete Optimization
  4. Altmetric Badge
    Chapter 3 Towards a Broader Theory of Mobile Processes
  5. Altmetric Badge
    Chapter 4 A Decidable Analysis of Security Protocols
  6. Altmetric Badge
    Chapter 5 Looking Inside Aεs and Bεs
  7. Altmetric Badge
    Chapter 6 Remove key Escrow from the Identity-Based Encryption System
  8. Altmetric Badge
    Chapter 7 A Randomised Algorithm for Checking The Normality of Cryptographic Boolean Functions
  9. Altmetric Badge
    Chapter 8 Reversible Circuit Realizations of Boolean Functions
  10. Altmetric Badge
    Chapter 9 Resource Bounded Immunity and Simplicity
  11. Altmetric Badge
    Chapter 10 Degree Bounds on Polynomials and Relativization Theory
  12. Altmetric Badge
    Chapter 11 The Firing Squad Synchronization Problem with Many Generals for One-Dimensional CA
  13. Altmetric Badge
    Chapter 12 A Matrix Q-Analogue of the Parikh Map
  14. Altmetric Badge
    Chapter 13 The Inherent Queuing Delay of Parallel Packet Switches
  15. Altmetric Badge
    Chapter 14 Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
  16. Altmetric Badge
    Chapter 15 Truthful Mechanisms for Generalized Utilitarian Problems
  17. Altmetric Badge
    Chapter 16 The Driving Philosophers
  18. Altmetric Badge
    Chapter 17 Engineering an External Memory Minimum Spanning Tree Algorithm
  19. Altmetric Badge
    Chapter 18 Scheduling With Release Times and Deadlines on A Minimum Number of Machines
  20. Altmetric Badge
    Chapter 19 Approximation Algorithms for Mixed Fractional Packing and Covering Problems
  21. Altmetric Badge
    Chapter 20 On Weighted Rectangle Packing with Large Resources
  22. Altmetric Badge
    Chapter 21 An O( n log 2 n ) Algorithm for a Sink Location Problem in Dynamic Tree Networks
  23. Altmetric Badge
    Chapter 22 Efficient Algorithms for Handling Molecular Weighted Sequences
  24. Altmetric Badge
    Chapter 23 Imperfectness of Data for STS-Based Physical Mapping
  25. Altmetric Badge
    Chapter 24 Solving Packing Problem with Weaker Block Solvers
  26. Altmetric Badge
    Chapter 25 Adaptive Sorting with AVL Trees
  27. Altmetric Badge
    Chapter 26 Precise Analysis of π -calculus in Cubic Time
  28. Altmetric Badge
    Chapter 27 Prototyping Proof Carrying Code
  29. Altmetric Badge
    Chapter 28 Contract Oriented Development of Component Software
  30. Altmetric Badge
    Chapter 29 New Insights on Architectural Connectors
  31. Altmetric Badge
    Chapter 30 On Complexity of Model-Checking for the TQL Logic
  32. Altmetric Badge
    Chapter 31 A Generic Framework for Checking Semantic Equivalences Between Pushdown Automata and Finite-State Automata
  33. Altmetric Badge
    Chapter 32 Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
  34. Altmetric Badge
    Chapter 33 A Calculus with Lazy Module Operators
  35. Altmetric Badge
    Chapter 34 Dynamic Typing with Dependent Types
  36. Altmetric Badge
    Chapter 35 Subtyping-Inheritance Conflicts: The Mobile Mixin Case
  37. Altmetric Badge
    Chapter 36 Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies
  38. Altmetric Badge
    Chapter 37 Effective Chemistry for Synchrony and Asynchrony
  39. Altmetric Badge
    Chapter 38 Controller Synthesis for Probabilistic Systems (Extended Abstract)
  40. Altmetric Badge
    Chapter 39 Highly Undecidable Questions for Process Algebras
  41. Altmetric Badge
    Chapter 40 New-HOPLA a higher-order process language with name generation
  42. Altmetric Badge
    Chapter 41 Behavioural Equivalences for Dynamic Web Data
  43. Altmetric Badge
    Chapter 42 Behavioural Theory for Mobile Ambients
  44. Altmetric Badge
    Chapter 43 Nested Commits For Mobile Calculi: Extending Join
  45. Altmetric Badge
    Chapter 44 Dynamic and Local Typing for Mobile Ambients
  46. Altmetric Badge
    Chapter 45 Polya:True Type Polymorphism for Mobile Ambients
  47. Altmetric Badge
    Chapter 46 Recovering Resources in the π-Calculus (DRAFT)
  48. Altmetric Badge
    Chapter 47 Ensuring Termination by Typability
  49. Altmetric Badge
    Chapter 48 The Simply-Typed Pure Pattern Type System Ensures Strong Normalization
  50. Altmetric Badge
    Chapter 49 Termination in Modal Kleene Algebra
  51. Altmetric Badge
    Chapter 50 Regular Tree Language Recognition with Static Information
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 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.
Title
Exploring New Frontiers of Theoretical Informatics
Published by
Springer Science & Business Media, July 2004
DOI 10.1007/b98989
ISBNs
978-1-4020-8140-8, 978-1-4020-8141-5
Editors

Levy, Jean-Jacques, Mayr, Ernst W., Mitchell, John C.

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 > Ph. D. Student 3 60%
Student > Master 1 20%
Researcher 1 20%
Readers by discipline Count As %
Philosophy 1 20%
Mathematics 1 20%
Business, Management and Accounting 1 20%
Computer Science 1 20%
Engineering 1 20%
Other 0 0%