↓ Skip to main content

Foundations of Information Technology in the Era of Network and Mobile Computing

Overview of attention for book
Cover of 'Foundations of Information Technology in the Era of Network and Mobile Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Power of Quantum Entanglement
  3. Altmetric Badge
    Chapter 2 Information Networks, Link Analysis, and Temporal Dynamics
  4. Altmetric Badge
    Chapter 3 Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs
  5. Altmetric Badge
    Chapter 4 Bin-Packing with Fragile Objects
  6. Altmetric Badge
    Chapter 5 Lower and Upper Bounds for Tracking Mobile Users
  7. Altmetric Badge
    Chapter 6 On the Enumerability of the Determinant and the Rank
  8. Altmetric Badge
    Chapter 7 On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks
  9. Altmetric Badge
    Chapter 8 Parity Graph-Driven Read-Once Branching Programs and An Exponential Lower Bound for Integer Multiplication
  10. Altmetric Badge
    Chapter 9 Computability of Linear Equations
  11. Altmetric Badge
    Chapter 10 Hierarchy Among Automata on Linear Orderings
  12. Altmetric Badge
    Chapter 11 Symmetric Connectivity with Minimum Power Consumption in Radio Networks
  13. Altmetric Badge
    Chapter 12 A Modified Recursive Triangular Factorization for Cauchy-Like Systems
  14. Altmetric Badge
    Chapter 13 Algorithmic Complexity of Protein Identification: Searching in Weighted Strings
  15. Altmetric Badge
    Chapter 14 An Efficient Parallel Pointer Machine Algorithm for the NCA Problem
  16. Altmetric Badge
    Chapter 15 Randomized Dining Philosophers without Fairness Assumption
  17. Altmetric Badge
    Chapter 16 Guarding Galleries and Terrains
  18. Altmetric Badge
    Chapter 17 Gossiping with Unit Messages in Known Radio Networks
  19. Altmetric Badge
    Chapter 18 Memoryless Search Algorithms in a Network with Faulty Advice
  20. Altmetric Badge
    Chapter 19 Lower Bounds and the Hardness of Counting Properties
  21. Altmetric Badge
    Chapter 20 Framework for Analyzing Garbage Collection
  22. Altmetric Badge
    Chapter 21 One-Way Permutations and Self-Witnessing Languages
  23. Altmetric Badge
    Chapter 22 Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function
  24. Altmetric Badge
    Chapter 23 On Randomness and Infinity
  25. Altmetric Badge
    Chapter 24 Server Placements, Roman Domination and Other Dominating Set Variants
  26. Altmetric Badge
    Chapter 25 A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees
  27. Altmetric Badge
    Chapter 26 Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections
  28. Altmetric Badge
    Chapter 27 Quantum NP and a Quantum Hierarchy
  29. Altmetric Badge
    Chapter 28 Probabilistically Checkable Proofs the Easy Way
  30. Altmetric Badge
    Chapter 29 XML Web Services: The Global Computer?
  31. Altmetric Badge
    Chapter 30 Micro Mobile Programs
  32. Altmetric Badge
    Chapter 31 Checking Polynomial Time Complexity with Types
  33. Altmetric Badge
    Chapter 32 Boundary Inference for Enforcing Security Policies in Mobile Ambients
  34. Altmetric Badge
    Chapter 33 Decidability and Tractability of Problems in Object-Based Graph Grammars
  35. Altmetric Badge
    Chapter 34 Coverage of Implementations by Simulating Specifications
  36. Altmetric Badge
    Chapter 35 TQL Algebra and Its Implementation
  37. Altmetric Badge
    Chapter 36 Model Checking Birth and Death
  38. Altmetric Badge
    Chapter 37 Phantom Types and Subtyping
  39. Altmetric Badge
    Chapter 38 On the Weakest Failure Detector for Non-Blocking Atomic Commit
  40. Altmetric Badge
    Chapter 39 Combining Computational Effects: Commutativity and Sum
  41. Altmetric Badge
    Chapter 40 Optimal-Reachability and Control for Acyclic Weighted Timed Automata
  42. Altmetric Badge
    Chapter 41 Substructural Verification and Computational Feasibility
  43. Altmetric Badge
    Chapter 42 An Improved System of Intersection Types for Explicit Substitutions
  44. Altmetric Badge
    Chapter 43 About Compositional Analysis of π-Calculus Processes
  45. Altmetric Badge
    Chapter 44 A Randomized Distributed Encoding of the π-Calculus with Mixed Choice
  46. Altmetric Badge
    Chapter 45 On Reduction Semantics for the Push and Pull Ambient Calculus
  47. Altmetric Badge
    Chapter 46 Safe Dynamic Binding in the Join Calculus
  48. Altmetric Badge
    Chapter 47 Vectorial Languages and Linear Temporal Logic
  49. Altmetric Badge
    Chapter 48 A Bound on Attacks on Authentication Protocols
  50. Altmetric Badge
    Chapter 49 Responsive Bisimulation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
21 X users

Readers on

mendeley
1 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
Foundations of Information Technology in the Era of Network and Mobile Computing
Published by
Springer Science & Business Media, July 2002
DOI 10.1007/978-0-387-35608-2
ISBNs
978-1-4020-7181-2, 978-1-4757-5275-5, 978-0-387-35608-2
Editors

Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

X Demographics

X Demographics

The data shown below were collected from the profiles of 21 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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%