19 Search Results for "Müller, Fritz"

Document
DOI: 10.4230/LIPIcs.ESA.2025.105
Parameterized Algorithms for Computing Pareto Sets

Authors: Joshua Marc Könen, Heiko Röglin, and Tarek Stuck

Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)

Abstract
The problem of computing the set of Pareto-optimal solutions has been studied for a variety of multiobjective optimization problems. For many such problems, algorithms are known that compute the Pareto set in (weak) output-polynomial time. These algorithms are often based on dynamic programming and by weak output-polynomial time, we mean that the running time depends polynomially on the size of the Pareto set but also on the sizes of the Pareto sets of the subproblems that occur in the dynamic program. For some problems, like the multiobjective minimum spanning tree problem, such algorithms are not known to exist and for other problems, like multiobjective versions of many NP-hard problems, such algorithms cannot exist, unless 𝒫 = 𝒩𝒫. Dynamic programming over tree decompositions is a common technique in parameterized algorithms. In this paper, we study whether this technique can also be applied to compute Pareto sets of multiobjective optimization problems. We first derive an algorithm to compute the Pareto set for the multicriteria s-t cut problem and show how this result can be applied to a polygon aggregation problem arising in cartography that has recently been introduced by Rottmann et al. (GIScience 2021). We also show how to apply these techniques to also compute the Pareto set of the multiobjective minimum spanning tree problem and for the multiobjective TSP. The running time of our algorithms is O(f(w)⋅poly(n,p_{max})), where f is some function in the treewidth w, n is the input size, and p_{max} is an upper bound on the size of the Pareto sets of the subproblems that occur in the dynamic program. Finally, we present an experimental evaluation of computing Pareto sets on real-world instances of polygon aggregation problems. For this matter we devised a task-specific data structure that allows for efficient storage and modification of large sets of Pareto-optimal solutions. Throughout the implementation process, we incorporated several improved strategies and heuristics that significantly reduced both runtime and memory usage, enabling us to solve instances with treewidth of up to 22 within reasonable amount of time. Moreover, we conducted a preprocessing study to compare different tree decompositions in terms of their estimated overall runtime.
Cite as

Joshua Marc Könen, Heiko Röglin, and Tarek Stuck. Parameterized Algorithms for Computing Pareto Sets. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 105:1-105:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{konen_et_al:LIPIcs.ESA.2025.105,
  author =	{K\"{o}nen, Joshua Marc and R\"{o}glin, Heiko and Stuck, Tarek},
  title =	{{Parameterized Algorithms for Computing Pareto Sets}},
  booktitle =	{33rd Annual European Symposium on Algorithms (ESA 2025)},
  pages =	{105:1--105:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-395-9},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{351},
  editor =	{Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.105},
  URN =		{urn:nbn:de:0030-drops-245749},
  doi =		{10.4230/LIPIcs.ESA.2025.105},
  annote =	{Keywords: parameterized algorithms, treewidth, multicriteria optimization problems, multicriteria MST, multicriteria TSP, polygon aggregation}
}
Document
DOI: 10.4230/OASIcs.SpaceCHI.2025.17
MUSE: Designing Immersive Virtual Realities for Spaceflight UX Research

Authors: Noora Archer, Pasquale Castellano, and Aidan Cowley

Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)

Abstract
Virtual reality (VR) provides unique opportunities for assessing early spacecraft design and usability by employing human-centered narrative and scenario-driven design methods. This paper details a narrative-focused VR simulation of a speculative spaceflight scenario, emphasizing narrative techniques for enhancing user immersion and user testing in evaluating operational usability aspects inside a spacecraft capsule. We designed a Modular User-centric Spaceflight Experience (MUSE) including a spacecraft capsule design and virtual mission scenario based on the findings and suggestions in Human Inspirator Co-Engineering (HICE) study. Results from user testing with MUSE underline the effectiveness and opportunities of narrative scenarios in early UX- evaluations in improving experience flow, operational understanding and user engagement. At the same time there remains several questions in defining best methodology to measure users insight and action motivation born from narrative immersion with the VR- experience.
Cite as

