@inproceedings(AwerbuchBBS01, author = "Baruch Awerbuch and Petra Berenbrink and Andr\'{e} Brinkmann and Christian Scheideler", year = "2001", title = "Simple Routing Strategies for Adversarial Systems", booktitle = "Proceedings of FOCS", publisher = "IEEE Computer Society", pages = "158--167", doi = "10.1109/SFCS.2001.959890", ) @inproceedings(AwerbuchBS03, author = "Baruch Awerbuch and Andr\'{e} Brinkmann and Christian Scheideler", year = "2003", title = "Anycasting in Adversarial Systems: Routing and Admission Control", booktitle = "Proceedings of ICALP", series = "Lecture Notes in Computer Science", volume = "2719", publisher = "Springer", pages = "1153--1168", doi = "10.1007/3-540-45061-0\_88", ) @inproceedings(Ben05, author = "Johan van Benthem", year = "2005", title = "An Essay on Sabotage and Obstruction", booktitle = "Mechanizing Mathematical Reasoning: Essays in Honor of J\"{o}rg H.\ Siekmann on the Occasion of His 60th Birthday", series = "Lecture Notes in Computer Science", volume = "2605", publisher = "Springer", pages = "268--276", doi = "10.1007/978-3-540-32254-2\_16", ) @book(BorodinElY98, author = "Allan Borodin and Ran El-Yaniv", year = "1998", title = "Online Computation and Competitive Analysis", publisher = "Cambridge University Press", ) @article(Corradini01, author = "Andrea Corradini", year = "2001", title = "{GETGRATS}: A summary of scientific results (with annotated bibliography)", journal = "Electronic Notes in Theoretical Computer Science", volume = "51", doi = "10.1016/S1571-0661(04)80191-9", ) @article(Dem05, author = "St\'{e}phane Demri", year = "2005", title = "A reduction from {DLP} to~{PDL}", journal = "Journal of Logic and Computation", volume = "15", number = "5", pages = "767--785", doi = "10.1093/logcom/exi043", ) @incollection(EppsteinGalIta99, author = "David Eppstein and Zvi Galil and Giuseppe~F. Italiano", year = "1999", title = "{Dynamic graph algorithms}", editor = "Mikhail~J. Atallah", booktitle = "Algorithms and Theory of Computation Handbook", chapter = "8", publisher = "CRC Press", doi = "10.1201/9781420049503-c9", ) @incollection(FeigenbaumKannan00, author = "Joan Feigenbaum and Sampath Kannan", year = "2000", title = "Dynamic Graph Algorithms", editor = "Kenneth~H. Rosen", booktitle = "Handbook of Discrete and Combinatorial Mathematics", chapter = "17.5", publisher = "CRC Press", pages = "1142--1151", doi = "10.1201/9781439832905.ch17", ) @book(FiatGerhard96, author = "Amos Fiat and Gerhard~J. Woeginger", year = "1998", title = "Online Algorithms: The State of the Art", series = "Lecture Notes in Computer Science", volume = "1442", publisher = "Springer", doi = "10.1007/BFb0029561", ) @inproceedings(GadducciHeckelKoch98, author = "Fabio Gadducci and Reiko Heckel and Manuel Koch", year = "1998", title = "A Fully Abstract Model for Graph-Interpreted Temporal Logic", booktitle = "Proceedings of TAGT", series = "Lecture Notes in Computer Science", volume = "1764", publisher = "Springer", pages = "310--322", doi = "10.1007/978-3-540-46464-8\_22", ) @inproceedings(GieKurVel09, author = "Nina Gierasimczuk and Lena Kurzen and Fernando~R. Vel\'{a}zquez-Quesada", year = "2009", title = "Learning and Teaching as a Game: A Sabotage Approach", booktitle = "Proceedings of LORI", series = "Lecture Notes in Computer Science", volume = "5834", publisher = "Springer", pages = "119--132", doi = "10.1007/978-3-642-04893-7\_10", ) @inproceedings(Goe06, author = "Stefan G\"{o}ller and Markus Lohrey", year = "2006", title = "Infinite State Model-Checking of Propositional Dynamic Logics", booktitle = "CSL", series = "Lecture Notes in Computer Science", volume = "4207", publisher = "Springer", pages = "349--364", doi = "10.1007/11874683\_23", ) @book(GTW02, author = "Erich Gr\"{a}del and Wolfgang Thomas and Thomas Wilke", year = "2002", title = "Automata, Logics, and Infinite Games: A Guide to Current Research", series = "Lecture Notes in Computer Science", volume = "2500", publisher = "Springer", doi = "10.1007/3-540-36387-4", ) @inproceedings(GroRadTho10, author = "James Gross and Frank~G. Radmacher and Wolfgang Thomas", year = "2010", title = "A Game-Theoretic Approach to Routing under Adversarial Conditions", booktitle = "Proceedings of IFIP TCS", series = "IFIP", volume = "323", publisher = "Springer", pages = "355--370", doi = "10.1007/978-3-642-15240-5\_26", ) @mastersthesis(Gruener2011-diploma, author = "Sten Gr\"{u}ner", year = "2011", title = "Game Theoretic Analysis of Dynamic Networks", type = "Diploma thesis", school = "RWTH Aachen", url = "http://www.plt.rwth-aachen.de/fileadmin/plt/Mitarbeiter/Gruener/diplomathesis_gruener.pdf", ) @article(HolmLT01, author = "Jacob Holm and Kristian de~Lichtenberg and Mikkel Thorup", year = "2001", title = "Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity", journal = "Journal of the ACM", volume = "48", number = "4", pages = "723--760", doi = "10.1145/502090.502095", ) @article(KleRadTho10-scp, author = "Dominik Klein and Frank~G. Radmacher and Wolfgang Thomas", year = "2010", title = "Moving in a Network under Random Failures: A Complexity Analysis", journal = "Science of Computer Programming", doi = "10.1016/j.scico.2010.05.009", note = "Article in Press", ) @techreport(LR03a, author = "Christof L\"{o}ding and Philipp Rohde", year = "2003", title = "Solving the Sabotage Game is {PSPACE}-hard", type = "Technical Report", number = "AIB-05-2003", institution = "RWTH Aachen", url = "http://aib.informatik.rwth-aachen.de/2003/", ) @inproceedings(PucWei04, author = "Riccardo Pucella and Vicky Weissman", year = "2004", title = "Reasoning about Dynamic Policies", booktitle = "FoSSaCS", series = "Lecture Notes in Computer Science", volume = "2987", publisher = "Springer", pages = "453--467", doi = "10.1007/978-3-540-24727-2\_32", ) @inproceedings(RadTho07, author = "Frank~G. Radmacher and Wolfgang Thomas", year = "2008", title = "A Game Theoretic Approach to the Analysis of Dynamic Networks", booktitle = "Proceedings of VerAS", series = "Electronic Notes in Theoretical Computer Science", volume = "200\tmspace +\thinmuskip {.1667em}(2)", publisher = "Elsevier", pages = "21--37", doi = "10.1016/j.entcs.2008.02.010", ) @article(Rajaraman02, author = "Rajmohan Rajaraman", year = "2002", title = "Topology control and routing in ad hoc networks: a survey", journal = "SIGACT News", volume = "33", number = "2", pages = "60--73", doi = "10.1145/564585.564602", ) @inproceedings(RodittyZwick04, author = "Liam Roditty and Uri Zwick", year = "2004", title = "A fully dynamic reachability algorithm for directed graphs with an almost linear update time", booktitle = "Proceedings of STOC", publisher = "ACM", pages = "184--191", doi = "10.1145/1007352.1007387", ) @phdthesis(Roh05, author = "Philipp Rohde", year = "2005", title = "On Games and Logics over Dynamically Changing Structures", school = "RWTH Aachen", url = "http://darwin.bth.rwth-aachen.de/opus3/volltexte/2006/1380/", ) @proceedings(Roz97-graph-book, editor = "Grzegorz Rozenberg", year = "1997", title = "Handbook of Graph Grammars and Computing by Graph Transformations, Volume~1: Foundations", publisher = "World Scientific", ) @inproceedings(Scheideler02, author = "Christian Scheideler", year = "2002", title = "Models and Techniques for Communication in Dynamic Networks", booktitle = "Proceedings of STACS", series = "Lecture Notes in Computer Science", volume = "2285", publisher = "Springer", pages = "27--49", doi = "10.1007/3-540-45841-7\_2", ) @inproceedings(Thomas95, author = "Wolfgang Thomas", year = "1995", title = "On the Synthesis of Strategies in Infinite Games", booktitle = "Proceedings of STACS", series = "Lecture Notes in Computer Science", volume = "900", publisher = "Springer", pages = "1--13", doi = "10.1007/3-540-59042-0\_57", ) @article(WeberSchwentick07, author = "Volker Weber and Thomas Schwentick", year = "2007", title = "Dynamic Complexity Theory Revisited", journal = "Theory of Computing Systems", volume = "40", number = "4", pages = "355--377", doi = "10.1007/s00224-006-1312-0", )