@Proceedings{dsouza_et_al:LIPIcs.FSTTCS.2012,
title = {{LIPIcs, Volume 18, FSTTCS'12, Complete Volume}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2013},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012},
URN = {urn:nbn:de:0030-drops-41121},
doi = {10.4230/LIPIcs.FSTTCS.2012},
annote = {Keywords: Software/Program Verification, Models of Computation, Modes of Computation, Complexity Measures and Classes, Nonnumerical Algorithms and Problems Specifying and Verifying and Reasoning about Programs, Mathematical Logic, Formal Languages}
}
@InProceedings{dsouza_et_al:LIPIcs.FSTTCS.2012.i,
author = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
title = {{Frontmatter, Table of Contents, Preface, Conference Organization}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {i--xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.i},
URN = {urn:nbn:de:0030-drops-38411},
doi = {10.4230/LIPIcs.FSTTCS.2012.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{rabani:LIPIcs.FSTTCS.2012.1,
author = {Rabani, Yuval},
title = {{Learning Mixtures of Distributions over Large Discrete Domains}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {1--3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.1},
URN = {urn:nbn:de:0030-drops-38428},
doi = {10.4230/LIPIcs.FSTTCS.2012.1},
annote = {Keywords: machine learning, mixture models, topic models}
}
@InProceedings{bojanczyk_et_al:LIPIcs.FSTTCS.2012.4,
author = {Bojanczyk, Mikolaj and Torunczyk, Szymon},
title = {{Imperative Programming in Sets with Atoms}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {4--15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.4},
URN = {urn:nbn:de:0030-drops-38437},
doi = {10.4230/LIPIcs.FSTTCS.2012.4},
annote = {Keywords: Nominal sets, sets with atoms, while programs}
}
@InProceedings{achlioptas_et_al:LIPIcs.FSTTCS.2012.16,
author = {Achlioptas, Dimitris and Gouleakis, Themis},
title = {{Algorithmic Improvements of the Lov\'{a}sz Local Lemma via Cluster Expansion}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {16--23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.16},
URN = {urn:nbn:de:0030-drops-38440},
doi = {10.4230/LIPIcs.FSTTCS.2012.16},
annote = {Keywords: Probabilistic Method, Lov\'{a}sz Local Lemma, Algorithms}
}
@InProceedings{godefroid:LIPIcs.FSTTCS.2012.24,
author = {Godefroid, Patrice},
title = {{Test Generation Using Symbolic Execution}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {24--33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.24},
URN = {urn:nbn:de:0030-drops-38456},
doi = {10.4230/LIPIcs.FSTTCS.2012.24},
annote = {Keywords: Testing, Symbolic Execution, Verification, Test Generation}
}
@InProceedings{parthasarathy:LIPIcs.FSTTCS.2012.34,
author = {Parthasarathy, Madhusudan},
title = {{Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {34--35},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.34},
URN = {urn:nbn:de:0030-drops-38897},
doi = {10.4230/LIPIcs.FSTTCS.2012.34},
annote = {Keywords: logic, heap structures, data structures, program verification}
}
@InProceedings{kopparty_et_al:LIPIcs.FSTTCS.2012.36,
author = {Kopparty, Swastik and Srinivasan, Srikanth},
title = {{Certifying polynomials for AC^0(parity) circuits, with applications}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {36--47},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.36},
URN = {urn:nbn:de:0030-drops-38467},
doi = {10.4230/LIPIcs.FSTTCS.2012.36},
annote = {Keywords: Constant-depth Boolean circuits, Polynomials over finite fields, Size hierarchies}
}
@InProceedings{vempala:LIPIcs.FSTTCS.2012.48,
author = {Vempala, Santosh S.},
title = {{Randomly-oriented k-d Trees Adapt to Intrinsic Dimension}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {48--57},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.48},
URN = {urn:nbn:de:0030-drops-38470},
doi = {10.4230/LIPIcs.FSTTCS.2012.48},
annote = {Keywords: Data structures, Nearest Neighbors, Intrinsic Dimension, k-d Tree}
}
@InProceedings{goyal_et_al:LIPIcs.FSTTCS.2012.58,
author = {Goyal, Navin and Rademacher, Luis},
title = {{Lower Bounds for the Average and Smoothed Number of Pareto Optima}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {58--69},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.58},
URN = {urn:nbn:de:0030-drops-38488},
doi = {10.4230/LIPIcs.FSTTCS.2012.58},
annote = {Keywords: geometric probability, smoothed analysis, multiobjective optimization, Pareto optimal, knapsack}
}
@InProceedings{feigenblat_et_al:LIPIcs.FSTTCS.2012.70,
author = {Feigenblat, Guy and Porat, Ely and Shiftan, Ariel},
title = {{Exponential Space Improvement for minwise Based Algorithms}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {70--85},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.70},
URN = {urn:nbn:de:0030-drops-38495},
doi = {10.4230/LIPIcs.FSTTCS.2012.70},
annote = {Keywords: Streaming, Min-Wise, Hash Functions, Similarity, On line algorithms, Sub-linear algorithms}
}
@InProceedings{krebs_et_al:LIPIcs.FSTTCS.2012.86,
author = {Krebs, Andreas and Straubing, Howard},
title = {{An effective characterization of the alternation hierarchy in two-variable logic}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {86--98},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.86},
URN = {urn:nbn:de:0030-drops-38501},
doi = {10.4230/LIPIcs.FSTTCS.2012.86},
annote = {Keywords: FO\underline2, Quantifier Alternation, J, Pseudovarities, Identities}
}
@InProceedings{barany_et_al:LIPIcs.FSTTCS.2012.99,
author = {B\'{a}r\'{a}ny, Vince and Bojanczyk, Mikolaj and Figueira, Diego and Parys, Pawel},
title = {{Decidable classes of documents for XPath}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {99--111},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.99},
URN = {urn:nbn:de:0030-drops-38512},
doi = {10.4230/LIPIcs.FSTTCS.2012.99},
annote = {Keywords: XPath, XML, class automata, data trees, data words, satisfiability}
}
@InProceedings{gajarsky_et_al:LIPIcs.FSTTCS.2012.112,
author = {Gajarsky, Jakub and Hlineny, Petr},
title = {{Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {112--123},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.112},
URN = {urn:nbn:de:0030-drops-38553},
doi = {10.4230/LIPIcs.FSTTCS.2012.112},
annote = {Keywords: MSO graph property, tree-width, tree-depth, shrub-depth}
}
@InProceedings{fijalkow_et_al:LIPIcs.FSTTCS.2012.124,
author = {Fijalkow, Nathanael and Zimmermann, Martin},
title = {{Cost-Parity and Cost-Streett Games}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {124--135},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.124},
URN = {urn:nbn:de:0030-drops-38538},
doi = {10.4230/LIPIcs.FSTTCS.2012.124},
annote = {Keywords: Parity Games, Streett Games, Costs, Scoring Functions}
}
@InProceedings{kothapalli_et_al:LIPIcs.FSTTCS.2012.136,
author = {Kothapalli, Kishore and Pemmaraju, Sriram},
title = {{Super-Fast 3-Ruling Sets}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {136--147},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.136},
URN = {urn:nbn:de:0030-drops-38549},
doi = {10.4230/LIPIcs.FSTTCS.2012.136},
annote = {Keywords: MIS, ruling sets, graph sparsification, distributed algorithms}
}
@InProceedings{ivanyos_et_al:LIPIcs.FSTTCS.2012.148,
author = {Ivanyos, G\'{a}bor and Klauck, Hartmut and Lee, Troy and Santha, Miklos and de Wolf, Ronald},
title = {{New bounds on the classical and quantum communication complexity of some graph properties}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {148--159},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.148},
URN = {urn:nbn:de:0030-drops-38523},
doi = {10.4230/LIPIcs.FSTTCS.2012.148},
annote = {Keywords: Graph properties, communication complexity, quantum communication}
}
@InProceedings{broadbent_et_al:LIPIcs.FSTTCS.2012.160,
author = {Broadbent, Christopher and G\"{o}ller, Stefan},
title = {{On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {160--172},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.160},
URN = {urn:nbn:de:0030-drops-38583},
doi = {10.4230/LIPIcs.FSTTCS.2012.160},
annote = {Keywords: Bisimulation equivalence, Higher-order pushdown automata}
}
@InProceedings{latorre_et_al:LIPIcs.FSTTCS.2012.173,
author = {La Torre, Salvatore and Parlato, Gennaro},
title = {{Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {173--184},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.173},
URN = {urn:nbn:de:0030-drops-38563},
doi = {10.4230/LIPIcs.FSTTCS.2012.173},
annote = {Keywords: Model-checking, multi-threaded programs, sequentialization, tree-width}
}
@InProceedings{khandekar_et_al:LIPIcs.FSTTCS.2012.185,
author = {Khandekar, Rohit and Hildrum, Kirsten and Rajan, Deepak and Wolf, Joel},
title = {{Scheduling with Setup Costs and Monotone Penalties}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {185--198},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.185},
URN = {urn:nbn:de:0030-drops-38576},
doi = {10.4230/LIPIcs.FSTTCS.2012.185},
annote = {Keywords: Scheduling, resource augmentation, approximation algorithm, preemption, setup times}
}
@InProceedings{chakaravarthy_et_al:LIPIcs.FSTTCS.2012.199,
author = {Chakaravarthy, Venkatesan T. and Pal, Arindam and Roy, Sambuddha and Sabharwal, Yogish},
title = {{Scheduling Resources for Executing a Partial Set of Jobs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {199--210},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.199},
URN = {urn:nbn:de:0030-drops-38598},
doi = {10.4230/LIPIcs.FSTTCS.2012.199},
annote = {Keywords: Approximation Algorithms, Partial Covering, Interval Graphs}
}
@InProceedings{bozzelli_et_al:LIPIcs.FSTTCS.2012.211,
author = {Bozzelli, Laura and S\'{a}nchez, C\'{e}sar},
title = {{Visibly Rational Expressions}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {211--223},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.211},
URN = {urn:nbn:de:0030-drops-38604},
doi = {10.4230/LIPIcs.FSTTCS.2012.211},
annote = {Keywords: Visibly Pushdown Languages, Context-free specifications, Regular expressions, Algebraic characterization}
}
@InProceedings{heuner_et_al:LIPIcs.FSTTCS.2012.224,
author = {Heu{\ss}ner, Alexander and Le Gall, Tristan and Sutre, Gr\'{e}goire},
title = {{Safety Verification of Communicating One-Counter Machines}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {224--235},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.224},
URN = {urn:nbn:de:0030-drops-38614},
doi = {10.4230/LIPIcs.FSTTCS.2012.224},
annote = {Keywords: Counter Machines, FIFO Channels, Reachability Problem, Data Words}
}
@InProceedings{chakaravarthy_et_al:LIPIcs.FSTTCS.2012.236,
author = {Chakaravarthy, Venkatesan T. and Modani, Natwar and Natarajan, Sivaramakrishnan R. and Roy, Sambuddha and Sabharwal, Yogish},
title = {{Density Functions subject to a Co-Matroid Constraint}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {236--248},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.236},
URN = {urn:nbn:de:0030-drops-38627},
doi = {10.4230/LIPIcs.FSTTCS.2012.236},
annote = {Keywords: Approximation Algorithms, Submodular Functions, Graph Density}
}
@InProceedings{kumar_et_al:LIPIcs.FSTTCS.2012.249,
author = {Kumar, Amit and Panda, Preeti R. and Sarangi, Smruti},
title = {{Efficient on-line algorithm for maintaining k-cover of sparse bit-strings}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {249--256},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.249},
URN = {urn:nbn:de:0030-drops-38639},
doi = {10.4230/LIPIcs.FSTTCS.2012.249},
annote = {Keywords: On-line algorithms, string algorithms}
}
@InProceedings{anand_et_al:LIPIcs.FSTTCS.2012.257,
author = {Anand, Abhash and Baswana, Surender and Gupta, Manoj and Sen, Sandeep},
title = {{Maintaining Approximate Maximum Weighted Matching in Fully Dynamic Graphs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {257--266},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.257},
URN = {urn:nbn:de:0030-drops-38648},
doi = {10.4230/LIPIcs.FSTTCS.2012.257},
annote = {Keywords: Matching, Dynamic Algorithm, Graph Algorithm}
}
@InProceedings{elbassioni_et_al:LIPIcs.FSTTCS.2012.267,
author = {Elbassioni, Khaled and Garg, Naveen and Gupta, Divya and Kumar, Amit and Narula, Vishal and Pal, Arindam},
title = {{Approximation Algorithms for the Unsplittable Flow Problem on Paths and Trees}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {267--275},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.267},
URN = {urn:nbn:de:0030-drops-38650},
doi = {10.4230/LIPIcs.FSTTCS.2012.267},
annote = {Keywords: Approximation Algorithms, Integer Decomposition, Linear Programming, Scheduling, Unsplittable Flows}
}
@InProceedings{danos_et_al:LIPIcs.FSTTCS.2012.276,
author = {Danos, Vincent and Feret, Jerome and Fontana, Walter and Harmer, Russell and Hayman, Jonathan and Krivine, Jean and Thompson-Walsh, Chris and Winskel, Glynn},
title = {{Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {276--288},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.276},
URN = {urn:nbn:de:0030-drops-38669},
doi = {10.4230/LIPIcs.FSTTCS.2012.276},
annote = {Keywords: concurrency, rule-based models, graph rewriting, pathways, causality}
}
@InProceedings{delzanno_et_al:LIPIcs.FSTTCS.2012.289,
author = {Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo and Zavattaro, Gianluigi},
title = {{On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {289--300},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.289},
URN = {urn:nbn:de:0030-drops-38671},
doi = {10.4230/LIPIcs.FSTTCS.2012.289},
annote = {Keywords: Broadcast Communication, Parameterized Verification, Complexity}
}
@InProceedings{bonnet_et_al:LIPIcs.FSTTCS.2012.301,
author = {Bonnet, R\'{e}mi and Finkel, Alain and Praveen, M.},
title = {{Extending the Rackoff technique to Affine nets}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {301--312},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.301},
URN = {urn:nbn:de:0030-drops-38688},
doi = {10.4230/LIPIcs.FSTTCS.2012.301},
annote = {Keywords: Complexity of VASS, Affine nets, Rackoff technique, model checking, coverability, boundedness}
}
@InProceedings{lin:LIPIcs.FSTTCS.2012.313,
author = {Lin, Anthony Widjaja},
title = {{Accelerating tree-automatic relations}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {313--324},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.313},
URN = {urn:nbn:de:0030-drops-38691},
doi = {10.4230/LIPIcs.FSTTCS.2012.313},
annote = {Keywords: Semi-algorithm, Model Checking, Infinite Systems, Automata}
}
@InProceedings{bhattacharya_et_al:LIPIcs.FSTTCS.2012.325,
author = {Bhattacharya, Binay and Hu, Yuzhuang},
title = {{k-delivery traveling salesman problem on tree networks}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {325--336},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.325},
URN = {urn:nbn:de:0030-drops-38707},
doi = {10.4230/LIPIcs.FSTTCS.2012.325},
annote = {Keywords: k-delivery traveling salesman problem, approximation algorithms}
}
@InProceedings{bonsma:LIPIcs.FSTTCS.2012.337,
author = {Bonsma, Paul},
title = {{Rerouting shortest paths in planar graphs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {337--349},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.337},
URN = {urn:nbn:de:0030-drops-38715},
doi = {10.4230/LIPIcs.FSTTCS.2012.337},
annote = {Keywords: shortest path, rerouting, reconfiguration problem, planar graph, polynomial time, dynamic programming}
}
@InProceedings{rajan:LIPIcs.FSTTCS.2012.350,
author = {Rajan, Varun},
title = {{Space Efficient Edge-Fault Tolerant Routing}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {350--361},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.350},
URN = {urn:nbn:de:0030-drops-38721},
doi = {10.4230/LIPIcs.FSTTCS.2012.350},
annote = {Keywords: Routing, Fault tolerant algorithms, Space efficiency, Distributed data structures, Tight bounds}
}
@InProceedings{boker_et_al:LIPIcs.FSTTCS.2012.362,
author = {Boker, Udi and Henzinger, Thomas A.},
title = {{Approximate Determinization of Quantitative Automata}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {362--373},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.362},
URN = {urn:nbn:de:0030-drops-38739},
doi = {10.4230/LIPIcs.FSTTCS.2012.362},
annote = {Keywords: Quantitative; Automata; Determinization; Approximation}
}
@InProceedings{abdulla_et_al:LIPIcs.FSTTCS.2012.374,
author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Cederberg, Jonathan},
title = {{Timed Lossy Channel Systems}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {374--386},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.374},
URN = {urn:nbn:de:0030-drops-38746},
doi = {10.4230/LIPIcs.FSTTCS.2012.374},
annote = {Keywords: Lossy channel systems, timed automata, model checking}
}
@InProceedings{kobler_et_al:LIPIcs.FSTTCS.2012.387,
author = {K\"{o}bler, Johannes and Kuhnert, Sebastian and Verbitsky, Oleg},
title = {{Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Logspace}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {387--399},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.387},
URN = {urn:nbn:de:0030-drops-38757},
doi = {10.4230/LIPIcs.FSTTCS.2012.387},
annote = {Keywords: Proper circular-arc graphs, graph isomorphism, canonization, circular ones property, logspace complexity}
}
@InProceedings{crowston_et_al:LIPIcs.FSTTCS.2012.400,
author = {Crowston, Robert and Gutin, Gregory and Jones, Mark},
title = {{Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzik Bound}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {400--411},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.400},
URN = {urn:nbn:de:0030-drops-38765},
doi = {10.4230/LIPIcs.FSTTCS.2012.400},
annote = {Keywords: Acyclic Subgraph, Fixed-parameter tractable, Polynomial Kernel}
}
@InProceedings{mnich_et_al:LIPIcs.FSTTCS.2012.412,
author = {Mnich, Matthias and Philip, Geevarghese and Saurabh, Saket and Suchy, Ondrej},
title = {{Beyond Max-Cut: lambda-Extendible Properties Parameterized Above the Poljak-Turzik Bound}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {412--423},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.412},
URN = {urn:nbn:de:0030-drops-38776},
doi = {10.4230/LIPIcs.FSTTCS.2012.412},
annote = {Keywords: Algorithms and data structures; fixed-parameter algorithms; bipartite graphs; above-guarantee parameterization}
}
@InProceedings{lokshtanov_et_al:LIPIcs.FSTTCS.2012.424,
author = {Lokshtanov, Daniel and Saurabh, Saket and Wahlstr\"{o}m, Magnus},
title = {{Subexponential Parameterized Odd Cycle Transversal on Planar Graphs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {424--434},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.424},
URN = {urn:nbn:de:0030-drops-38783},
doi = {10.4230/LIPIcs.FSTTCS.2012.424},
annote = {Keywords: Graph Theory, Parameterized Algorithms, Odd Cycle Transversal}
}
@InProceedings{hermanns_et_al:LIPIcs.FSTTCS.2012.435,
author = {Hermanns, Holger and Turrini, Andrea},
title = {{Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {435--447},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.435},
URN = {urn:nbn:de:0030-drops-38794},
doi = {10.4230/LIPIcs.FSTTCS.2012.435},
annote = {Keywords: Probabilistic Automata, Weak probabilsitic bisimulation, Linear Programming problem, Polynomial decision algorithm}
}
@InProceedings{forejt_et_al:LIPIcs.FSTTCS.2012.448,
author = {Forejt, Vojtech and Jancar, Petr and Kiefer, Stefan and Worrell, James},
title = {{Bisimilarity of Probabilistic Pushdown Automata}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {448--460},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.448},
URN = {urn:nbn:de:0030-drops-38800},
doi = {10.4230/LIPIcs.FSTTCS.2012.448},
annote = {Keywords: bisimilarity, probabilistic systems, pushdown automata}
}
@InProceedings{chatterjee_et_al:LIPIcs.FSTTCS.2012.461,
author = {Chatterjee, Krishnendu and Joglekar, Manas and Shah, Nisarg},
title = {{Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B\"{u}chi Objectives}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {461--473},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.461},
URN = {urn:nbn:de:0030-drops-38817},
doi = {10.4230/LIPIcs.FSTTCS.2012.461},
annote = {Keywords: MDPs, Buchi objectives, Average case analysis}
}
@InProceedings{brazdil_et_al:LIPIcs.FSTTCS.2012.474,
author = {Brazdil, Tomas and Hermanns, Holger and Krcal, Jan and Kretinsky, Jan and Rehak, Vojtech},
title = {{Verification of Open Interactive Markov Chains}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {474--485},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.474},
URN = {urn:nbn:de:0030-drops-38826},
doi = {10.4230/LIPIcs.FSTTCS.2012.474},
annote = {Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization}
}
@InProceedings{varadarajan_et_al:LIPIcs.FSTTCS.2012.486,
author = {Varadarajan, Kasturi and Xiao, Xin},
title = {{On the Sensitivity of Shape Fitting Problems}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {486--497},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.486},
URN = {urn:nbn:de:0030-drops-38830},
doi = {10.4230/LIPIcs.FSTTCS.2012.486},
annote = {Keywords: Coresets, shape fitting, k-means, subspace approximation}
}
@InProceedings{ahn_et_al:LIPIcs.FSTTCS.2012.498,
author = {Ahn, Hee-Kap and Cheng, Siu-Wing and Kweon, Hyuk Jun and Yon, Juyoung},
title = {{Overlap of Convex Polytopes under Rigid Motion}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {498--509},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.498},
URN = {urn:nbn:de:0030-drops-38845},
doi = {10.4230/LIPIcs.FSTTCS.2012.498},
annote = {Keywords: convex polytope, overlap, approximation, rigid motion}
}
@InProceedings{de_et_al:LIPIcs.FSTTCS.2012.510,
author = {De, Minati and Nandy, Subhas C. and Roy, Sasanka},
title = {{Minimum Enclosing Circle with Few Extra Variables}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {510--521},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.510},
URN = {urn:nbn:de:0030-drops-38855},
doi = {10.4230/LIPIcs.FSTTCS.2012.510},
annote = {Keywords: Minimum enclosing circle, space-efficient algorithm, prune-and-search}
}
@InProceedings{devaki_et_al:LIPIcs.FSTTCS.2012.522,
author = {Devaki, Pranavadatta and Kanade, Aditya},
title = {{Static Analysis for Checking Data Format Compatibility of Programs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {522--533},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.522},
URN = {urn:nbn:de:0030-drops-38862},
doi = {10.4230/LIPIcs.FSTTCS.2012.522},
annote = {Keywords: Data format compatibility, producer-consumer/version-related programs}
}
@InProceedings{chadha_et_al:LIPIcs.FSTTCS.2012.534,
author = {Chadha, Rohit and Ummels, Michael},
title = {{The Complexity of Quantitative Information Flow in Recursive Programs}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {534--545},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.534},
URN = {urn:nbn:de:0030-drops-38872},
doi = {10.4230/LIPIcs.FSTTCS.2012.534},
annote = {Keywords: quantitative information flow, recursive programs, program analysis, verification, computational complexity}
}
@InProceedings{bana_et_al:LIPIcs.FSTTCS.2012.546,
author = {Bana, Gergei and Adao, Pedro and Sakurada, Hideki},
title = {{Computationally Complete Symbolic Attacker in Action}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
pages = {546--560},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.546},
URN = {urn:nbn:de:0030-drops-38888},
doi = {10.4230/LIPIcs.FSTTCS.2012.546},
annote = {Keywords: Security Protocols, Symbolic Adversary, Computational Soundness}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing