Published in: LIPIcs, Volume 40, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015)
Michael Dinitz, Robert Krauthgamer, and Tal Wagner. Towards Resistance Sparsifiers. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 40, pp. 738-755, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{dinitz_et_al:LIPIcs.APPROX-RANDOM.2015.738, author = {Dinitz, Michael and Krauthgamer, Robert and Wagner, Tal}, title = {{Towards Resistance Sparsifiers}}, booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015)}, pages = {738--755}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-89-7}, ISSN = {1868-8969}, year = {2015}, volume = {40}, editor = {Garg, Naveen and Jansen, Klaus and Rao, Anup and Rolim, Jos\'{e} D. P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX-RANDOM.2015.738}, URN = {urn:nbn:de:0030-drops-53334}, doi = {10.4230/LIPIcs.APPROX-RANDOM.2015.738}, annote = {Keywords: edge sparsification, spectral sparsifier, graph expansion, effective resistance, commute time} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, and Klaus Wagner. 08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hertling_et_al:DagSemProc.08271.1, author = {Hertling, Peter and Selivanov, Victor and Thomas, Wolfgang and Wadge, William W. and Wagner, Klaus}, title = {{08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.1}, URN = {urn:nbn:de:0030-drops-16555}, doi = {10.4230/DagSemProc.08271.1}, annote = {Keywords: Automata theory, computability in analysis, dataflow computation, hierarchies, infinite computations, infinite games, reactive systems, specification and verification, topological complexity, Wadge reducibility} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, and Klaus Wagner. 08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hertling_et_al:DagSemProc.08271.2, author = {Hertling, Peter and Selivanov, Victor and Thomas, Wolfgang and Wadge, William W. and Wagner, Klaus}, title = {{08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.2}, URN = {urn:nbn:de:0030-drops-16499}, doi = {10.4230/DagSemProc.08271.2}, annote = {Keywords: Automata theory, computability in analysis, dataflow computation, hierarchies, infinite computations, infinite games, reactive systems, specification} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
John Plaice and Blanca Mancilla. Cartesian Programming: The TransLucid Programming Language. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{plaice_et_al:DagSemProc.08271.3, author = {Plaice, John and Mancilla, Blanca}, title = {{Cartesian Programming: The TransLucid Programming Language}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.3}, URN = {urn:nbn:de:0030-drops-16546}, doi = {10.4230/DagSemProc.08271.3}, annote = {Keywords: Cartesian programming, Lucid language, declarative programming, multidimensional programming, context-aware programming, semantics.} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Blanca Mancilla and John Plaice. Declarative Synchronous Multithreaded Programming. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{mancilla_et_al:DagSemProc.08271.4, author = {Mancilla, Blanca and Plaice, John}, title = {{Declarative Synchronous Multithreaded Programming}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.4}, URN = {urn:nbn:de:0030-drops-16536}, doi = {10.4230/DagSemProc.08271.4}, annote = {Keywords: Synchronous programming, distributed computing, declarative programming, Cartesian programming, multidimensional programming.} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Chrysida Galanaki, Panos Rondogiannis, and William W. Wadge. General Logic Programs as Infinite Games. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{galanaki_et_al:DagSemProc.08271.5, author = {Galanaki, Chrysida and Rondogiannis, Panos and Wadge, William W.}, title = {{General Logic Programs as Infinite Games}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.5}, URN = {urn:nbn:de:0030-drops-16519}, doi = {10.4230/DagSemProc.08271.5}, annote = {Keywords: Infinite Games, Negation in Logic Programming, Well-Founded Semantics} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Vassilis Kountouriotis, Christos Nomikos, and Panos Rondogiannis. On the Semantic Approaches to Boolean Grammars. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kountouriotis_et_al:DagSemProc.08271.6, author = {Kountouriotis, Vassilis and Nomikos, Christos and Rondogiannis, Panos}, title = {{On the Semantic Approaches to Boolean Grammars}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.6}, URN = {urn:nbn:de:0030-drops-16527}, doi = {10.4230/DagSemProc.08271.6}, annote = {Keywords: Boolean Grammars, Negation in Formal Grammars, Well-Founded Semantics} }
Published in: Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Olivier Finkel and Dominique Lecomte. Topological Complexity of omega-Powers: Extended Abstract. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{finkel_et_al:DagSemProc.08271.7, author = {Finkel, Olivier and Lecomte, Dominique}, title = {{Topological Complexity of omega-Powers: Extended Abstract}}, booktitle = {Topological and Game-Theoretic Aspects of Infinite Computations}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8271}, editor = {Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.7}, URN = {urn:nbn:de:0030-drops-16505}, doi = {10.4230/DagSemProc.08271.7}, annote = {Keywords: Infinite words, omega-languages, omega-powers, Cantor topology, topological complexity, Borel sets, Borel ranks, complete sets, Wadge hierarchy, Wadge} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Eric Allender, Uwe Schöning, and Klaus W. Wagner. Structure and Complexity (Dagstuhl Seminar 9640). Dagstuhl Seminar Report 158, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)
@TechReport{allender_et_al:DagSemRep.158, author = {Allender, Eric and Sch\"{o}ning, Uwe and Wagner, Klaus W.}, title = {{Structure and Complexity (Dagstuhl Seminar 9640)}}, pages = {1--22}, ISSN = {1619-0203}, year = {1996}, type = {Dagstuhl Seminar Report}, number = {158}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.158}, URN = {urn:nbn:de:0030-drops-150450}, doi = {10.4230/DagSemRep.158}, }
Feedback for Dagstuhl Publishing