Published in: LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1
Philipp Miedl, Rehan Ahmed, and Lothar Thiele. We know what you're doing! Application detection using thermal data. In LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{miedl_et_al:LITES.7.1.2, author = {Miedl, Philipp and Ahmed, Rehan and Thiele, Lothar}, title = {{We know what you're doing! Application detection using thermal data}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:28}, ISSN = {2199-2002}, year = {2021}, volume = {7}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.7.1.2}, doi = {10.4230/LITES.7.1.2}, annote = {Keywords: Thermal Monitoring, Side Channel, Data Leak, Sequence Labelling} }
Published in: DARTS, Volume 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, and Lothar Thiele. The Time-Triggered Wireless Architecture (Artifact). In Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 1, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{jacob_et_al:DARTS.6.1.5, author = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, title = {{The Time-Triggered Wireless Architecture (Artifact)}}, pages = {5:1--5:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2020}, volume = {6}, number = {1}, editor = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.1.5}, URN = {urn:nbn:de:0030-drops-123952}, doi = {10.4230/DARTS.6.1.5}, annote = {Keywords: Time-triggered architecture, wireless bus, synchronous transmissions} }
Published in: LIPIcs, Volume 165, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, and Lothar Thiele. The Time-Triggered Wireless Architecture. In 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 165, pp. 19:1-19:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{jacob_et_al:LIPIcs.ECRTS.2020.19, author = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, title = {{The Time-Triggered Wireless Architecture}}, booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}, pages = {19:1--19:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-152-8}, ISSN = {1868-8969}, year = {2020}, volume = {165}, editor = {V\"{o}lp, Marcus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.19}, URN = {urn:nbn:de:0030-drops-123826}, doi = {10.4230/LIPIcs.ECRTS.2020.19}, annote = {Keywords: Time-triggered architecture, wireless bus, synchronous transmissions} }
Published in: Dagstuhl Reports, Volume 7, Issue 5 (2018)
Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao. Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191). In Dagstuhl Reports, Volume 7, Issue 5, pp. 22-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{doerr_et_al:DagRep.7.5.22, author = {Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin}, title = {{Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)}}, pages = {22--55}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {5}, editor = {Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.22}, URN = {urn:nbn:de:0030-drops-82797}, doi = {10.4230/DagRep.7.5.22}, annote = {Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing} }
Published in: Dagstuhl Reports, Volume 6, Issue 10 (2017)
Tulika Mitra, Jürgen Teich, and Lothar Thiele. Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441). In Dagstuhl Reports, Volume 6, Issue 10, pp. 120-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{mitra_et_al:DagRep.6.10.120, author = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar}, title = {{Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)}}, pages = {120--153}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {10}, editor = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.120}, URN = {urn:nbn:de:0030-drops-69539}, doi = {10.4230/DagRep.6.10.120}, annote = {Keywords: Adaptive isolation, Embedded systems, Real-Time systems, Predictability, Security, MPSoC, Parallel computing, Programming models, Timing analysis, Virtualization} }
Published in: Dagstuhl Reports, Volume 5, Issue 5 (2016)
Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele. Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). In Dagstuhl Reports, Volume 5, Issue 5, pp. 57-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{doerr_et_al:DagRep.5.5.57, author = {Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar}, title = {{Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}}, pages = {57--91}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {5}, editor = {Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.57}, URN = {urn:nbn:de:0030-drops-54022}, doi = {10.4230/DagRep.5.5.57}, annote = {Keywords: evolutionary algorithms, black-box optimization, randomized search heuristics, algorithms, artificial intelligence} }
Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)
Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{lucas_et_al:OASIcs.PPES.2011, title = {{OASIcs, Volume 18, PPES'11, Complete Volume}}, booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-28-6}, ISSN = {2190-6807}, year = {2012}, volume = {18}, editor = {Lucas, Philipp and Wilhelm, Reinhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011}, URN = {urn:nbn:de:0030-drops-35804}, doi = {10.4230/OASIcs.PPES.2011}, annote = {Keywords: Special-purpose and application-based systems\rbrack: Real-time and embedded systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 9041, Hybrid and Robust Approaches to Multiobjective Optimization (2009)
Fonseca Carlos, Xavier Gandibleux, Pekka Korhonen, Luis Marti, Boris Naujoks, Lothar Thiele, Wallenius Jyrki, and Eckart Zitzler. 09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round). In Hybrid and Robust Approaches to Multiobjective Optimization. Dagstuhl Seminar Proceedings, Volume 9041, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{fonsecacarlos_et_al:DagSemProc.09041.4, author = {Fonseca Carlos and Gandibleux, Xavier and Korhonen, Pekka and Marti, Luis and Naujoks, Boris and Thiele, Lothar and Wallenius Jyrki and Zitzler, Eckart}, title = {{09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round)}}, booktitle = {Hybrid and Robust Approaches to Multiobjective Optimization}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9041}, editor = {Kalyanmoy Deb and Salvatore Greco and Kaisa Miettinen and Eckart Zitzler}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09041.4}, URN = {urn:nbn:de:0030-drops-20041}, doi = {10.4230/DagSemProc.09041.4}, annote = {Keywords: Interactive multiobjective optimization} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Abstracts Collection – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.1, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Abstracts Collection – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.1}, URN = {urn:nbn:de:0030-drops-11402}, doi = {10.4230/DagSemProc.07101.1}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Executive Summary – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.2, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Executive Summary – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.2}, URN = {urn:nbn:de:0030-drops-11378}, doi = {10.4230/DagSemProc.07101.2}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design. Embedded s} }
Published in: Dagstuhl Seminar Proceedings, Volume 4461, Practical Approaches to Multi-Objective Optimization (2005)
Marco Laumanns, Lothar Thiele, and Eckart Zitzler. An Adaptive Scheme to Generate the Pareto Front Based on the Epsilon-Constraint Method. In Practical Approaches to Multi-Objective Optimization. Dagstuhl Seminar Proceedings, Volume 4461, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{laumanns_et_al:DagSemProc.04461.6, author = {Laumanns, Marco and Thiele, Lothar and Zitzler, Eckart}, title = {{An Adaptive Scheme to Generate the Pareto Front Based on the Epsilon-Constraint Method}}, booktitle = {Practical Approaches to Multi-Objective Optimization}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4461}, editor = {J\"{u}rgen Branke and Kalyanmoy Deb and Kaisa Miettinen and Ralph E. Steuer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04461.6}, URN = {urn:nbn:de:0030-drops-2465}, doi = {10.4230/DagSemProc.04461.6}, annote = {Keywords: Multiple objective optimization, non-dominated set, Pareto set, epsilon-constraint method, generating methods} }
Published in: Dagstuhl Seminar Proceedings, Volume 3471, Perspectives Workshop: Design of Systems with Predictable Behaviour (2004)
Lothar Thiele and Reinhard Wilhelm. 03471 Abstracts Collection – Design of Systems with Predictable Behaviour. In Perspectives Workshop: Design of Systems with Predictable Behaviour. Dagstuhl Seminar Proceedings, Volume 3471, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)
@InProceedings{thiele_et_al:DagSemProc.03471.1, author = {Thiele, Lothar and Wilhelm, Reinhard}, title = {{03471 Abstracts Collection – Design of Systems with Predictable Behaviour}}, booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2004}, volume = {3471}, editor = {Lothar Thiele and Reinhard Wilhelm}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.1}, URN = {urn:nbn:de:0030-drops-73}, doi = {10.4230/DagSemProc.03471.1}, annote = {Keywords: real-time systems , guarantees , predictability , embedded systems , performance} }
Published in: Dagstuhl Seminar Proceedings, Volume 3471, Perspectives Workshop: Design of Systems with Predictable Behaviour (2004)
Lothar Thiele and Reinhard Wilhelm. Design for Time-Predictability. In Perspectives Workshop: Design of Systems with Predictable Behaviour. Dagstuhl Seminar Proceedings, Volume 3471, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)
@InProceedings{thiele_et_al:DagSemProc.03471.2, author = {Thiele, Lothar and Wilhelm, Reinhard}, title = {{Design for Time-Predictability}}, booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2004}, volume = {3471}, editor = {Lothar Thiele and Reinhard Wilhelm}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.2}, URN = {urn:nbn:de:0030-drops-23}, doi = {10.4230/DagSemProc.03471.2}, annote = {Keywords: real-time systems , guarantees , predictability , embedded systems , performance} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Lothar Thiele and Reinhard Wilhelm. Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471). Dagstuhl Seminar Report 403, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{thiele_et_al:DagSemRep.403, author = {Thiele, Lothar and Wilhelm, Reinhard}, title = {{Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)}}, pages = {1--4}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {403}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.403}, URN = {urn:nbn:de:0030-drops-152834}, doi = {10.4230/DagSemRep.403}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Jeanne Ferrante, Wolfgang K. Giloi, Sanjay Rajopadhye, and Lothar Thiele. Tiling for Optimal Resource Utilization (Dagstuhl Seminar 98341). Dagstuhl Seminar Report 221, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)
@TechReport{ferrante_et_al:DagSemRep.221, author = {Ferrante, Jeanne and Giloi, Wolfgang K. and Rajopadhye, Sanjay and Thiele, Lothar}, title = {{Tiling for Optimal Resource Utilization (Dagstuhl Seminar 98341)}}, pages = {1--17}, ISSN = {1619-0203}, year = {1999}, type = {Dagstuhl Seminar Report}, number = {221}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.221}, URN = {urn:nbn:de:0030-drops-151075}, doi = {10.4230/DagSemRep.221}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele. Design Automation for Embedded Systems (Dagstuhl Seminar 9617). Dagstuhl Seminar Report 143, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{lee_et_al:DagSemRep.143, author = {Lee, Edward A. and de Micheli, Giovanni and Rosenstiel, Wofgang and Thiele, Lothar}, title = {{Design Automation for Embedded Systems (Dagstuhl Seminar 9617)}}, pages = {1--25}, ISSN = {1619-0203}, year = {1997}, type = {Dagstuhl Seminar Report}, number = {143}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.143}, URN = {urn:nbn:de:0030-drops-150305}, doi = {10.4230/DagSemRep.143}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima. Loop Parallelization (Dagstuhl Seminar 9616). Dagstuhl Seminar Report 142, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)
@TechReport{lengauer_et_al:DagSemRep.142, author = {Lengauer, Christian and Thiele, Lothar and Wolfe, Michael and Zima, Hans}, title = {{Loop Parallelization (Dagstuhl Seminar 9616)}}, pages = {1--22}, ISSN = {1619-0203}, year = {1996}, type = {Dagstuhl Seminar Report}, number = {142}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.142}, URN = {urn:nbn:de:0030-drops-150292}, doi = {10.4230/DagSemRep.142}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele. Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325). Dagstuhl Seminar Report 66, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)
@TechReport{lengauer_et_al:DagSemRep.66, author = {Lengauer, Christian and Quinton, Patrice and Robert, Yves and Thiele, Lothar}, title = {{Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325)}}, pages = {1--31}, ISSN = {1619-0203}, year = {1993}, type = {Dagstuhl Seminar Report}, number = {66}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.66}, URN = {urn:nbn:de:0030-drops-149547}, doi = {10.4230/DagSemRep.66}, }
Feedback for Dagstuhl Publishing