Noora Archer, Pasquale Castellano, and Aidan Cowley. MUSE: Designing Immersive Virtual Realities for Spaceflight UX Research. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 17:1-17:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{archer_et_al:OASIcs.SpaceCHI.2025.17,
  author =	{Archer, Noora and Castellano, Pasquale and Cowley, Aidan},
  title =	{{MUSE: Designing Immersive Virtual Realities for Spaceflight UX Research}},
  booktitle =	{Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
  pages =	{17:1--17:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-384-3},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{130},
  editor =	{Bensch, Leonie and Nilsson, Tommy and Nisser, Martin and Pataranutaporn, Pat and Schmidt, Albrecht and Sumini, Valentina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SpaceCHI.2025.17},
  URN =		{urn:nbn:de:0030-drops-240079},
  doi =		{10.4230/OASIcs.SpaceCHI.2025.17},
  annote =	{Keywords: Virtual Reality, Spaceflight Simulation, Narrative Design, Game Design, Scenario Design, Immersive Experience}
}
Document
DOI: 10.4230/LIPIcs.DNA.31.4
Differentiable Programming of Indexed Chemical Reaction Networks and Reaction-Diffusion Systems

Authors: Inhoo Lee, Salvador Buse, and Erik Winfree

Published in: LIPIcs, Volume 347, 31st International Conference on DNA Computing and Molecular Programming (DNA 31) (2025)

Abstract
Many molecular systems are best understood in terms of prototypical species and reactions. The central dogma and related biochemistry are rife with examples: gene i is transcribed into RNA i, which is translated into protein i; kinase n phosphorylates substrate m; protein p dimerizes with protein q. Engineered nucleic acid systems also often have this form: oligonucleotide i hybridizes to complementary oligonucleotide j; signal strand n displaces the output of seesaw gate m; hairpin p triggers the opening of target q. When there are many variants of a small number of prototypes, it can be conceptually cleaner and computationally more efficient to represent the full system in terms of indexed species (e.g. for dimerization, M_p, D_pq) and indexed reactions (M_p + M_q → D_pq). Here, we formalize the Indexed Chemical Reaction Network (ICRN) model and describe a Python software package designed to simulate such systems in the well-mixed and reaction-diffusion settings, using a differentiable programming framework originally developed for large-scale neural network models, taking advantage of GPU acceleration when available. Notably, this framework makes it straightforward to train the models’ initial conditions and rate constants to optimize a target behavior, such as matching experimental data, performing a computation, or exhibiting spatial pattern formation. The natural map of indexed chemical reaction networks onto neural network formalisms provides a tangible yet general perspective for translating concepts and techniques from the theory and practice of neural computation into the design of biomolecular systems.
Cite as

Inhoo Lee, Salvador Buse, and Erik Winfree. Differentiable Programming of Indexed Chemical Reaction Networks and Reaction-Diffusion Systems. In 31st International Conference on DNA Computing and Molecular Programming (DNA 31). Leibniz International Proceedings in Informatics (LIPIcs), Volume 347, pp. 4:1-4:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{lee_et_al:LIPIcs.DNA.31.4,
  author =	{Lee, Inhoo and Buse, Salvador and Winfree, Erik},
  title =	{{Differentiable Programming of Indexed Chemical Reaction Networks and Reaction-Diffusion Systems}},
  booktitle =	{31st International Conference on DNA Computing and Molecular Programming (DNA 31)},
  pages =	{4:1--4:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-399-7},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{347},
  editor =	{Schaeffer, Josie and Zhang, Fei},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.31.4},
  URN =		{urn:nbn:de:0030-drops-238534},
  doi =		{10.4230/LIPIcs.DNA.31.4},
  annote =	{Keywords: Differentiable Programming, Chemical Reaction Networks, Reaction-Diffusion Systems}
}
Document
DOI: 10.4230/LIPIcs.DNA.31.10
Computing and Bounding Equilibrium Concentrations in Athermic Chemical Systems

Authors: Hamidreza Akef, Minki Hhan, and David Soloveichik

Published in: LIPIcs, Volume 347, 31st International Conference on DNA Computing and Molecular Programming (DNA 31) (2025)

Abstract
Computing equilibrium concentrations of molecular complexes is generally analytically intractable and requires numerical approaches. In this work we focus on the polymer-monomer level, where indivisible molecules (monomers) combine to form complexes (polymers). Rather than employing free-energy parameters for each polymer, we focus on the athermic setting where all interactions preserve enthalpy. This setting aligns with the strongly bonded (domain-based) regime in DNA nanotechnology when strands can bind in different ways, but always with maximum overall bonding - and is consistent with the saturated configurations in the Thermodynamic Binding Networks (TBNs) model. Within this context, we develop an iterative algorithm for assigning polymer concentrations to satisfy detailed-balance, where on-target (desired) polymers are in high concentrations and off-target (undesired) polymers are in low. Even if not directly executed, our algorithm provides effective insights into upper bounds on concentration of off-target polymers, connecting combinatorial arguments about discrete configurations such as those in the TBN model to real-valued concentrations. We conclude with an application of our method to decreasing leak in DNA logic and signal propagation. Our results offer a new framework for design and verification of equilibrium concentrations when configurations are distinguished by entropic forces.
Cite as

Hamidreza Akef, Minki Hhan, and David Soloveichik. Computing and Bounding Equilibrium Concentrations in Athermic Chemical Systems. In 31st International Conference on DNA Computing and Molecular Programming (DNA 31). Leibniz International Proceedings in Informatics (LIPIcs), Volume 347, pp. 10:1-10:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{akef_et_al:LIPIcs.DNA.31.10,
  author =	{Akef, Hamidreza and Hhan, Minki and Soloveichik, David},
  title =	{{Computing and Bounding Equilibrium Concentrations in Athermic Chemical Systems}},
  booktitle =	{31st International Conference on DNA Computing and Molecular Programming (DNA 31)},
  pages =	{10:1--10:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-399-7},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{347},
  editor =	{Schaeffer, Josie and Zhang, Fei},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.31.10},
  URN =		{urn:nbn:de:0030-drops-238595},
  doi =		{10.4230/LIPIcs.DNA.31.10},
  annote =	{Keywords: Equilibrium concentrations, Thermodynamic Binding Networks, Monomer-polymer model, Detailed balance}
}
Document
DOI: 10.4230/OASIcs.FMBC.2025.10
Program Logics for Ledgers

