Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9 13, 2007, Proceedings
Venue: ICALP
Year: 2007

Invited Lectures. Ushering in a New Era of Algorithm Design. A "proof reading" of Some Issues in Cryptography.  Evaluation and Implementation. Subexponential Parameterized Algorithms. Session A1. Competitive Algorithms for Due Date Scheduling. Mechanism Design for Fractional Scheduling on Unrelated Machines. Session A2. Estimating Sum by Weighted Sampling. Sampling Methods for Shortest Vectors, Closest Vectors and Successive Minima. Session A3.  A Lower Bound on Entanglement Assisted Quantum Communication Complexity. Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity. Session A5. An Optimal Decomposition Algorithm for Tree Edit Distance. On Commutativity Based Edge Lean Search.  Two Stage Stochastic Matching Problems. Session A6. On the Complexity of Hard Core Set Constructions.  Classes, and Complete Problems. Session A7. Online Conflict Free Colorings for Hypergraphs. Distributed Computing with Advice: Information Sensitivity of Graph Coloring. Session C1. Private Multiparty Sampling and Approximation of Vector Combinations. Constant Round Private Database Queries. Session A8.  Trading Static for Adaptive Security in Universally Composable Zero Knowledge. A Characterization of Non interactive Instance Dependent Commitment Schemes (NIC) Session A9. Sharp Tractability Borderlines for Finding Connected Motifs in Vertex Colored Graphs. Parameterized Algorithms for Directed Maximum Leaf Problems. Parameterized Approximability of the Disjoint Cycle Problem. Linear Problem Kernels for NP Hard Problems on Planar Graphs. Session C3. Private Locally Decodable Codes. Hash Functions in the Dedicated Key Setting: Design Choices and MPP Transforms. Unrestricted Aggregate Signatures. Ring Signatures of Sub linear Size Without Random Oracles.  Perfect Hash Functions and Their Applications. An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks. Session B1. Modular Algorithms for Heterogeneous Modal Logics. Co Logic Programming: Extending Logic Programming with Coinduction. Session C4.  Succinct Ordinal Trees Based on Tree Covering. A Framework for Dynamizing Succinct Data Structures. In Place Suffix Sorting. Session B2. Maximal Infinite Valued Constraint Languages. Affine Systems of Equations and Counting Infinitary Logic. Boundedness of Monadic FO over Acyclic Structures. Session A12. Strong Price of Anarchy for Machine Load Balancing. Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games. Session B3. Equational Systems and Free Constructions ( Categorical Views on Computations on Trees ( The Power of Dimensionality Resolved. Reconciling Data Compression and Kolmogorov Complexity. Size Competitive Meshing Without Large Angles. Session B4. A Fully Abstract Trace Semantics for General References. Aliased Register Allocation for Straight Line Programs Is NP Complete. Conservative Ambiguity Detection in Context Free Grammars. Session A14. Lower Bounds for Quantile Estimation in Random Order and Multi pass Streaming. Streaming and Fully Dynamic Centralized Algorithms for Constructing and Maintaining Sparse Spanners. Checking and Spot Checking the Correctness of Priority Queues. Session B5. Undecidability of 2 Label BPP Equivalences and Behavioral Type Systems for the Calculus. Ready Simulation for Concurrency: It's Logical! Continuous Capacities on Continuous State Spaces. Session A15. On the Chromatic Number of Random Graphs. Quasi randomness and Algorithmic Regularity for Graphs with General Degree Distributions. Complexity of the Cover Polynomial. Session B6. A Generalization of Cobham's Theorem to Automata over Real Numbers. Minimum Time Reachability in Timed Games. Reachability Time Games on Timed Automata. Perfect Information Stochastic Priority Games. Session B7. Bounded Depth Data Trees. Unranked Tree Automata with Sibling Equalities and Disequalities. Regular Languages of Nested Words: Fixed Points,  A Combinatorial Theorem for Trees. Session B8. Model Theory Makes Formulas Large. Decision Problems for Lower/Upper Bound Parametric Timed Automata. On the Complexity of Ltl Model Checking of Recursive State Machines.  On the Hardness of Embeddings Between Two Finite Metrics.