Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar38. ICALP 2011: Zurich, Switzerland - Part II
Luca Aceto, Monika Henzinger, Jirí Sgall:
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6756, Springer 2011, ISBN 978-3-642-22011-1
Invited Lectures
- Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Relation between Differential Privacy and Quantitative Information Flow. 60-76
Best Student Papers
Best Papers
- Olivier Carton, Thomas Colcombet, Gabriele Puppis:
Regular Languages of Words over Countable Linear Orderings. 125-136 - Malte Beecken, Johannes Mittmann, Nitin Saxena:
Algebraic Independence and Blackbox Identity Testing. 137-148
Foundations of Program Semantics
- David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong:
A Fragment of ML Decidable by Visibly Pushdown Automata. 149-161 - Jim Laird, Giulio Manzonetto, Guy McCusker:
Constructing Differential Categories and Deconstructing Categories of Games. 186-197
Automata and Formal Languages
- Georg Zetzsche:
On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids. 222-233 - Michael Benedikt, Gabriele Puppis, Cristian Riveros:
The Cost of Traveling between Languages. 234-245
Model Checking
- Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer:
Emptiness and Universality Problems in Timed Automata with Positive Frequency. 246-257 - Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. 271-282 - Xin Zhang, Franck van Breugel:
A Progress Measure for Explicit-State Probabilistic Model-Checkers. 283-294
Probabilistic Systems
- Silvia Crafa, Francesco Ranzato:
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. 295-306 - Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková:
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. 319-331 - Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. 332-343
Logic in Computer Science
- Simone Bova, Hubie Chen, Matthew Valeriote:
Generic Expression Hardness Results for Primitive Positive Formula Comparison. 344-355 - Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin:
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates. 368-379
Hybrid Systems
- Kohei Suenaga, Ichiro Hasuo:
Programming with Infinitesimals: A While-Language for Hybrid System Modeling. 392-403 - Diana Fischer, Lukasz Kaiser:
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems. 404-415 - Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
On Reachability for Hybrid Automata over Bounded Time. 416-427
Specification and Verification
- Ahmed Bouajjani, Roland Meyer, Eike Möhlmann:
Deciding Robustness against Total Store Ordering. 428-440 - Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang:
On Stabilization in Herman's Algorithm. 466-477
Graphs
- Nicole Megow, Kurt Mehlhorn, Pascal Schweitzer:
Online Graph Exploration: New Results on Old and New Algorithms. 478-489 - Danny Hermelin, Avivit Levy, Oren Weimann, Raphael Yuster:
Distance Oracles for Vertex-Labeled Graphs. 490-501
Matchings and Equilibria
- Kook Jin Ahn, Sudipto Guha:
Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem. 526-538 - Konstantinos Kollias, Tim Roughgarden:
Restoring Pure Equilibria to Weighted Congestion Games. 539-551 - Roberto Cominetti, José R. Correa, Omar Larré:
Existence and Uniqueness of Equilibria for Flows over Time. 552-563
Privacy and Content Search
- Michael T. Goodrich, Michael Mitzenmacher:
Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation. 576-587
Distributed Computation
- Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Pelc, Mariusz A. Rokicki:
Efficient Distributed Communication in Ad-Hoc Radio Networks. 613-624 - Magnús M. Halldórsson, Pradipta Mitra:
Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model. 625-636 - Johannes Dams, Martin Hoefer, Thomas Kesselheim:
Convergence Time of Power-Control Dynamics. 637-649 - Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch:
A New Approach for Analyzing Convergence Algorithms for Mobile Robots. 650-661
maintained by 
, founded at 
, founded at 
last updated on 2019-03-22 01:34 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
