Published in: LIPIcs, Volume 248, 33rd International Symposium on Algorithms and Computation (ISAAC 2022)
Frank Kammer and Johannes Meintrup. Space-Efficient Graph Coarsening with Applications to Succinct Planar Encodings. In 33rd International Symposium on Algorithms and Computation (ISAAC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 248, pp. 62:1-62:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{kammer_et_al:LIPIcs.ISAAC.2022.62, author = {Kammer, Frank and Meintrup, Johannes}, title = {{Space-Efficient Graph Coarsening with Applications to Succinct Planar Encodings}}, booktitle = {33rd International Symposium on Algorithms and Computation (ISAAC 2022)}, pages = {62:1--62:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-258-7}, ISSN = {1868-8969}, year = {2022}, volume = {248}, editor = {Bae, Sang Won and Park, Heejin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2022.62}, URN = {urn:nbn:de:0030-drops-173478}, doi = {10.4230/LIPIcs.ISAAC.2022.62}, annote = {Keywords: planar graph, H-minor-free, space-efficient, separator, tree decomposition} }
Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)
Reiner Hähnle, Anton W. Haubner, and Eduard Kamburjan. Locally Static, Globally Dynamic Session Types for Active Objects. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 1:1-1:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{hahnle_et_al:OASIcs.Gabbrielli.1, author = {H\"{a}hnle, Reiner and Haubner, Anton W. and Kamburjan, Eduard}, title = {{Locally Static, Globally Dynamic Session Types for Active Objects}}, booktitle = {Recent Developments in the Design and Implementation of Programming Languages}, pages = {1:1--1:24}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-171-9}, ISSN = {2190-6807}, year = {2020}, volume = {86}, editor = {de Boer, Frank S. and Mauro, Jacopo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.1}, URN = {urn:nbn:de:0030-drops-132237}, doi = {10.4230/OASIcs.Gabbrielli.1}, annote = {Keywords: Session Types, Active Objects, Runtime Verification, Static Verification} }
Published in: Dagstuhl Manifestos, Volume 7, Issue 1 (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, and Ke Yi. Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). In Dagstuhl Manifestos, Volume 7, Issue 1, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{abiteboul_et_al:DagMan.7.1.1, author = {Abiteboul, Serge and Arenas, Marcelo and Barcel\'{o}, Pablo and Bienvenu, Meghyn and Calvanese, Diego and David, Claire and Hull, Richard and H\"{u}llermeier, Eyke and Kimelfeld, Benny and Libkin, Leonid and Martens, Wim and Milo, Tova and Murlak, Filip and Neven, Frank and Ortiz, Magdalena and Schwentick, Thomas and Stoyanovich, Julia and Su, Jianwen and Suciu, Dan and Vianu, Victor and Yi, Ke}, title = {{Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)}}, pages = {1--29}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2018}, volume = {7}, number = {1}, editor = {Abiteboul, Serge and Arenas, Marcelo and Barcel\'{o}, Pablo and Bienvenu, Meghyn and Calvanese, Diego and David, Claire and Hull, Richard and H\"{u}llermeier, Eyke and Kimelfeld, Benny and Libkin, Leonid and Martens, Wim and Milo, Tova and Murlak, Filip and Neven, Frank and Ortiz, Magdalena and Schwentick, Thomas and Stoyanovich, Julia and Su, Jianwen and Suciu, Dan and Vianu, Victor and Yi, Ke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.7.1.1}, URN = {urn:nbn:de:0030-drops-86772}, doi = {10.4230/DagMan.7.1.1}, annote = {Keywords: database theory, principles of data management, query languages, efficient query processing, query optimization, heterogeneous data, uncertainty, knowledge-enriched data management, machine learning, workflows, human-related data, ethics} }
Published in: Dagstuhl Reports, Volume 6, Issue 10 (2017)
Holger H. Hoos, Frank Neumann, and Heike Trautmann. Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412). In Dagstuhl Reports, Volume 6, Issue 10, pp. 33-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{hoos_et_al:DagRep.6.10.33, author = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike}, title = {{Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)}}, pages = {33--74}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {10}, editor = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.10.33}, URN = {urn:nbn:de:0030-drops-69569}, doi = {10.4230/DagRep.6.10.33}, annote = {Keywords: algorithm configuration, algorithm selection, features, machine learning, optimisation, performance prediction} }
Published in: LIPIcs, Volume 30, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)
Rupert Hölzl, Sanjay Jain, and Frank Stephan. Inductive Inference and Reverse Mathematics. In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 30, pp. 420-433, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{holzl_et_al:LIPIcs.STACS.2015.420, author = {H\"{o}lzl, Rupert and Jain, Sanjay and Stephan, Frank}, title = {{Inductive Inference and Reverse Mathematics}}, booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)}, pages = {420--433}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-78-1}, ISSN = {1868-8969}, year = {2015}, volume = {30}, editor = {Mayr, Ernst W. and Ollinger, Nicolas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2015.420}, URN = {urn:nbn:de:0030-drops-49324}, doi = {10.4230/LIPIcs.STACS.2015.420}, annote = {Keywords: reverse mathematics, recursion theory, inductive inference, learning from positive data} }
Published in: Dagstuhl Reports, Volume 4, Issue 9 (2015)
Hermann Härtig, Satoshi Matsuoka, Frank Mueller, and Alexander Reinefeld. Resilience in Exascale Computing (Dagstuhl Seminar 14402). In Dagstuhl Reports, Volume 4, Issue 9, pp. 124-139, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{hartig_et_al:DagRep.4.9.124, author = {H\"{a}rtig, Hermann and Matsuoka, Satoshi and Mueller, Frank and Reinefeld, Alexander}, title = {{Resilience in Exascale Computing (Dagstuhl Seminar 14402)}}, pages = {124--139}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {H\"{a}rtig, Hermann and Matsuoka, Satoshi and Mueller, Frank and Reinefeld, Alexander}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.9.124}, URN = {urn:nbn:de:0030-drops-48898}, doi = {10.4230/DagRep.4.9.124}, annote = {Keywords: Exascale computing, resilience, fault tolerance, manycore computers, operating systems, micro kernels, work-load balancing, checkpointing} }
Published in: Dagstuhl Seminar Proceedings, Volume 9061, Combinatorial Scientific Computing (2009)
Frank Hülsemann. Stabilising aggregation AMG. In Combinatorial Scientific Computing. Dagstuhl Seminar Proceedings, Volume 9061, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{hulsemann:DagSemProc.09061.17, author = {H\"{u}lsemann, Frank}, title = {{Stabilising aggregation AMG}}, booktitle = {Combinatorial Scientific Computing}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9061}, editor = {Uwe Naumann and Olaf Schenk and Horst D. Simon and Sivan Toledo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09061.17}, URN = {urn:nbn:de:0030-drops-20946}, doi = {10.4230/DagSemProc.09061.17}, annote = {Keywords: Algebraic multigrid, aggregation, stabilisation} }
Published in: Dagstuhl Seminar Proceedings, Volume 7181, Parallel Universes and Local Patterns (2007)
Frank Höppner and Mirko Böttcher. Reliably Capture Local Clusters in Noisy Domains From Parallel Universes. In Parallel Universes and Local Patterns. Dagstuhl Seminar Proceedings, Volume 7181, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{hoppner_et_al:DagSemProc.07181.9, author = {H\"{o}ppner, Frank and B\"{o}ttcher, Mirko}, title = {{Reliably Capture Local Clusters in Noisy Domains From Parallel Universes}}, booktitle = {Parallel Universes and Local Patterns}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7181}, editor = {Michael R. Berthold and Katharina Morik and Arno Siebes}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07181.9}, URN = {urn:nbn:de:0030-drops-12617}, doi = {10.4230/DagSemProc.07181.9}, annote = {Keywords: Local pattern, time, parallel universe} }
Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)
Wil van der Aalst, Marlon Dumas, C. Ouyang, Anne Rozinat, and H. M. W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{vanderaalst_et_al:DagSemProc.06291.9, author = {van der Aalst, Wil and Dumas, Marlon and Ouyang, C. and Rozinat, Anne and Verbeek, H. M. W.}, title = {{Choreography Conformance Checking: An Approach based on BPEL and Petri Nets}}, booktitle = {The Role of Business Processes in Service Oriented Architectures}, pages = {1--71}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6291}, editor = {Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.9}, URN = {urn:nbn:de:0030-drops-8307}, doi = {10.4230/DagSemProc.06291.9}, annote = {Keywords: Process mining, SOAP messages, BPEL, Petri nets} }
Published in: Dagstuhl Seminar Proceedings, Volume 4441, Mobile Information Management (2005)
Joos-Hendrik Böse, Stefan Böttcher, Le Gruenwald, Pedro Jóse Marrón, Philipp Obreiter, Evaggelia Pitoura, Peter Reiher, Kai-Uwe Sattler, and Frank Seliger. 04441 Working Group - Some Open Aspects of Mobile Ad-hoc NETwork, Peer-to-Peer, and Self-organizing Systems. In Mobile Information Management. Dagstuhl Seminar Proceedings, Volume 4441, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{bose_et_al:DagSemProc.04441.3, author = {B\"{o}se, Joos-Hendrik and B\"{o}ttcher, Stefan and Gruenwald, Le and Marr\'{o}n, Pedro J\'{o}se and Obreiter, Philipp and Pitoura, Evaggelia and Reiher, Peter and Sattler, Kai-Uwe and Seliger, Frank}, title = {{04441 Working Group - Some Open Aspects of Mobile Ad-hoc NETwork, Peer-to-Peer, and Self-organizing Systems}}, booktitle = {Mobile Information Management}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4441}, editor = {Margaret H. Dunham and Birgitta K\"{o}nig-Ries and Evaggelia Pitoura and Peter Reiher and Can T\"{u}rker}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04441.3}, URN = {urn:nbn:de:0030-drops-2171}, doi = {10.4230/DagSemProc.04441.3}, annote = {Keywords: MANET, P2P} }
Published in: Dagstuhl Seminar Proceedings, Volume 4441, Mobile Information Management (2005)
Birgitta König-Ries, Franz Lehner, Rainer Malaka, Florian Matthes, Philipp Obreiter, Key Pousttchi, Frank Seliger, Klaus Turowski, and Jari Veijalainen. 04441 Working Group – Business Models. In Mobile Information Management. Dagstuhl Seminar Proceedings, Volume 4441, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{konigries_et_al:DagSemProc.04441.4, author = {K\"{o}nig-Ries, Birgitta and Lehner, Franz and Malaka, Rainer and Matthes, Florian and Obreiter, Philipp and Pousttchi, Key and Seliger, Frank and Turowski, Klaus and Veijalainen, Jari}, title = {{04441 Working Group – Business Models}}, booktitle = {Mobile Information Management}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4441}, editor = {Margaret H. Dunham and Birgitta K\"{o}nig-Ries and Evaggelia Pitoura and Peter Reiher and Can T\"{u}rker}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04441.4}, URN = {urn:nbn:de:0030-drops-1699}, doi = {10.4230/DagSemProc.04441.4}, annote = {Keywords: Business Models} }
Feedback for Dagstuhl Publishing