@Proceedings{raman_et_al:LIPIcs.FSTTCS.2014,
title = {{LIPIcs, Volume 29, FSTTCS'14, Complete Volume}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014},
URN = {urn:nbn:de:0030-drops-48795},
doi = {10.4230/LIPIcs.FSTTCS.2014},
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{raman_et_al:LIPIcs.FSTTCS.2014.i,
author = {Raman, Venkatesh and Suresh, S. P.},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {i--xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.i},
URN = {urn:nbn:de:0030-drops-48258},
doi = {10.4230/LIPIcs.FSTTCS.2014.i},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{bansal:LIPIcs.FSTTCS.2014.1,
author = {Bansal, Nikhil},
title = {{New Developments in Iterated Rounding}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {1--10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.1},
URN = {urn:nbn:de:0030-drops-48275},
doi = {10.4230/LIPIcs.FSTTCS.2014.1},
annote = {Keywords: Algorithms, Approximation, Rounding}
}
@InProceedings{cyriac_et_al:LIPIcs.FSTTCS.2014.11,
author = {Cyriac, Aiswarya and Gastin, Paul},
title = {{Reasoning About Distributed Systems: WYSIWYG}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {11--30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.11},
URN = {urn:nbn:de:0030-drops-48283},
doi = {10.4230/LIPIcs.FSTTCS.2014.11},
annote = {Keywords: Verification of distributed systems, Communicating recursive programs, Partial order/graph semantics, Split-width and tree interpretation}
}
@InProceedings{grohe:LIPIcs.FSTTCS.2014.31,
author = {Grohe, Martin},
title = {{Colour Refinement: A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {31--31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.31},
URN = {urn:nbn:de:0030-drops-48290},
doi = {10.4230/LIPIcs.FSTTCS.2014.31},
annote = {Keywords: Color Refinement, Graph Isomorphism, Machine Learning}
}
@InProceedings{kupferman_et_al:LIPIcs.FSTTCS.2014.33,
author = {Kupferman, Orna and Tamir, Tami},
title = {{Properties and Utilization of Capacitated Automata}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {33--44},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.33},
URN = {urn:nbn:de:0030-drops-48306},
doi = {10.4230/LIPIcs.FSTTCS.2014.33},
annote = {Keywords: Automata, Capacitated transitions, Determinization, Maximum utilization}
}
@InProceedings{chastain_et_al:LIPIcs.FSTTCS.2014.45,
author = {Chastain, Erick and Livnat, Adi and Papadimitriou, Christos H. and Vazirani, Umesh V.},
title = {{Algorithms, Games, and Evolution}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {45--46},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.45},
URN = {urn:nbn:de:0030-drops-48310},
doi = {10.4230/LIPIcs.FSTTCS.2014.45},
annote = {Keywords: evolution, recombination, coordination games, multiplicative weight updates}
}
@InProceedings{williams:LIPIcs.FSTTCS.2014.47,
author = {Williams, Richard Ryan},
title = {{The Polynomial Method in Circuit Complexity Applied to Algorithm Design}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {47--60},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.47},
URN = {urn:nbn:de:0030-drops-48328},
doi = {10.4230/LIPIcs.FSTTCS.2014.47},
annote = {Keywords: algorithm design, circuit complexity, polynomial method}
}
@InProceedings{philip_et_al:LIPIcs.FSTTCS.2014.61,
author = {Philip, Geevarghese and Ramanujan, M. S.},
title = {{Vertex Exponential Algorithms for Connected f-Factors}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {61--71},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.61},
URN = {urn:nbn:de:0030-drops-48337},
doi = {10.4230/LIPIcs.FSTTCS.2014.61},
annote = {Keywords: Exact Exponential Time Algorithms, f-Factors}
}
@InProceedings{basavaraju_et_al:LIPIcs.FSTTCS.2014.73,
author = {Basavaraju, Manu and Fomin, Fedor V. and Golovach, Petr A. and Saurabh, Saket},
title = {{Connecting Vertices by Independent Trees}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {73--84},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.73},
URN = {urn:nbn:de:0030-drops-48340},
doi = {10.4230/LIPIcs.FSTTCS.2014.73},
annote = {Keywords: Parameterized complexity, FPT-algorithms, completely independent spanning trees}
}
@InProceedings{giannopoulou_et_al:LIPIcs.FSTTCS.2014.85,
author = {Giannopoulou, Archontia C. and Lokshtanov, Daniel and Saurabh, Saket and Suchy, Ondrej},
title = {{Tree Deletion Set Has a Polynomial Kernel (but no OPT^O(1) Approximation)}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {85--96},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.85},
URN = {urn:nbn:de:0030-drops-48261},
doi = {10.4230/LIPIcs.FSTTCS.2014.85},
annote = {Keywords: Tree Deletion Set, Feedback Vertex Set, Kernelization, Linear Equations}
}
@InProceedings{dabrowski_et_al:LIPIcs.FSTTCS.2014.97,
author = {Dabrowski, Konrad K. and Golovach, Petr A. and van 't Hof, Pim and Paulusma, Daniel},
title = {{Editing to Eulerian Graphs}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {97--108},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.97},
URN = {urn:nbn:de:0030-drops-48356},
doi = {10.4230/LIPIcs.FSTTCS.2014.97},
annote = {Keywords: Eulerian graphs, graph editing, polynomial algorithm}
}
@InProceedings{berkholz_et_al:LIPIcs.FSTTCS.2014.109,
author = {Berkholz, Christoph and Elberfeld, Michael},
title = {{Parameterized Complexity of Fixed Variable Logics}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {109--120},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.109},
URN = {urn:nbn:de:0030-drops-48367},
doi = {10.4230/LIPIcs.FSTTCS.2014.109},
annote = {Keywords: Parameterized complexity, polynomial space, first-order logic, pebble games, regular resolutions}
}
@InProceedings{doyen_et_al:LIPIcs.FSTTCS.2014.121,
author = {Doyen, Laurent and Juhl, Line and Larsen, Kim G. and Markey, Nicolas and Shirmohammadi, Mahsa},
title = {{Synchronizing Words for Weighted and Timed Automata}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {121--132},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.121},
URN = {urn:nbn:de:0030-drops-48370},
doi = {10.4230/LIPIcs.FSTTCS.2014.121},
annote = {Keywords: Synchronizing words, weighted automata, timed automata}
}
@InProceedings{filiot_et_al:LIPIcs.FSTTCS.2014.133,
author = {Filiot, Emmanuel and Gentilini, Raffaella and Raskin, Jean-Francois},
title = {{Finite-Valued Weighted Automata}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {133--145},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.133},
URN = {urn:nbn:de:0030-drops-48388},
doi = {10.4230/LIPIcs.FSTTCS.2014.133},
annote = {Keywords: Nested word, Transducer, Streaming}
}
@InProceedings{filiot_et_al:LIPIcs.FSTTCS.2014.147,
author = {Filiot, Emmanuel and Krishna, Shankara Narayanan and Trivedi, Ashutosh},
title = {{First-order Definable String Transformations}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {147--159},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.147},
URN = {urn:nbn:de:0030-drops-48393},
doi = {10.4230/LIPIcs.FSTTCS.2014.147},
annote = {Keywords: First-order logic, streaming string transducers}
}
@InProceedings{almagor_et_al:LIPIcs.FSTTCS.2014.161,
author = {Almagor, Shaull and Kuperberg, Denis and Kupferman, Orna},
title = {{Regular Sensing}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {161--173},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.161},
URN = {urn:nbn:de:0030-drops-48409},
doi = {10.4230/LIPIcs.FSTTCS.2014.161},
annote = {Keywords: Automata, regular languages, omega-regular languages, complexity, sensing, minimization}
}
@InProceedings{keil_et_al:LIPIcs.FSTTCS.2014.175,
author = {Keil, Matthias and Thiemann, Peter},
title = {{Symbolic Solving of Extended Regular Expression Inequalities}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {175--186},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.175},
URN = {urn:nbn:de:0030-drops-48411},
doi = {10.4230/LIPIcs.FSTTCS.2014.175},
annote = {Keywords: Extended regular expression, containment, infinite alphabet, infinite character set, effective boolean algebra}
}
@InProceedings{bock_et_al:LIPIcs.FSTTCS.2014.187,
author = {Bock, Adrian and Faenza, Yuri and Moldenhauer, Carsten and Ruiz-Vargas, Andres Jacinto},
title = {{Solving the Stable Set Problem in Terms of the Odd Cycle Packing Number}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {187--198},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.187},
URN = {urn:nbn:de:0030-drops-48422},
doi = {10.4230/LIPIcs.FSTTCS.2014.187},
annote = {Keywords: stable set problem, independent set problem, approximation algorithms, odd cycle packing number, maximum subdeterminants}
}
@InProceedings{georgiou_et_al:LIPIcs.FSTTCS.2014.199,
author = {Georgiou, Konstantinos and Lee, Edward},
title = {{Lift \& Project Systems Performing on the Partial Vertex Cover Polytope}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {199--211},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.199},
URN = {urn:nbn:de:0030-drops-48437},
doi = {10.4230/LIPIcs.FSTTCS.2014.199},
annote = {Keywords: Partial vertex cover, combinatorial optimization, linear programming, semidefinite programming, lift and project systems, integrality gaps}
}
@InProceedings{arora_et_al:LIPIcs.FSTTCS.2014.213,
author = {Arora, Sonika and Chakaravarthy, Venkatesan T. and Gupta, Kanika and Gupta, Neelima and Sabharwal, Yogish},
title = {{Replica Placement on Directed Acyclic Graphs}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {213--225},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.213},
URN = {urn:nbn:de:0030-drops-48449},
doi = {10.4230/LIPIcs.FSTTCS.2014.213},
annote = {Keywords: Approximation Algorithms, LP Rounding}
}
@InProceedings{gupta:LIPIcs.FSTTCS.2014.227,
author = {Gupta, Manoj},
title = {{Maintaining Approximate Maximum Matching in an Incremental Bipartite Graph in Polylogarithmic Update Time}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {227--239},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.227},
URN = {urn:nbn:de:0030-drops-48453},
doi = {10.4230/LIPIcs.FSTTCS.2014.227},
annote = {Keywords: Graph Algorithm, Dynamic Graph}
}
@InProceedings{torfah_et_al:LIPIcs.FSTTCS.2014.241,
author = {Torfah, Hazem and Zimmermann, Martin},
title = {{The Complexity of Counting Models of Linear-time Temporal Logic}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {241--252},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.241},
URN = {urn:nbn:de:0030-drops-48463},
doi = {10.4230/LIPIcs.FSTTCS.2014.241},
annote = {Keywords: Model Counting, Temporal Logic, Model Checking, Counting Complexity}
}
@InProceedings{song_et_al:LIPIcs.FSTTCS.2014.253,
author = {Song, Fu and Wu, Zhilin},
title = {{Extending Temporal Logics with Data Variable Quantifications}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {253--265},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.253},
URN = {urn:nbn:de:0030-drops-48475},
doi = {10.4230/LIPIcs.FSTTCS.2014.253},
annote = {Keywords: Temporal logics with variable quantifications, satisfiability and model checking, alternating register automata, data automata}
}
@InProceedings{colcombet_et_al:LIPIcs.FSTTCS.2014.267,
author = {Colcombet, Thomas and Manuel, Amaldev},
title = {{Generalized Data Automata and Fixpoint Logic}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {267--278},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.267},
URN = {urn:nbn:de:0030-drops-48483},
doi = {10.4230/LIPIcs.FSTTCS.2014.267},
annote = {Keywords: Data words, Data Automata, Decidability, Fixpoint Logic}
}
@InProceedings{david_et_al:LIPIcs.FSTTCS.2014.279,
author = {David, Claire and Francis, Nadime and Murlak, Filip},
title = {{Consistency of Injective Tree Patterns}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {279--290},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.279},
URN = {urn:nbn:de:0030-drops-48496},
doi = {10.4230/LIPIcs.FSTTCS.2014.279},
annote = {Keywords: XML, incomplete information, injective tree patterns, consistency}
}
@InProceedings{navarro_et_al:LIPIcs.FSTTCS.2014.291,
author = {Navarro, Gonzalo and Raman, Rajeev and Satti, Srinivasa Rao},
title = {{Asymptotically Optimal Encodings for Range Selection}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {291--301},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.291},
URN = {urn:nbn:de:0030-drops-48502},
doi = {10.4230/LIPIcs.FSTTCS.2014.291},
annote = {Keywords: Data Structures, Order Statistics, Succinct Data Structures, Space-efficient Data Structures}
}
@InProceedings{grossi_et_al:LIPIcs.FSTTCS.2014.303,
author = {Grossi, Roberto and Menconi, Giulia and Pisanti, Nadia and Trani, Roberto and Vind, Soren},
title = {{Output-Sensitive Pattern Extraction in Sequences}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {303--314},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.303},
URN = {urn:nbn:de:0030-drops-48513},
doi = {10.4230/LIPIcs.FSTTCS.2014.303},
annote = {Keywords: Pattern Extraction, Motif Detection, Pattern Discovery, Motif Trie}
}
@InProceedings{harpeled_et_al:LIPIcs.FSTTCS.2014.315,
author = {Har-Peled, Sariel and Kumar, Nirman},
title = {{Robust Proximity Search for Balls Using Sublinear Space}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {315--326},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.315},
URN = {urn:nbn:de:0030-drops-48526},
doi = {10.4230/LIPIcs.FSTTCS.2014.315},
annote = {Keywords: Approximate Nearest neighbors, algorithms, data structures}
}
@InProceedings{gelman_et_al:LIPIcs.FSTTCS.2014.327,
author = {Gelman, Efraim and Ta-Shma, Amnon},
title = {{The Benes Network is q*(q-1)/2n-Almost q-set-wise Independent}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {327--338},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.327},
URN = {urn:nbn:de:0030-drops-48538},
doi = {10.4230/LIPIcs.FSTTCS.2014.327},
annote = {Keywords: switching network, mixing, Benes}
}
@InProceedings{chistikov:LIPIcs.FSTTCS.2014.339,
author = {Chistikov, Dmitry},
title = {{Notes on Counting with Finite Machines}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {339--350},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.339},
URN = {urn:nbn:de:0030-drops-48547},
doi = {10.4230/LIPIcs.FSTTCS.2014.339},
annote = {Keywords: State complexity, Unary languages, Counting}
}
@InProceedings{bouyer_et_al:LIPIcs.FSTTCS.2014.351,
author = {Bouyer, Patricia and Markey, Nicolas and Stan, Daniel},
title = {{Mixed Nash Equilibria in Concurrent Terminal-Reward Games}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {351--363},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.351},
URN = {urn:nbn:de:0030-drops-48550},
doi = {10.4230/LIPIcs.FSTTCS.2014.351},
annote = {Keywords: concurrent games, randomized strategy, Nash equilibria, undecidability}
}
@InProceedings{hunter_et_al:LIPIcs.FSTTCS.2014.365,
author = {Hunter, Paul and Raskin, Jean-Francois},
title = {{Quantitative Games with Interval Objectives}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {365--377},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.365},
URN = {urn:nbn:de:0030-drops-48569},
doi = {10.4230/LIPIcs.FSTTCS.2014.365},
annote = {Keywords: Quantitative games, Mean-payoff games, Discount sum games}
}
@InProceedings{colcombet_et_al:LIPIcs.FSTTCS.2014.379,
author = {Colcombet, Thomas and Fijalkow, Nathanael and Horn, Florian},
title = {{Playing Safe}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {379--390},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.379},
URN = {urn:nbn:de:0030-drops-48571},
doi = {10.4230/LIPIcs.FSTTCS.2014.379},
annote = {Keywords: Game Theory, Synthesis, Safety Specifications, Program Verification}
}
@InProceedings{demoura_et_al:LIPIcs.FSTTCS.2014.391,
author = {de Moura, Fl\'{a}vio L. C. and Kesner, Delia and Ayala-Rinc\'{o}n, Mauricio},
title = {{Metaconfluence of Calculi with Explicit Substitutions at a Distance}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {391--402},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.391},
URN = {urn:nbn:de:0030-drops-48588},
doi = {10.4230/LIPIcs.FSTTCS.2014.391},
annote = {Keywords: Confluence, Explicit Substitutions, Lambda Calculi}
}
@InProceedings{baldan_et_al:LIPIcs.FSTTCS.2014.403,
author = {Baldan, Paolo and Bonchi, Filippo and Kerstan, Henning and K\"{o}nig, Barbara},
title = {{Behavioral Metrics via Functor Lifting}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {403--415},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.403},
URN = {urn:nbn:de:0030-drops-48599},
doi = {10.4230/LIPIcs.FSTTCS.2014.403},
annote = {Keywords: behavioral metric, functor lifting, pseudometric, coalgebra}
}
@InProceedings{bertrand_et_al:LIPIcs.FSTTCS.2014.417,
author = {Bertrand, Nathalie and Haddad, Serge and Lefaucheux, Engel},
title = {{Foundation of Diagnosis and Predictability in Probabilistic Systems}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {417--429},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.417},
URN = {urn:nbn:de:0030-drops-48605},
doi = {10.4230/LIPIcs.FSTTCS.2014.417},
annote = {Keywords: Partially observed systems, Diagnosis, Markov chains}
}
@InProceedings{henzinger_et_al:LIPIcs.FSTTCS.2014.431,
author = {Henzinger, Thomas A. and Otop, Jan and Samanta, Roopsha},
title = {{Lipschitz Robustness of Finite-state Transducers}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {431--443},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.431},
URN = {urn:nbn:de:0030-drops-48614},
doi = {10.4230/LIPIcs.FSTTCS.2014.431},
annote = {Keywords: Robustness, Transducers, Weighted Automata}
}
@InProceedings{mandal_et_al:LIPIcs.FSTTCS.2014.445,
author = {Mandal, Debasis and Pavan, A. and Venugopalan, Rajeswari},
title = {{Separating Cook Completeness from Karp-Levin Completeness Under a Worst-Case Hardness Hypothesis}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {445--456},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.445},
URN = {urn:nbn:de:0030-drops-48621},
doi = {10.4230/LIPIcs.FSTTCS.2014.445},
annote = {Keywords: Cook reduction, Karp reduction, NP-completeness, Turing completeness, many-one completeness}
}
@InProceedings{hucke_et_al:LIPIcs.FSTTCS.2014.457,
author = {Hucke, Danny and Lohrey, Markus and Noeth, Eric},
title = {{Constructing Small Tree Grammars and Small Circuits for Formulas}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {457--468},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.457},
URN = {urn:nbn:de:0030-drops-48639},
doi = {10.4230/LIPIcs.FSTTCS.2014.457},
annote = {Keywords: grammar-based compression, tree compression, arithmetical circuits}
}
@InProceedings{odonnell_et_al:LIPIcs.FSTTCS.2014.469,
author = {O'Donnell, Ryan and Cem Say, A. C.},
title = {{One Time-traveling Bit is as Good as Logarithmically Many}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {469--480},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.469},
URN = {urn:nbn:de:0030-drops-48646},
doi = {10.4230/LIPIcs.FSTTCS.2014.469},
annote = {Keywords: Time travel, postselection, Markov chains, randomized computation}
}
@InProceedings{klauck_et_al:LIPIcs.FSTTCS.2014.481,
author = {Klauck, Hartmut and Podder, Supartha},
title = {{New Bounds for the Garden-Hose Model}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {481--492},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.481},
URN = {urn:nbn:de:0030-drops-48657},
doi = {10.4230/LIPIcs.FSTTCS.2014.481},
annote = {Keywords: Space Complexity, Communication Complexity, Garden-Hose Model}
}
@InProceedings{durand_et_al:LIPIcs.FSTTCS.2014.493,
author = {Durand, Arnaud and Mahajan, Meena and Malod, Guillaume and de Rugy-Altherre, Nicolas and Saurabh, Nitin},
title = {{Homomorphism Polynomials Complete for VP}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {493--504},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.493},
URN = {urn:nbn:de:0030-drops-48665},
doi = {10.4230/LIPIcs.FSTTCS.2014.493},
annote = {Keywords: algebraic complexity, graph homomorphism, polynomials, VP, VNP, completeness}
}
@InProceedings{chadha_et_al:LIPIcs.FSTTCS.2014.505,
author = {Chadha, Rohit and Mathur, Umang and Schwoon, Stefan},
title = {{Computing Information Flow Using Symbolic Model-Checking}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {505--516},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.505},
URN = {urn:nbn:de:0030-drops-48676},
doi = {10.4230/LIPIcs.FSTTCS.2014.505},
annote = {Keywords: Information leakage, Min Entropy, Shannon Entropy, Abstract decision diagrams, Program summaries}
}
@InProceedings{biondi_et_al:LIPIcs.FSTTCS.2014.517,
author = {Biondi, Fabrizio and Legay, Axel and Nielsen, Bo Friis and Malacaria, Pasquale and Wasowski, Andrzej},
title = {{Information Leakage of Non-Terminating Processes}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {517--529},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.517},
URN = {urn:nbn:de:0030-drops-48683},
doi = {10.4230/LIPIcs.FSTTCS.2014.517},
annote = {Keywords: Quantitative information flow, Markov chain, information leakage, infinite execution}
}
@InProceedings{raskin_et_al:LIPIcs.FSTTCS.2014.531,
author = {Raskin, Jean-Francois and Sankur, Ocan},
title = {{Multiple-Environment Markov Decision Processes}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {531--543},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.531},
URN = {urn:nbn:de:0030-drops-48692},
doi = {10.4230/LIPIcs.FSTTCS.2014.531},
annote = {Keywords: Markov decision processes, probabilistic systems, multiple objectives}
}
@InProceedings{cassez_et_al:LIPIcs.FSTTCS.2014.545,
author = {Cassez, Franck and M\"{u}ller, Christian and Burnett, Karla},
title = {{Summary-Based Inter-Procedural Analysis via Modular Trace Refinement}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {545--556},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.545},
URN = {urn:nbn:de:0030-drops-48708},
doi = {10.4230/LIPIcs.FSTTCS.2014.545},
annote = {Keywords: Program verification, Hoare Logic, Refinement, Automata}
}
@InProceedings{southern_et_al:LIPIcs.FSTTCS.2014.557,
author = {Southern, Mary and Chaudhuri, Kaustuv},
title = {{A Two-Level Logic Approach to Reasoning About Typed Specification Languages}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {557--569},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.557},
URN = {urn:nbn:de:0030-drops-48716},
doi = {10.4230/LIPIcs.FSTTCS.2014.557},
annote = {Keywords: Abella theorem prover, two-level logic, typed specification languages}
}
@InProceedings{chen_et_al:LIPIcs.FSTTCS.2014.571,
author = {Chen, Taolue and Han, Tingting},
title = {{On the Complexity of Computing Maximum Entropy for Markovian Models}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {571--583},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.571},
URN = {urn:nbn:de:0030-drops-48725},
doi = {10.4230/LIPIcs.FSTTCS.2014.571},
annote = {Keywords: Markovian Models, Entropy, Complexity, Probabilistic Verification}
}
@InProceedings{chakraborty_et_al:LIPIcs.FSTTCS.2014.585,
author = {Chakraborty, Diptarka and Pavan, A. and Tewari, Raghunath and Vinodchandran, N. V. and Yang, Lin Forrest},
title = {{New Time-Space Upperbounds for Directed Reachability in High-genus and H-minor-free Graphs}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {585--595},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.585},
URN = {urn:nbn:de:0030-drops-48730},
doi = {10.4230/LIPIcs.FSTTCS.2014.585},
annote = {Keywords: Reachability, Space complexity, Time-Space Efficient Algorithms, Graphs on Surfaces, Minor Free Graphs, Savitch's Algorithm, BBRS Bound}
}
@InProceedings{dhayal_et_al:LIPIcs.FSTTCS.2014.597,
author = {Dhayal, Anant and Sarma, Jayalal and Sawlani, Saurabh},
title = {{Polynomial Min/Max-weighted Reachability is in Unambiguous Log-space}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {597--609},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.597},
URN = {urn:nbn:de:0030-drops-48744},
doi = {10.4230/LIPIcs.FSTTCS.2014.597},
annote = {Keywords: Reachability Problem, Space Complexity, Unambiguous Algorithms}
}
@InProceedings{atig_et_al:LIPIcs.FSTTCS.2014.611,
author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Narayan Kumar, K. and Saivasan, Prakash},
title = {{On Bounded Reachability Analysis of Shared Memory Systems}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {611--623},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.611},
URN = {urn:nbn:de:0030-drops-48754},
doi = {10.4230/LIPIcs.FSTTCS.2014.611},
annote = {Keywords: Reachability problem, Pushdown systems, Counter systems}
}
@InProceedings{bollig_et_al:LIPIcs.FSTTCS.2014.625,
author = {Bollig, Benedikt and Gastin, Paul and Kumar, Akshay},
title = {{Parameterized Communicating Automata: Complementation and Model Checking}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {625--637},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.625},
URN = {urn:nbn:de:0030-drops-48761},
doi = {10.4230/LIPIcs.FSTTCS.2014.625},
annote = {Keywords: parameterized verification, complementation, monadic second-order logic}
}
@InProceedings{muscholl_et_al:LIPIcs.FSTTCS.2014.639,
author = {Muscholl, Anca and Walukiewicz, Igor},
title = {{Distributed Synthesis for Acyclic Architectures}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {639--651},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.639},
URN = {urn:nbn:de:0030-drops-48772},
doi = {10.4230/LIPIcs.FSTTCS.2014.639},
annote = {Keywords: Distributed synthesis, distributed control, causal memory}
}
@InProceedings{abdulla_et_al:LIPIcs.FSTTCS.2014.653,
author = {Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Kara, Ahmet and Rezine, Othmane},
title = {{Verification of Dynamic Register Automata}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {653--665},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Raman, Venkatesh and Suresh, S. P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.653},
URN = {urn:nbn:de:0030-drops-48787},
doi = {10.4230/LIPIcs.FSTTCS.2014.653},
annote = {Keywords: Verification, Reachability problem, Register automata}
}
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