Authors: Orestis Melkonian, Wouter Swierstra, and James Chapman

Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)

Abstract
Distributed ledgers nowadays manage substantial monetary funds in the form of cryptocurrencies such as Bitcoin, Ethereum, and Cardano. For such ledgers to be safe, operations that add new entries must be cryptographically sound - but it is less clear how to reason effectively about such ever-growing linear data structures. This paper demonstrates how distributed ledgers may be viewed as computer programs, that, when executed, transfer funds between various parties. As a result, familiar program logics, such as Hoare logic, are applied in a novel setting. Borrowing ideas from concurrent separation logic, this enables modular reasoning principles over arbitrary fragments of any ledger. All of our results have been mechanised in the Agda proof assistant.
Cite as

Orestis Melkonian, Wouter Swierstra, and James Chapman. Program Logics for Ledgers. In 6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 10:1-10:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{melkonian_et_al:OASIcs.FMBC.2025.10,
  author =	{Melkonian, Orestis and Swierstra, Wouter and Chapman, James},
  title =	{{Program Logics for Ledgers}},
  booktitle =	{6th International Workshop on Formal Methods for Blockchains (FMBC 2025)},
  pages =	{10:1--10:22},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-371-3},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{129},
  editor =	{Marmsoler, Diego and Xu, Meng},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.10},
  URN =		{urn:nbn:de:0030-drops-230370},
  doi =		{10.4230/OASIcs.FMBC.2025.10},
  annote =	{Keywords: blockchain, distributed ledgers, UTxO separation logic, program semantics, formal verification, Agda}
}
Document
DOI: 10.4230/DagNews.2011
Dagstuhl News January - December 2011

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2011,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2011}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2011},
  URN =		{urn:nbn:de:0030-drops-36507},
  doi =		{10.4230/DagNews.2011},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2010
Dagstuhl News January - December 2010

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2010,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2010}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2010},
  URN =		{urn:nbn:de:0030-drops-34610},
  doi =		{10.4230/DagNews.2010},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2009
Dagstuhl News January - December 2009

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2009, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2009,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2009}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2009},
  URN =		{urn:nbn:de:0030-drops-31060},
  doi =		{10.4230/DagNews.2009},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2003
Dagstuhl News January - December 2003

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2003, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2003,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2003}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2003},
  URN =		{urn:nbn:de:0030-drops-20527},
  doi =		{10.4230/DagNews.2003},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2004
Dagstuhl News January - December 2004

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2004, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2004,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2004}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2004},
  URN =		{urn:nbn:de:0030-drops-20534},
  doi =		{10.4230/DagNews.2004},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2005
Dagstuhl News January - December 2005

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2005, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2005,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2005}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2005},
  URN =		{urn:nbn:de:0030-drops-20544},
  doi =		{10.4230/DagNews.2005},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2006
Dagstuhl News January - December 2006

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2006, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2006,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2006}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2006},
  URN =		{urn:nbn:de:0030-drops-20550},
  doi =		{10.4230/DagNews.2006},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2007
Dagstuhl News January - December 2007

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2007, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2007,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2007}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2007},
  URN =		{urn:nbn:de:0030-drops-20569},
  doi =		{10.4230/DagNews.2007},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2008
Dagstuhl News January - December 2008

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2008, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2008,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2008}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.2008},
  URN =		{urn:nbn:de:0030-drops-20579},
  doi =		{10.4230/DagNews.2008},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.1998
Dagstuhl News January - December 1998

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 1998, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.1998,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 1998}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagNews.1998},
  URN =		{urn:nbn:de:0030-drops-20453},
  doi =		{10.4230/DagNews.1998},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
  • Refine by Type
  • 19 Document/PDF
  • 5 Document/HTML

  • Refine by Publication Year
  • 5 2025
  • 2 2012
  • 1 2011
  • 11 2009

  • Refine by Author
  • 14 Müller, Fritz
  • 14 Wilhelm, Reinhard
  • 1 Akef, Hamidreza
  • 1 Archer, Noora
  • 1 Buse, Salvador
  • Show More...

  • Refine by Series/Journal
  • 3 LIPIcs
  • 2 OASIcs
  • 14 DagNews

  • Refine by Classification
  • 2 Theory of computation → Design and analysis of algorithms
  • 1 Computer systems organization → Molecular computing
  • 1 Human-centered computing → Scenario-based design
  • 1 Human-centered computing → Usability testing
  • 1 Human-centered computing → User centered design
  • Show More...

  • Refine by Keyword
  • 14 Schloss Dagstuhl - Leibniz-Zentrum für Informatik
  • 14 Seminar Abstracts
  • 14 Seminars Overview
  • 10 IBFI
  • 10 International Conference and Research Center for Computer Science
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact