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

Power of Quantum Entanglement.- Information Networks, Link Analysis, and Temporal Dynamics.- Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs.- Bin-Packing with Fragile Objects.- Lower and Upper Bounds for Tracking Mobile Users.- On the Enumerability of the Determinant and the Rank.- On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks.- Parity Graph, driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.- Computability of Linear Equations.- Hierarchy Among Automata on Linear Orderings.- Symmetric Connectivity with Minimum Power Consumption in Radio Networks.- A Modified Recursive Triangular Factorization for Cauchy-like Systems.- Algorithmic Complexity of Protein Identification: Searching in Weighted Strings.- An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.- Randomized Dining Philosophers without Fairness Assumption.- Guarding Galleries and Terrains.- Gossiping with Unit Messages in Known Radio Networks.- Memoryless Search Algorithms in a Network with Faulty Advice.- Lower Bounds and the Hardness of Counting Properties.- Framework for Analyzing Garbage Collection.- One-Way Permutations and Self-Witnessing Languages.- Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function.- On Randomness and Infinity.- Server Placements, Roman Domination and other Dominating Set Variants.- A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees.- Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections.- Quantum NP and Quantum Hierarchy.- Probabilistically Checkable Proofs the Easy Way.- XML Web Services: The Global Computer?.- Micro Mobile Programs.- Checking Polynomial TimeComplexity with Types.- Boundary Inference for Enforcing Security Policies in Mobile Ambients.- Decidability and Tractability of Problems in Object-Based Graph Grammars.- Coverage of Implementations by Simulating Specifications.- TQL Algebra and its Implementation.- Model Checking Birth and Death.- Phantom Types and Subtyping.- On the Weakest Failure Detector for Non-Blocking Atomic Commit.- Combining Computational Effects: commutativity & sum.- Optimal-Reachability and Control for Acyclic Weighted Timed Automata.- Substructural Verification and Computational Feasibility.- An Improved System of Intersection Types for Explicit Substitutions.- About Compositional Analysis of Pi-Calculus Processes.- A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice.- On Reduction Semantics for the Push and Pull Ambient Calculus.- Safe Dynamic Binding in the Join Calculus.- Vectorial Languages and Linear Temporal Logic.- A Bound on Attacks on Authentication Protocols.- Responsive Bisimulation.- Author Index.