ICALP (2)

Publications

2015

Laura Ciobanu, Volker Diekert, Murray Elder
Solution Sets for Equations over Free Groups are EDT0L Languages. ICALP (2) (2015)
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
Provenance Circuits for Trees and Treelike Instances. ICALP (2) (2015)
Anca Muscholl
Automated Synthesis of Distributed Controllers. ICALP (2) (2015)
Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
Liveness of Parameterized Timed Networks. ICALP (2) (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. ICALP (2) (2015)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
Adaptively Secure Coin-Flipping, Revisited. ICALP (2) (2015)
Sam Staton, Sander Uijlen
Effect Algebras, Presheaves, Non-locality and Contextuality. ICALP (2) (2015)
Erez Kantor, Shay Kutten
Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem. ICALP (2) (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. ICALP (2) (2015)
Henryk Michalewski, Matteo Mio
Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) (2015)
Andreas Emil Feldmann
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs. ICALP (2) (2015)
Christoph Haase, Stefan Kiefer
The Odds of Staying on Budget. ICALP (2) (2015)
Varsha Dani, Mahnush Movahedi, Jared Saia, Maxwell Young
Interactive Communication with Unknown Noise Rate. ICALP (2) (2015)
Michele Boreale
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation. ICALP (2) (2015)
Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time. ICALP (2) (2015)
Chen Avin, Zvi Lotker, Yinon Nahum, David Peleg
Core Size and Densification in Preferential Attachment Networks. ICALP (2) (2015)
Mikolaj Bojanczyk, Filip Murlak, Adam Witkowski
Containment of Monadic Datalog Programs via Bounded Clique-Width. ICALP (2) (2015)
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
The Complexity of Synthesis from Probabilistic Components. ICALP (2) (2015)
Yiannis Giannakopoulos, Elias Koutsoupias
Selling Two Goods Optimally. ICALP (2) (2015)
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetric Strategy Improvement. ICALP (2) (2015)
Kousha Etessami, Alistair Stewart, Mihalis Yannakakis
Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes. ICALP (2) (2015)
Markus Lohrey, Sebastian Maneth, Fabian Peternek
Compressed Tree Canonization. ICALP (2) (2015)
Olivier Finkel
Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words. ICALP (2) (2015)
Ori Lahav, Viktor Vafeiadis
Owicki-Gries Reasoning for Weak Memory Models. ICALP (2) (2015)
Michal Feldman, Ophir Friedler
A Unified Framework for Strong Price of Anarchy in Clustering Games. ICALP (2) (2015)
Ning Chen, Martin Hoefer, Marvin Künnemann, Chengyu Lin, Peihan Miao
Secretary Markets with Local Information. ICALP (2) (2015)
Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak
Trading Bounds for Memory in Games with Counters. ICALP (2) (2015)
Joseph Swernofsky, Michael Wehar
On the Complexity of Intersecting Regular, Context-Free, and Tree Languages. ICALP (2) (2015)
Dimitris Achlioptas, Paris Siminelakis
Symmetric Graph Properties Have Independent Edges. ICALP (2) (2015)
James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate
Short Proofs of the Kneser-Lovász Coloring Principle. ICALP (2) (2015)
Damiano Mazza, Kazushige Terui
Parsimonious Types and Non-uniform Computation. ICALP (2) (2015)
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) (2015)
Mohsen Ghaffari
Distributed Broadcast Revisited: Towards Universal Optimality. ICALP (2) (2015)
Pavel Raykov
Broadcast from Minicast Secure Against General Adversaries. ICALP (2) (2015)
Jarkko Kari, Michal Szabados
An Algebraic Geometric Approach to Nivat's Conjecture. ICALP (2) (2015)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. ICALP (2) (2015)
Tobias Friedrich, Anton Krohmer
On the Diameter of Hyperbolic Random Graphs. ICALP (2) (2015)
Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Noy Rotbart
A Simple and Optimal Ancestry Labeling Scheme for Trees. ICALP (2) (2015)
Sayan Bhattacharya, Martin Hoefer, Chien-Chung Huang, Telikepalli Kavitha, Lisa Wagner
Maintaining Near-Popular Matchings. ICALP (2) (2015)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
Natural Homology. ICALP (2) (2015)
Dan Alistarh, Rati Gelashvili
Polylogarithmic-Time Leader Election in Population Protocols. ICALP (2) (2015)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
On Reducing Linearizability to State Reachability. ICALP (2) (2015)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
Nominal Kleene Coalgebra. ICALP (2) (2015)
Georg Zetzsche
An Approach to Computing Downward Closures. ICALP (2) (2015)
Radha Jagadeesan, James Riely
From Sequential Specifications to Eventual Consistency. ICALP (2) (2015)
Ken-ichi Kawarabayashi, Stephan Kreutzer
Towards the Graph Minor Theorems for Directed Graphs. ICALP (2) (2015)
Martin Gairing, Konstantinos Kollias, Grammateia Kotsialou
Tight Bounds for Cost-Sharing in Weighted Congestion Games. ICALP (2) (2015)
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
Reachability is in DynFO. ICALP (2) (2015)
Karl Bringmann, Tobias Friedrich, Martin Hoefer, Ralf Rothenberger, Thomas Sauerwald
Ultra-Fast Load Balancing on Scale-Free Networks. ICALP (2) (2015)

volume 9135, 2015

Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II ICALP (2) 9135 (2015)