Published in: LIPIcs, Volume 217, 25th International Conference on Principles of Distributed Systems (OPODIS 2021)
William Schultz, Siyuan Zhou, Ian Dardik, and Stavros Tripakis. Design and Analysis of a Logless Dynamic Reconfiguration Protocol. In 25th International Conference on Principles of Distributed Systems (OPODIS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 217, pp. 26:1-26:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{schultz_et_al:LIPIcs.OPODIS.2021.26, author = {Schultz, William and Zhou, Siyuan and Dardik, Ian and Tripakis, Stavros}, title = {{Design and Analysis of a Logless Dynamic Reconfiguration Protocol}}, booktitle = {25th International Conference on Principles of Distributed Systems (OPODIS 2021)}, pages = {26:1--26:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-219-8}, ISSN = {1868-8969}, year = {2022}, volume = {217}, editor = {Bramas, Quentin and Gramoli, Vincent and Milani, Alessia}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2021.26}, URN = {urn:nbn:de:0030-drops-158016}, doi = {10.4230/LIPIcs.OPODIS.2021.26}, annote = {Keywords: Fault Tolerance, Dynamic Reconfiguration, State Machine Replication} }
Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)
William Schultz, Siyuan Zhou, and Stavros Tripakis. Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 61:1-61:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{schultz_et_al:LIPIcs.DISC.2021.61, author = {Schultz, William and Zhou, Siyuan and Tripakis, Stavros}, title = {{Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication}}, booktitle = {35th International Symposium on Distributed Computing (DISC 2021)}, pages = {61:1--61:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-210-5}, ISSN = {1868-8969}, year = {2021}, volume = {209}, editor = {Gilbert, Seth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.61}, URN = {urn:nbn:de:0030-drops-148636}, doi = {10.4230/LIPIcs.DISC.2021.61}, annote = {Keywords: Reconfiguration, Consensus, State Machine Replication} }
Published in: LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019)
Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 142, pp. 26:1-26:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{li_et_al:LIPIcs.COSIT.2019.26, author = {Li, Beidi and Bhatt, Mehul and Schultz, Carl}, title = {{lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming}}, booktitle = {14th International Conference on Spatial Information Theory (COSIT 2019)}, pages = {26:1--26:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-115-3}, ISSN = {1868-8969}, year = {2019}, volume = {142}, editor = {Timpf, Sabine and Schlieder, Christoph and Kattenbeck, Markus and Ludwig, Bernd and Stewart, Kathleen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26}, URN = {urn:nbn:de:0030-drops-111183}, doi = {10.4230/LIPIcs.COSIT.2019.26}, annote = {Keywords: Spatial reasoning, Functional logic programming, Lambda-Prolog} }
Published in: Dagstuhl Reports, Volume 8, Issue 10 (2019)
Andrea Fuster, Evren Özarslan, Thomas Schultz, and Eugene Zhang. Visualization and Processing of Anisotropy in Imaging, Geometry, and Astronomy (Dagstuhl Seminar 18442). In Dagstuhl Reports, Volume 8, Issue 10, pp. 148-172, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{fuster_et_al:DagRep.8.10.148, author = {Fuster, Andrea and \"{O}zarslan, Evren and Schultz, Thomas and Zhang, Eugene}, title = {{Visualization and Processing of Anisotropy in Imaging, Geometry, and Astronomy (Dagstuhl Seminar 18442)}}, pages = {148--172}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {8}, number = {10}, editor = {Fuster, Andrea and \"{O}zarslan, Evren and Schultz, Thomas and Zhang, Eugene}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.10.148}, URN = {urn:nbn:de:0030-drops-103524}, doi = {10.4230/DagRep.8.10.148}, annote = {Keywords: Anisotropy, astronomy, diffusion-weighted imaging (DWI), geometry processing, tensor fields, topology, visualization, uncertainty, shape modeling, microstructure imaging, statistical analysis} }
Published in: LIPIcs, Volume 107, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
Prosenjit Bose, Paz Carmi, Vida Dujmovic, Saeed Mehrabi, Fabrizio Montecchiani, Pat Morin, and Luis Fernando Schultz Xavier da Silveira. Geodesic Obstacle Representation of Graphs. In 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 107, pp. 23:1-23:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{bose_et_al:LIPIcs.ICALP.2018.23, author = {Bose, Prosenjit and Carmi, Paz and Dujmovic, Vida and Mehrabi, Saeed and Montecchiani, Fabrizio and Morin, Pat and Silveira, Luis Fernando Schultz Xavier da}, title = {{Geodesic Obstacle Representation of Graphs}}, booktitle = {45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)}, pages = {23:1--23:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-076-7}, ISSN = {1868-8969}, year = {2018}, volume = {107}, editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, D\'{a}niel and Sannella, Donald}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2018.23}, URN = {urn:nbn:de:0030-drops-90274}, doi = {10.4230/LIPIcs.ICALP.2018.23}, annote = {Keywords: Obstacle representation, Grid obstacle representation, Geodesic obstacle representation} }
Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Vasiliki Kondyli, Carl Schultz, and Mehul Bhatt. Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 11:1-11:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{kondyli_et_al:LIPIcs.COSIT.2017.11, author = {Kondyli, Vasiliki and Schultz, Carl and Bhatt, Mehul}, title = {{Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {11:1--11:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.11}, URN = {urn:nbn:de:0030-drops-77682}, doi = {10.4230/LIPIcs.COSIT.2017.11}, annote = {Keywords: parametric modelling, behavioural studies, Evidence-Based Design, design computing, wayfinding, spatial cognition} }
Published in: Dagstuhl Reports, Volume 6, Issue 4 (2016)
Ingrid Hotz, Evren Özarslan, and Thomas Schultz. Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142). In Dagstuhl Reports, Volume 6, Issue 4, pp. 16-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{hotz_et_al:DagRep.6.4.16, author = {Hotz, Ingrid and \"{O}zarslan, Evren and Schultz, Thomas}, title = {{Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142)}}, pages = {16--38}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {6}, number = {4}, editor = {Hotz, Ingrid and \"{O}zarslan, Evren and Schultz, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.4.16}, URN = {urn:nbn:de:0030-drops-61517}, doi = {10.4230/DagRep.6.4.16}, annote = {Keywords: visualization, image processing, statistical analysis, machine learning, tensor fields, higher-order descriptors, diffusion-weighted imaging (DWI), structural mechanics, fluid dynamics, microstructure imaging, connectomics, uncertainty visualization, feature extraction} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{beibarth_et_al:OASIcs.GCB.2013, title = {{OASIcs, Volume 34, GCB'13, Complete Volume}}, booktitle = {German Conference on Bioinformatics 2013}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013}, URN = {urn:nbn:de:0030-drops-42563}, doi = {10.4230/OASIcs.GCB.2013}, annote = {Keywords: Life and Medical Sciences} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. i-xiii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{beibarth_et_al:OASIcs.GCB.2013.i, author = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, title = {{Frontmatter, Table of Contents, Preface, Conference Organization}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {i--xiii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.i}, URN = {urn:nbn:de:0030-drops-42265}, doi = {10.4230/OASIcs.GCB.2013.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Kathrin Petra Aßhauer and Peter Meinicke. On the estimation of metabolic profiles in metagenomics. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{ahauer_et_al:OASIcs.GCB.2013.1, author = {A{\ss}hauer, Kathrin Petra and Meinicke, Peter}, title = {{On the estimation of metabolic profiles in metagenomics}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.1}, URN = {urn:nbn:de:0030-drops-42380}, doi = {10.4230/OASIcs.GCB.2013.1}, annote = {Keywords: metagenomics, metabolic profiling, taxonomic profiling, abundance estimation, mixture modeling} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Matthias Bernt, Nicolas Wieseke, and Martin Middendorf. On Weighting Schemes for Gene Order Analysis. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 14-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{bernt_et_al:OASIcs.GCB.2013.14, author = {Bernt, Matthias and Wieseke, Nicolas and Middendorf, Martin}, title = {{On Weighting Schemes for Gene Order Analysis}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {14--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.14}, URN = {urn:nbn:de:0030-drops-42354}, doi = {10.4230/OASIcs.GCB.2013.14}, annote = {Keywords: Gene order analysis, maximum parsimony, weighting} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Marcus Boden, Martin Schöneich, Sebastian Horwege, Sebastian Lindner, Chris Leimeister, and Burkhard Morgenstern. Alignment-free sequence comparison with spaced k-mers. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 24-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{boden_et_al:OASIcs.GCB.2013.24, author = {Boden, Marcus and Sch\"{o}neich, Martin and Horwege, Sebastian and Lindner, Sebastian and Leimeister, Chris and Morgenstern, Burkhard}, title = {{Alignment-free sequence comparison with spaced k-mers}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {24--34}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.24}, URN = {urn:nbn:de:0030-drops-42334}, doi = {10.4230/OASIcs.GCB.2013.24}, annote = {Keywords: Alignment-free sequence comparison, phylogeny reconstruction} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Corinna Ernst and Sven Rahmann. PanCake: A Data Structure for Pangenomes. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 35-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{ernst_et_al:OASIcs.GCB.2013.35, author = {Ernst, Corinna and Rahmann, Sven}, title = {{PanCake: A Data Structure for Pangenomes}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {35--45}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.35}, URN = {urn:nbn:de:0030-drops-42314}, doi = {10.4230/OASIcs.GCB.2013.35}, annote = {Keywords: pangenome, data structure, core genome, comparative genomics} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Holger Fröhlich and Gunnar W. Klau. Reconstructing Consensus Bayesian Network Structures with Application to Learning Molecular Interaction Networks. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 46-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{frohlich_et_al:OASIcs.GCB.2013.46, author = {Fr\"{o}hlich, Holger and Klau, Gunnar W.}, title = {{Reconstructing Consensus Bayesian Network Structures with Application to Learning Molecular Interaction Networks}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {46--55}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.46}, URN = {urn:nbn:de:0030-drops-42273}, doi = {10.4230/OASIcs.GCB.2013.46}, annote = {Keywords: Bayesian Networks, Network Reverse Engineering, Minimum Feedback Arc Set, Maximum Acyclic Subgraph, Molecular Interaction Networks} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Anna Katharina Hildebrandt, Ernst Althaus, Hans-Peter Lenhof, Chien-Wen Hung, Andreas Tholey, and Andreas Hildebrandt. Efficient Interpretation of Tandem Mass Tags in Top-Down Proteomics. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 56-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{hildebrandt_et_al:OASIcs.GCB.2013.56, author = {Hildebrandt, Anna Katharina and Althaus, Ernst and Lenhof, Hans-Peter and Hung, Chien-Wen and Tholey, Andreas and Hildebrandt, Andreas}, title = {{Efficient Interpretation of Tandem Mass Tags in Top-Down Proteomics}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {56--67}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.56}, URN = {urn:nbn:de:0030-drops-42304}, doi = {10.4230/OASIcs.GCB.2013.56}, annote = {Keywords: Mass spectrometry, TMT labeling, Top-down Proteomics} }
Feedback for Dagstuhl Publishing