| Invited Lectures |
| Additive Approximation for Edge-Deletion Problems / Noga Alon ; Asaf Shapira ; Benny Sudakov |
| Graph Theory I |
| Testing Graph Isomorphism in Parallel by Playing a Game / Martin Grohe ; Oleg Verbitsky |
| The Spectral Gap of Random Graphs with Given Expected Degrees / Amin Coja-Oghlan ; Andre Lanka |
| Embedding Bounded Bandwidth Graphs into l[subscript 1] / Douglas E. Carroll ; Ashish Goel ; Adam Meyerson |
| On Counting Homomorphisms to Directed Acyclic Graphs / Martin Dyer ; Leslie Ann Goldberg ; Mike Paterson |
| Quantum Computing |
| Fault-Tolerance Threshold for a Distance-Three Quantum Code / Ben W. Reichardt |
| Lower Bounds on Matrix Rigidity Via a Quantum Argument / Ronald de Wolf |
| Self-testing of Quantum Circuits / Frederic Magniez ; Dominic Mayers ; Michele Mosca ; Harold Ollivier |
| Randomness |
| Deterministic Extractors for Independent-Symbol Sources / Chia-Jung Lee ; Chi-Jen Lu ; Shi-Chun Tsai |
| Gap Amplification in PCPs Using Lazy Random Walks / Jaikumar Radhakrishnan |
| Stopping Times, Metrics and Approximate Counting / Magnus Bordewich ; Marek Karpinski |
| Formal Languages |
| Algebraic Characterization of the Finite Power Property / Michal Kunc |
| P-completeness of Cellular Automaton Rule 110 / Turlough Neary ; Damien Woods |
| Small Sweeping 2NFAs Are Not Closed Under Complement / Christos A. Kapoutsis |
| Expressive Power of Pebble Automata / Mikotaj Bojanczyk ; Mathias Samuelides ; Thomas Schwentick ; Luc Segoufin |
| Delegate and Conquer: An LP-Based Approximation Algorithm for Minimum Degree MSTs / R. Ravi ; Mohit SinghApproximation Algorithms I： |
| Better Algorithms for Minimizing Average Flow-Time on Related Machines / Naveen Garg ; Amit Kumar |
| A Push-Relabel Algorithm for Approximating Degree Bounded MSTs / Kamalika Chaudhuri ; Satish Rao ; Samantha Riesenfeld ; Kunal Talwar |
| Edge Disjoint Paths in Moderately Connected Graphs / Shuheng Zhou |
| A Robust APTAS for the Classical Bin Packing Problem / Leah Epstein ; Asaf LevinApproximation Algorithms II： |
| Better Inapproximability Results for MaxClique, Chromatic Number and Min-3Lin-Deletion / Subhash Khot ; Ashok Kumar Ponnuswami |
| Approximating the Orthogonal Knapsack Problem for Hypercubes / Rolf Harren |
| A Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs / Ramesh Hariharan ; Telikepalli Kavitha ; Kurt MehlhornGraph Algorithms I： |
| Finding the Smallest H-Subgraph in Real Weighted Graphs and Related Problems / Virginia Vassilevska ; Ryan Williams ; Raphael Yuster |
| Weighted Bipartite Matching in Matrix Multiplication Time / Piotr Sankowski |
| Optimal Resilient Sorting and Searching in the Presence of Memory Faults / Irene Finocchi ; Fabrizio Grandoni ; Giuseppe F. ItalianoAlgorithms I： |
| Reliable and Efficient Computational Geometry Via Controlled Perturbation / Ralf Osbild ; Michael Sagraloff |
| Tight Bounds for Selfish and Greedy Load Balancing / Ioannis Caragiannis ; Michele Flammini ; Christos Kaklamanis ; Panagiotis Kanellopoulos ; Luca Moscardelli |
| Lower Bounds of Static Lovasz-Schrijver Calculus Proofs for Tseitin Tautologies / Arist Kojevnikov ; Dmitry ItsyksonComplexity I： |
| Extracting Kolmogorov Complexity with Applications to Dimension Zero-One Laws / Lance Fortnow ; John M. Hitchcock ; A. Pavan ; N. V. Vinodchandran ; Fengming Wang |
| The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies / Parikshit Gopalan ; Phokion G. Kolaitis ; Elitza N. Maneva ; Christos H. Papadimitriou |
| Data Structures and Linear Algebra |
| Suffix Trays and Suffix Trists: Structures for Faster Text Indexing / Richard Cole ; Tsvi Kopelowitz ; Moshe Lewenstein |
| Optimal Lower Bounds for Rank and Select Indexes / Alexander Golynski |
| Dynamic Interpolation Search Revisited / Alexis Kaporis ; Christos Makris ; Spyros Sioutas ; Athanasios Tsakalidis ; Kostas Tsichlas ; Christos Zaroliagis |
| Dynamic Matrix Rank / Gudmund Skovbjerg Frandsen ; Peter Frands Frandsen |
| Graphs |
| Nearly Optimal Visibility Representations of Plane Graphs / Xin He ; Huaming Zhang |
| Planar Crossing Numbers of Genus g Graphs / Hristo Djidjev ; Imrich Vrt'o |
| How to Trim an MST: A 2-Approximation Algorithm for Minimum Cost Tree Cover / Toshihiro Fujito |
| Tight Approximation Algorithm for Connectivity Augmentation Problems / Guy Kortsarz ; Zeev Nutov |
| On the Bipartite Unique Perfect Matching Problem / Thanh Minh Hoang ; Meena Mahajan ; Thomas ThieraufComplexity II： |
| Comparing Reductions to NP-Complete Sets |
| Design Is as Easy as Optimization / Deeparnab Chakrabarty ; Aranyak Mehta ; Vijay V. Vazirani |
| On the Complexity of 2D Discrete Fixed Point Problem / Xi Chen ; Xiaotie Deng |
| Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions / Martin Gairing ; Burkhard Monien ; Karsten TiemannGame Theory I： |
| The Game World Is Flat: The Complexity of Nash Equilibria in Succinct Games / Constantinos Daskalakis ; Alex Fabrikant |
| Network Games with Atomic Players / Roberto Cominetti ; Jose R. Correa ; Nicolas E. Stier-Moses |
| Finite-State Dimension and Real Arithmetic / David Doty ; Jack H. Lutz ; Satyadev NandakumarAlgorithms II： |
| Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings / Andreas Bjorklund ; Thore Husfeldt |
| The Myriad Virtues of Wavelet Trees / Paolo Ferragina ; Raffaele Giancarlo ; Giovanni Manzini |
| Atomic Congestion Games Among Coalitions / Dimitris Fotakis ; Spyros Kontogiannis ; Paul SpirakisGame Theory II： |
| Computing Equilibrium Prices in Exchange Economies with Tax Distortions / Bruno Codenotti ; Luis Rademacher ; Kasturi Varadarajan |
| New Constructions of Mechanisms with Verification / Vincenzo Auletta ; Roberto De Prisco ; Paolo Penna ; Giuseppe Persiano ; Carmine Ventre |
| Networks, Circuits and Regular Expressions |
| On the Price of Stability for Designing Undirected Networks with Fair Cost Allocations / Amos Fiat ; Haim Kaplan ; Meital Levy ; Svetlana Olonetsky ; Ronen Shabo |
| Dynamic Routing Schemes for General Graphs / Amos Korman ; David Peleg |
| Energy Complexity and Entropy of Threshold Circuits / Kei Uchizawa ; Rodney Douglas ; Wolfgang Maass |
| New Algorithms for Regular Expression Matching / Philip Bille |
| Fixed Parameter Complexity and Approximation Algorithms |
| A Parameterized View on Matroid Optimization Problems / Daniel Marx |
| Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction / Guy E. Blelloch ; Kedar Dhamdhere ; Eran Halperin ; Russell Schwartz ; Srinath Sridhar |
| Length-Bounded Cuts and Flows / Georg Baier ; Thomas Erlebach ; Alexander Hall ; Ekkehard Kohler ; Heiko Schilling ; Martin Skutella |
| An Adaptive Spectral Heuristic for Partitioning Random Graphs / Graph Algorithms II： |
| Some Results on Matchgates and Holographic Algorithms / Jin- Yi Cai ; Vinay Choudhary |
| Weighted Popular Matchings / Julian Mestre |
| Author Index |
| Invited Papers |
| Differential Privacy / Cynthia Dwork |
| The One Way to Quantum Computation / Vincent Danos ; Elham Kashefi ; Prakash Panangaden |
| Zero-Knowledge and Signatures |
| Efficient Zero Knowledge on the Internet / Ivan Visconti |
| Independent Zero-Knowledge Sets / Rosario Gennaro ; Silvio Micali |
| An Efficient Compiler from [Sigma]-Protocol to 2-Move Deniable Zero-Knowledge / Jun Furukawa ; Kaoru Kurosawa ; Hideki Imai |
| New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures / Damien Vergnaud |
| Cryptographic Protocols |
| Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption / Daniele Micciancio ; Saurabh Panjwani |
| Cryptographically Sound Implementations for Communicating Processes / Pedro Adao ; Cedric Fournet |
| A Dolev-Yao-Based Definition of Abuse-Free Protocols / Detlef Kahler ; Ralf Kusters ; Thomas Wilke |
| Secrecy and Protocol Analysis |
| Preserving Secrecy Under Refinement / Rajeev Alur ; Pavol Cerny ; Steve Zdancewic |
| Quantifying Information Leakage in Process Calculi / Michele Boreale |
| Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or / Stephanie Delaune ; Pascal Lafourcade ; Denis Lugiez ; Ralf Treinen |
| Cryptographic Primitives |
| Generalized Compact Knapsacks Are Collision Resistant / Vadim Lyubashevsky |
| An Efficient Provable Distinguisher for HFE / Vivien Dubois ; Louis Granboulan ; Jacques Stern |
| A Tight Bound for EMAC / Krzysztof Pietrzak |
| Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity / Frederik Armknecht ; Matthias Krause |
| Bounded Storage and Quantum Models |
| On Everlasting Security in the Hybrid Bounded Storage Model / Danny Harnik ; Moni Naor |
| On the Impossibility of Extracting Classical Randomness Using a Quantum Computer / Yevgeniy Dodis ; Renato Renner |
| Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding / Akinori Kawachi ; Tomoyuki Yamakami |
| Foundations |
| Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions / Iftach Haitner ; Omer Reingold |
| Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffle-Hellman Schemes / Pierre-Alain Fouque ; David Pointcheval ; Sebastien Zimmer |
| A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs / Ricardo Corin ; Jerry den Hartog |
| Multi-party Protocols |
| Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability / Duong Hieu Phan ; Reihaneh Safavi-Naini ; Dongvu Tonien |
| An Adaptively Secure Mix-Net Without Erasures / Douglas Wikstrom ; Jens Groth |
| Multipartite Secret Sharing by Bivariate Interpolation / Tamir Tassa ; Nira Dyn |
| Identity-Based Encryption Gone Wild / Michel Abdalla ; Dario Catalano ; Alexander W. Dent ; John Malone-Lee ; Gregory Neven ; Nigel P. Smart |
| Games |
| Deterministic Priority Mean-Payoff Games as Limits of Discounted Games / Hugo Gimbert ; Wieslaw Zielonka |
| Recursive Concurrent Stochastic Games / Kousha Etessami ; Mihalis Yannakakis |
| Half-Positional Determinacy of Infinite Games / Eryk Kopczyriski |
| A Game-Theoretic Approach to Deciding Higher-Order Matching / Colin Stirling |
| Semantics |
| Descriptive and Relative Completeness of Logics for Higher-Order Functions / Kohei Honda ; Martin Berger ; Nobuko Yoshida |
| Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism / Rasmus Ejlers Mogelberg |
| Typed GoI for Exponentials / Esfandiar Haghverdi |
| Commutative Locative Quantifiers for Multiplicative Linear Logic / Stefano Guerrini ; Patrizia Marzuoli |
| The Wadge Hierarchy of Deterministic Tree Languages / Filip MurlakAutomata I： |
| Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences / Patricia Bouyer ; Serge Haddad ; Pierre-Alain Reynier |
| On Complexity of Grammars Related to the Safety Problem / Tomasz Jurdzinski |
| Models |
| Jumbo [lambda]-Calculus / Paul Blain Levy |
| [lambda]-RBAC: Programming with Role-Based Access Control / Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely |
| Communication of Two Stacks and Rewriting / Juhani Karhumaki ; Alexander Okhotin |
| Equations |
| On the Axiomatizability of Priority / Luca Aceto ; Taolue Chen ; Wan Fokkink ; Anna Ingolfsdottir |
| A Finite Equational Base for CCS with Left Merge and Communication Merge / Bas Luttik |
| Theories of HNN-Extensions and Amalgamated Products / Markus Lohrey ; Geraud Senizergues |
| On Intersection Problems for Polynomially Generated Sets / Wong Karianto ; Aloys Krieg ; Wolfgang Thomas |
| Logics |
| Invisible Safety of Distributed Protocols / Ittai Balaban ; Amir Pnueli ; Lenore D. Zuck |
| The Complexity of Enriched [mu]-Calculi / Piero A. Bonatti ; Carsten Lutz ; Aniello Murano ; Moshe Y. Vardi |
| Interpreting Tree-to-Tree Queries / Michael Benedikt ; Christoph Koch |
| Constructing Exponential-Size Deterministic Zielonka Automata / Blaise Genest ; Anca MuschollAutomata II： |
| Flat Parametric Counter Automata / Marius Bozga ; Radu Iosif ; Yassine Lakhnech |
| Lower Bounds for Complementation of [omega]-Automata Via the Full Automata Technique / Qiqi Yan |
| Invited Lectures |
| Additive Approximation for Edge-Deletion Problems / Noga Alon ; Asaf Shapira ; Benny Sudakov |
| Graph Theory I |
図書