@Proceedings{albers_et_al:LIPIcs.STACS.2008,
title = {{LIPIcs, Volume 1, STACS'08, Complete Volume}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2013},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008},
URN = {urn:nbn:de:0030-drops-40958},
doi = {10.4230/LIPIcs.STACS.2008},
annote = {Keywords: LIPIcs, Volume 1, STACS'08, Complete Volume}
}
@InProceedings{albers_et_al:LIPIcs.STACS.2008.1378,
author = {Albers, Susanne and Weil, Pascal},
title = {{Abstracts Collection -- 25th International Symposium on Theoretical Aspects of Computer Science}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {i--xxviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1378},
URN = {urn:nbn:de:0030-drops-13780},
doi = {10.4230/LIPIcs.STACS.2008.1378},
annote = {Keywords: Symposium, theoretical computer science, algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, applications}
}
@InProceedings{albers_et_al:LIPIcs.STACS.2008.1326,
author = {Albers, Susanne and Weil, Pascal},
title = {{Preface -- 25th International Symposium on Theoretical Aspects of Computer Science}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {1--10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1326},
URN = {urn:nbn:de:0030-drops-13263},
doi = {10.4230/LIPIcs.STACS.2008.1326},
annote = {Keywords: Symposium, theoretical computer science, algorithms and data structures, automata and formal languages, computational and structural complexity, logic in computer science, applications}
}
@InProceedings{crochemore_et_al:LIPIcs.STACS.2008.1344,
author = {Crochemore, Maxime and Ilie, Lucian},
title = {{Understanding Maximal Repetitions in Strings}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {11--16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1344},
URN = {urn:nbn:de:0030-drops-13442},
doi = {10.4230/LIPIcs.STACS.2008.1344},
annote = {Keywords: Combinatorics on words, repetitions in strings, runs, maximal repetitions, maximal periodicities, sum of exponents}
}
@InProceedings{schwentick:LIPIcs.STACS.2008.1325,
author = {Schwentick, Thomas},
title = {{A Little Bit Infinite? On Adding Data to Finitely Labelled Structures}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {17--18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1325},
URN = {urn:nbn:de:0030-drops-13253},
doi = {10.4230/LIPIcs.STACS.2008.1325},
annote = {Keywords: }
}
@InProceedings{yannakakis:LIPIcs.STACS.2008.1311,
author = {Yannakakis, Mihalis},
title = {{Equilibria, Fixed Points, and Complexity Classes}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {19--38},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1311},
URN = {urn:nbn:de:0030-drops-13110},
doi = {10.4230/LIPIcs.STACS.2008.1311},
annote = {Keywords: Equilibria, Fixed points, Computational Complexity, Game Theory}
}
@InProceedings{albert_et_al:LIPIcs.STACS.2008.1332,
author = {Albert, Pilar and Mayordomo, Elvira and Moser, Philip and Perifel, Sylvain},
title = {{Pushdown Compression}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {39--48},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1332},
URN = {urn:nbn:de:0030-drops-13327},
doi = {10.4230/LIPIcs.STACS.2008.1332},
annote = {Keywords: Finite-state compression, Lempel-Ziv algorithm, pumping-lemma, pushdown compression, XML document}
}
@InProceedings{ambainis:LIPIcs.STACS.2008.1333,
author = {Ambainis, Andris},
title = {{Quantum search with variable times}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {49--60},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1333},
URN = {urn:nbn:de:0030-drops-13333},
doi = {10.4230/LIPIcs.STACS.2008.1333},
annote = {Keywords: }
}
@InProceedings{ballier_et_al:LIPIcs.STACS.2008.1334,
author = {Ballier, Alexis and Durand, Bruno and Jeandal, Emmanuel},
title = {{Structural aspects of tilings}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {61--72},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1334},
URN = {urn:nbn:de:0030-drops-13343},
doi = {10.4230/LIPIcs.STACS.2008.1334},
annote = {Keywords: Tiling, domino, patterns, tiling preorder, tiling structure}
}
@InProceedings{bienvenu_et_al:LIPIcs.STACS.2008.1335,
author = {Bienvenu, Laurent and Muchnik, Andrej and Shen, Alexander and Veraschagin, Nikolay},
title = {{Limit complexities revisited}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {73--84},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1335},
URN = {urn:nbn:de:0030-drops-13350},
doi = {10.4230/LIPIcs.STACS.2008.1335},
annote = {Keywords: Kolmogorov complexity, limit complexities, limit frequencies, 2-randomness, low basis}
}
@InProceedings{bjorklund_et_al:LIPIcs.STACS.2008.1336,
author = {Bj\"{o}rklund, Andreas and Husfeldt, Thore and Kaski, Petteri and Koivisto, Mikko},
title = {{Trimmed Moebius Inversion and Graphs of Bounded Degree}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {85--96},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1336},
URN = {urn:nbn:de:0030-drops-13369},
doi = {10.4230/LIPIcs.STACS.2008.1336},
annote = {Keywords: }
}
@InProceedings{blaser_et_al:LIPIcs.STACS.2008.1337,
author = {Bl\"{a}ser, Markus and Hoffmann, Christian},
title = {{On the Complexity of the Interlace Polynomial}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {97--108},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1337},
URN = {urn:nbn:de:0030-drops-13378},
doi = {10.4230/LIPIcs.STACS.2008.1337},
annote = {Keywords: Computational complexity, approximation, interlace polynomial, independent set polynomial, graph transformation}
}
@InProceedings{bonifaci_et_al:LIPIcs.STACS.2008.1338,
author = {Bonifaci, Vincenzo and Korteweg, Peter and Marchetti-Spaccamela, Alberto and Stougie, Leen},
title = {{Minimizing Flow Time in the Wireless Gathering Problem}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {109--120},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1338},
URN = {urn:nbn:de:0030-drops-13381},
doi = {10.4230/LIPIcs.STACS.2008.1338},
annote = {Keywords: Wireless networks, data gathering, approximation algorithms, distributed algorithms}
}
@InProceedings{bouyer_et_al:LIPIcs.STACS.2008.1339,
author = {Bouyer, Patricia and Markey, Nicolas and Ouaknine, Jo\"{e}l and Schnoebelen, Philippe and Worrell, James},
title = {{On Termination for Faulty Channel Machines}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {121--132},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1339},
URN = {urn:nbn:de:0030-drops-13390},
doi = {10.4230/LIPIcs.STACS.2008.1339},
annote = {Keywords: Automated Verification, Computational Complexity}
}
@InProceedings{briest_et_al:LIPIcs.STACS.2008.1340,
author = {Briest, Patrick and Hoefer, Martin and Krysta, Piotr},
title = {{Stackelberg Network Pricing Games}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {133--142},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1340},
URN = {urn:nbn:de:0030-drops-13406},
doi = {10.4230/LIPIcs.STACS.2008.1340},
annote = {Keywords: Stackelberg Games, Algorithmic Pricing, Approximation Algorithms, Inapproximability.}
}
@InProceedings{brody_et_al:LIPIcs.STACS.2008.1341,
author = {Brody, Joshua and Chakrabarti, Amit},
title = {{Sublinear Communication Protocols for Multi-Party Pointer Jumping and a Related Lower Bound}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {145--156},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1341},
URN = {urn:nbn:de:0030-drops-13415},
doi = {10.4230/LIPIcs.STACS.2008.1341},
annote = {Keywords: Communication complexity, pointer jumping, number on the forehead}
}
@InProceedings{chakaravarthy_et_al:LIPIcs.STACS.2008.1342,
author = {Chakaravarthy, Venkatesan T. and Roy, Sambuddha},
title = {{Finding Irrefutable Certificates for S\underline2^p via Arthur and Merlin}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {157--168},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1342},
URN = {urn:nbn:de:0030-drops-13421},
doi = {10.4230/LIPIcs.STACS.2008.1342},
annote = {Keywords: Symmetric alternation, promise-AM, Karp--Lipton theorem, learning circuits}
}
@InProceedings{chen_et_al:LIPIcs.STACS.2008.1343,
author = {Chen, Chao and Freedman, Daniel},
title = {{Quantifying Homology Classes}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {169--180},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1343},
URN = {urn:nbn:de:0030-drops-13434},
doi = {10.4230/LIPIcs.STACS.2008.1343},
annote = {Keywords: Computational Topology, Computational Geometry, Homology, Persistent Homology, Localization, Optimization}
}
@InProceedings{colindeverdiere_et_al:LIPIcs.STACS.2008.1347,
author = {Colin de Verdi\'{e}re, \'{E}ric and Schrijver, Alexander},
title = {{Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {181--192},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1347},
URN = {urn:nbn:de:0030-drops-13474},
doi = {10.4230/LIPIcs.STACS.2008.1347},
annote = {Keywords: Algorithm, planar graph, disjoint paths, shortest path}
}
@InProceedings{wenk_et_al:LIPIcs.STACS.2008.1330,
author = {Wenk, Carola and Cook, Atlas F.},
title = {{Geodesic Fr\'{e}chet Distance Inside a Simple Polygon}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {193--204},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1330},
URN = {urn:nbn:de:0030-drops-13303},
doi = {10.4230/LIPIcs.STACS.2008.1330},
annote = {Keywords: Fr\'{e}chet Distance, Geodesic, Parametric Search, Simple Polygon}
}
@InProceedings{iliopoulos_et_al:LIPIcs.STACS.2008.1359,
author = {Iliopoulos, Costas S. and Crochemore, Maxime and Kubica, Marcin and Rahman, M. Sohel and Walen, Tomasz},
title = {{Improved Algorithms for the Range Next Value Problem and Applications}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {205--216},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1359},
URN = {urn:nbn:de:0030-drops-13596},
doi = {10.4230/LIPIcs.STACS.2008.1359},
annote = {Keywords: Algorithms, Data structures}
}
@InProceedings{damian_et_al:LIPIcs.STACS.2008.1345,
author = {Damian, Mirela and Flatland, Robin and O'Rourke, Joseph and Ramaswani, Suneeta},
title = {{Connecting Polygonizations via Stretches and Twangs}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {217--228},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1345},
URN = {urn:nbn:de:0030-drops-13457},
doi = {10.4230/LIPIcs.STACS.2008.1345},
annote = {Keywords: Polygons, polygonization, random polygons, connected configuration space}
}
@InProceedings{datta_et_al:LIPIcs.STACS.2008.1346,
author = {Datta, Samir and Kulkarni, Raghav and Roy, Sambuddha},
title = {{Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {229--240},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1346},
URN = {urn:nbn:de:0030-drops-13465},
doi = {10.4230/LIPIcs.STACS.2008.1346},
annote = {Keywords: }
}
@InProceedings{dietzfelbinger_et_al:LIPIcs.STACS.2008.1348,
author = {Dietzfelbinger, Martin and Rowe, Jonathan E. and Wegener, Ingo and Woelfel, Philipp},
title = {{Tight Bounds for Blind Search on the Integers}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {241--252},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1348},
URN = {urn:nbn:de:0030-drops-13486},
doi = {10.4230/LIPIcs.STACS.2008.1348},
annote = {Keywords: }
}
@InProceedings{dufourd:LIPIcs.STACS.2008.1349,
author = {Dufourd, Jean-Francois},
title = {{Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {253--264},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1349},
URN = {urn:nbn:de:0030-drops-13493},
doi = {10.4230/LIPIcs.STACS.2008.1349},
annote = {Keywords: Formal specifications, Computational topology, Computer-aided proofs, Coq, Planar subdivisions, Hypermaps, Jordan Curve Theorem}
}
@InProceedings{erlebach_et_al:LIPIcs.STACS.2008.1350,
author = {Erlebach, Thomas and Hagerup, Torben and Jansen, Klaus and Minzlaff, Moritz and Wolff, Alexander},
title = {{Trimming of Graphs, with Application to Point Labeling}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {265--276},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1350},
URN = {urn:nbn:de:0030-drops-13509},
doi = {10.4230/LIPIcs.STACS.2008.1350},
annote = {Keywords: Trimming weighted graphs, domino treewidth, planar graphs, point-feature label placement, map labeling, polynomial-time approximation schemes}
}
@InProceedings{hoffmann_et_al:LIPIcs.STACS.2008.1358,
author = {Hoffmann, Michael and Erlebach, Thomas and Krizanc, Danny and Mihal'\'{a}k, Mat\'{u}s and Raman, Rajeev},
title = {{Computing Minimum Spanning Trees with Uncertainty}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {277--288},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1358},
URN = {urn:nbn:de:0030-drops-13581},
doi = {10.4230/LIPIcs.STACS.2008.1358},
annote = {Keywords: Algorithms and data structures; Current challenges: mobile and net computing}
}
@InProceedings{esparza_et_al:LIPIcs.STACS.2008.1351,
author = {Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael},
title = {{Convergence Thresholds of Newton's Method for Monotone Polynomial Equations}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {289--300},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1351},
URN = {urn:nbn:de:0030-drops-13516},
doi = {10.4230/LIPIcs.STACS.2008.1351},
annote = {Keywords: Newton's Method, Fixed-Point Equations, Formal Verification of Software, Probabilistic Pushdown Systems}
}
@InProceedings{fischer_et_al:LIPIcs.STACS.2008.1352,
author = {Fischer, Diana and Gr\"{a}del, Erich and Kaiser, Lukasz},
title = {{Model Checking Games for the Quantitative µ-Calculus}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {301--312},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1352},
URN = {urn:nbn:de:0030-drops-13525},
doi = {10.4230/LIPIcs.STACS.2008.1352},
annote = {Keywords: Games, logic, model checking, quantitative logics}
}
@InProceedings{ganzow_et_al:LIPIcs.STACS.2008.1353,
author = {Ganzow, Tobias and Rubin, Sasha},
title = {{Order-Invariant MSO is Stronger than Counting MSO in the Finite}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {313--324},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1353},
URN = {urn:nbn:de:0030-drops-13535},
doi = {10.4230/LIPIcs.STACS.2008.1353},
annote = {Keywords: MSO, Counting MSO, order-invariance, expressiveness, Ehrenfeucht-Fraiss\'{e} game}
}
@InProceedings{gelade_et_al:LIPIcs.STACS.2008.1354,
author = {Gelade, Wouter and Neven, Frank},
title = {{Succinctness of the Complement and Intersection of Regular Expressions}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {325--336},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1354},
URN = {urn:nbn:de:0030-drops-13541},
doi = {10.4230/LIPIcs.STACS.2008.1354},
annote = {Keywords: }
}
@InProceedings{glasser_et_al:LIPIcs.STACS.2008.1355,
author = {Glasser, Christian and Schmitz, Heinz and Selivanov, Victor},
title = {{Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {337--348},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1355},
URN = {urn:nbn:de:0030-drops-13554},
doi = {10.4230/LIPIcs.STACS.2008.1355},
annote = {Keywords: Automata and formal languages, computational complexity, dot-depth hierarchy, Boolean hierarchy, decidability, efficient algorithms}
}
@InProceedings{hemaspaandra_et_al:LIPIcs.STACS.2008.1356,
author = {Hemaspaandra, Edith and Schnoor, Henning},
title = {{On the Complexity of Elementary Modal Logics}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {349--360},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1356},
URN = {urn:nbn:de:0030-drops-13561},
doi = {10.4230/LIPIcs.STACS.2008.1356},
annote = {Keywords: }
}
@InProceedings{hoang_et_al:LIPIcs.STACS.2008.1357,
author = {Hoang, Viet Tung and Sung, Wing-Kin},
title = {{Fixed Parameter Polynomial Time Algorithms for Maximum Agreement and Compatible Supertrees}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {361--372},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1357},
URN = {urn:nbn:de:0030-drops-13579},
doi = {10.4230/LIPIcs.STACS.2008.1357},
annote = {Keywords: Maximum agreement supertree, maximum compatible supertree}
}
@InProceedings{okhotin_et_al:LIPIcs.STACS.2008.1319,
author = {Okhotin, Alexander and Jez, Artur},
title = {{Complexity of solutions of equations over sets of natural numbers}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {373--384},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1319},
URN = {urn:nbn:de:0030-drops-13194},
doi = {10.4230/LIPIcs.STACS.2008.1319},
annote = {Keywords: }
}
@InProceedings{kaiser_et_al:LIPIcs.STACS.2008.1360,
author = {Kaiser, Lukasz and Rubin, Sasha and B\'{a}r\'{a}ny, Vince},
title = {{Cardinality and counting quantifiers on omega-automatic structures}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {385--396},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1360},
URN = {urn:nbn:de:0030-drops-13602},
doi = {10.4230/LIPIcs.STACS.2008.1360},
annote = {Keywords: \$omega\$-automatic presentations, \$omega\$-semigroups, \$omega\$-automata}
}
@InProceedings{kanj_et_al:LIPIcs.STACS.2008.1361,
author = {Kanj, Iyad A. and Pelsmajer, Michael J. and Xia, Ge and Schaefer, Marcus},
title = {{On the Induced Matching Problem}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {397--408},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1361},
URN = {urn:nbn:de:0030-drops-13618},
doi = {10.4230/LIPIcs.STACS.2008.1361},
annote = {Keywords: Induced matching, bounded genus graphs, parameterized algorithms, kernel}
}
@InProceedings{perkovic_et_al:LIPIcs.STACS.2008.1320,
author = {Perkovic, Ljubomir and Kanj, Iyad A.},
title = {{On Geometric Spanners of Euclidean and Unit Disk Graphs}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {409--420},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1320},
URN = {urn:nbn:de:0030-drops-13200},
doi = {10.4230/LIPIcs.STACS.2008.1320},
annote = {Keywords: Geometric spanner, euclidean graph, unit disk graph, wireless ad-hoc networks}
}
@InProceedings{kao_et_al:LIPIcs.STACS.2008.1362,
author = {Kao, Jui-Yi and Shallit, Jeffrey and Xu, Zhi},
title = {{The Frobenius Problem in a Free Monoid}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {421--432},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1362},
URN = {urn:nbn:de:0030-drops-13620},
doi = {10.4230/LIPIcs.STACS.2008.1362},
annote = {Keywords: Combinatorics on words, Frobenius problem, free monoid}
}
@InProceedings{kinne_et_al:LIPIcs.STACS.2008.1363,
author = {Kinne, Jeff and van Melkebeek, Dieter},
title = {{Space Hierarchy Results for Randomized Models}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {433--444},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1363},
URN = {urn:nbn:de:0030-drops-13636},
doi = {10.4230/LIPIcs.STACS.2008.1363},
annote = {Keywords: Computations with Advice, Space Hierarchy, Randomized Machine, Promise Classes, Semantic Models}
}
@InProceedings{klaedtke:LIPIcs.STACS.2008.1364,
author = {Klaedtke, Felix},
title = {{Ehrenfeucht-Fraiss\'{e} Goes Automatic for Real Addition}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {445--456},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1364},
URN = {urn:nbn:de:0030-drops-13649},
doi = {10.4230/LIPIcs.STACS.2008.1364},
annote = {Keywords: Automata theory, automata-based decision procedures for logical theories, upper bounds, minimal sizes of automata, linear arithmetic over the reals, f}
}
@InProceedings{kojevnikov_et_al:LIPIcs.STACS.2008.1365,
author = {Kojevnikov, Arist and Nikolenko, Sergey I.},
title = {{New Combinatorial Complete One-Way Functions}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {457--466},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1365},
URN = {urn:nbn:de:0030-drops-13652},
doi = {10.4230/LIPIcs.STACS.2008.1365},
annote = {Keywords: }
}
@InProceedings{kuske:LIPIcs.STACS.2008.1366,
author = {Kuske, Dietrich},
title = {{Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {467--478},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1366},
URN = {urn:nbn:de:0030-drops-13668},
doi = {10.4230/LIPIcs.STACS.2008.1366},
annote = {Keywords: Logic in computer science, Rabin's tree theorem}
}
@InProceedings{lauen:LIPIcs.STACS.2008.1367,
author = {Lauen, S\"{o}ren},
title = {{Geometric Set Cover and Hitting Sets for Polytopes in R³}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {479--490},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1367},
URN = {urn:nbn:de:0030-drops-13675},
doi = {10.4230/LIPIcs.STACS.2008.1367},
annote = {Keywords: Computational Geometry, Epsilon-Nets, Set Cover, Hitting Sets}
}
@InProceedings{li_et_al:LIPIcs.STACS.2008.1368,
author = {Li, Angsheng and Xia, Mingji},
title = {{A Theory for Valiant's Matchcircuits}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {491--502},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1368},
URN = {urn:nbn:de:0030-drops-13686},
doi = {10.4230/LIPIcs.STACS.2008.1368},
annote = {Keywords: Pfaffian, Matchgate, Matchcircuit}
}
@InProceedings{lotker_et_al:LIPIcs.STACS.2008.1331,
author = {Lotker, Zvi and Patt-Shamir, Boaz and Rawitz, Dror},
title = {{Rent, Lease or Buy: Randomized Algorithms for Multislope Ski Rental}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {503--514},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1331},
URN = {urn:nbn:de:0030-drops-13313},
doi = {10.4230/LIPIcs.STACS.2008.1331},
annote = {Keywords: Competitive analysis, ski rental, randomized algorithms}
}
@InProceedings{lovett:LIPIcs.STACS.2008.1313,
author = {Lovett, Shachar},
title = {{Lower bounds for adaptive linearity tests}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {515--526},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1313},
URN = {urn:nbn:de:0030-drops-13132},
doi = {10.4230/LIPIcs.STACS.2008.1313},
annote = {Keywords: Property testing, Linearity testing, Adaptive tests, Lower Property testing, Linearity testing, Adaptive tests, Lower}
}
@InProceedings{mestre:LIPIcs.STACS.2008.1315,
author = {Mestre, Juli\'{a}n},
title = {{Lagrangian Relaxation and Partial Cover}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {539--550},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1315},
URN = {urn:nbn:de:0030-drops-13156},
doi = {10.4230/LIPIcs.STACS.2008.1315},
annote = {Keywords: Lagrangian Relaxation, Partial Cover, Primal-Dual Algorithms}
}
@InProceedings{lu_et_al:LIPIcs.STACS.2008.1314,
author = {Lu, Pinyan and Yu, Changyuan},
title = {{An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {527--538},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1314},
URN = {urn:nbn:de:0030-drops-13146},
doi = {10.4230/LIPIcs.STACS.2008.1314},
annote = {Keywords: Truthful mechanism, scheduling}
}
@InProceedings{meyer:LIPIcs.STACS.2008.1316,
author = {Meyer, Ulrich},
title = {{On Dynamic Breadth-First Search in External-Memory}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {551--560},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1316},
URN = {urn:nbn:de:0030-drops-13167},
doi = {10.4230/LIPIcs.STACS.2008.1316},
annote = {Keywords: External Memory, Dynamic Graph Algorithms, BFS, Randomization}
}
@InProceedings{mishna_et_al:LIPIcs.STACS.2008.1317,
author = {Mishna, Marni and Zabrocki, Mike},
title = {{Analytic aspects of the shuffle product}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {561--572},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1317},
URN = {urn:nbn:de:0030-drops-13178},
doi = {10.4230/LIPIcs.STACS.2008.1317},
annote = {Keywords: Generating functions, formal languages, shuffle product}
}
@InProceedings{murlak:LIPIcs.STACS.2008.1318,
author = {Murlak, Filip},
title = {{Weak index versus Borel rank}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {573--584},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1318},
URN = {urn:nbn:de:0030-drops-13182},
doi = {10.4230/LIPIcs.STACS.2008.1318},
annote = {Keywords: Weak index, Borel rank, deterministic tree automata}
}
@InProceedings{pin_et_al:LIPIcs.STACS.2008.1321,
author = {Pin, Jean-Eric and Silva, Pedro V.},
title = {{A Mahler's theorem for functions from words to integers}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {585--596},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1321},
URN = {urn:nbn:de:0030-drops-13212},
doi = {10.4230/LIPIcs.STACS.2008.1321},
annote = {Keywords: \$p\$-adic topology, binomial coefficients, Mahler's theorem, \$p\$-group languages}
}
@InProceedings{rosgen:LIPIcs.STACS.2008.1322,
author = {Rosgen, Bill},
title = {{Distinguishing Short Quantum Computations}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {597--608},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1322},
URN = {urn:nbn:de:0030-drops-13222},
doi = {10.4230/LIPIcs.STACS.2008.1322},
annote = {Keywords: Quantum information, computational complexity, quantum circuits, quantum interactive proof systems}
}
@InProceedings{saha:LIPIcs.STACS.2008.1323,
author = {Saha, Chandan},
title = {{Factoring Polynomials over Finite Fields using Balance Test}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {609--620},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1323},
URN = {urn:nbn:de:0030-drops-13233},
doi = {10.4230/LIPIcs.STACS.2008.1323},
annote = {Keywords: Algebraic Algorithms, polynomial factorization, finite fields}
}
@InProceedings{sakarovitch_et_al:LIPIcs.STACS.2008.1324,
author = {Sakarovitch, Jacques and de Souza, Rodrigo},
title = {{On the decomposition of k-valued rational relations}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {621--632},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1324},
URN = {urn:nbn:de:0030-drops-13245},
doi = {10.4230/LIPIcs.STACS.2008.1324},
annote = {Keywords: Rational relation, \$k\$-valued transducer, unambiguous transducer, covering of automata}
}
@InProceedings{thierauf_et_al:LIPIcs.STACS.2008.1327,
author = {Thierauf, Thomas and Wagner, Fabian},
title = {{The Isomorphism Problem for Planar 3-Connected Graphs is in Unambiguous Logspace}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {633--644},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1327},
URN = {urn:nbn:de:0030-drops-13273},
doi = {10.4230/LIPIcs.STACS.2008.1327},
annote = {Keywords: }
}
@InProceedings{valmari_et_al:LIPIcs.STACS.2008.1328,
author = {Valmari, Antti and Lehtinen, Petri},
title = {{Efficient Minimization of DFAs with Partial Transition}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {645--656},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1328},
URN = {urn:nbn:de:0030-drops-13286},
doi = {10.4230/LIPIcs.STACS.2008.1328},
annote = {Keywords: Deterministic finite automaton, sparse adjacency matrix, partition refinement}
}
@InProceedings{vanrooij_et_al:LIPIcs.STACS.2008.1329,
author = {van Rooij, Johan M. M. and Bodlaender, Hans L.},
title = {{Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {657--668},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1329},
URN = {urn:nbn:de:0030-drops-13297},
doi = {10.4230/LIPIcs.STACS.2008.1329},
annote = {Keywords: Exact algorithms, exponential time algorithms, branch and reduce, measure and conquer, dominating set, computer aided algorithm design}
}
@InProceedings{zelke:LIPIcs.STACS.2008.1312,
author = {Zelke, Mariano},
title = {{Weighted Matching in the Semi-Streaming Model}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {669--680},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1312},
URN = {urn:nbn:de:0030-drops-13128},
doi = {10.4230/LIPIcs.STACS.2008.1312},
annote = {Keywords: Semi-streaming algorithm, matching, approximation algorithm, graph algorithm}
}
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