HTML Export for DagSemRep

Copy to Clipboard Download

<h2>Dagstuhl Seminar Reports, Volume 1, DagSemRep</h2>
<ul>
<li>
    <span class="authors">Wolfgang Gentzsch and Paul J. Wolfgang</span>
    <span class="title">Architecture and Performance (Dagstuhl Seminar 9025)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.1">10.4230/DagSemRep.1</a>
</li>
<li>
    <span class="authors">Karin Harbusch and Wolfgang Wahlster</span>
    <span class="title">Tree Adjoining Grammars (Dagstuhl Seminar 9033)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.2">10.4230/DagSemRep.2</a>
</li>
<li>
    <span class="authors">Hankin Chris and Wilhelm Reinhard</span>
    <span class="title">Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.3">10.4230/DagSemRep.3</a>
</li>
<li>
    <span class="authors">Alt Helmut and Welzl Emo</span>
    <span class="title">Algorithmic Geometry (Dagstuhl Seminar 9041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.4">10.4230/DagSemRep.4</a>
</li>
<li>
    <span class="authors">Jean Berstel, Jean-Eric Pin, and Wolgang Thoma</span>
    <span class="title">Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.5">10.4230/DagSemRep.5</a>
</li>
<li>
    <span class="authors">Bernd Becker and Christoph Meinel</span>
    <span class="title">Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.6">10.4230/DagSemRep.6</a>
</li>
<li>
    <span class="authors">Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing</span>
    <span class="title">Logical Theory for Program Construction (Dagstuhl Seminar 9109)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.7">10.4230/DagSemRep.7</a>
</li>
<li>
    <span class="authors">Ernst W. Mayr and Meyer auf der Heide Friedhelm</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 9110)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.8">10.4230/DagSemRep.8</a>
</li>
<li>
    <span class="authors">Manfred Broy, Peter Deussen, Ernst-Rüdiger Olderog, and Willem-Paul de Roever</span>
    <span class="title">Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.9">10.4230/DagSemRep.9</a>
</li>
<li>
    <span class="authors">Krzysztof Apt, Klaus Indermark, and Mario Rodríguez Artalejo</span>
    <span class="title">Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.10">10.4230/DagSemRep.10</a>
</li>
<li>
    <span class="authors">Erich Novak, Josef F. Traub, and Henryk Wozniakowski</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.11">10.4230/DagSemRep.11</a>
</li>
<li>
    <span class="authors">Bernhard Nebel, Christof Peltason, and Kai von Luck</span>
    <span class="title">Terminological Logics (Dagstuhl Seminar 9119)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.12">10.4230/DagSemRep.12</a>
</li>
<li>
    <span class="authors">Robert Giegerich and Susan L. Graham</span>
    <span class="title">Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.13">10.4230/DagSemRep.13</a>
</li>
<li>
    <span class="authors">Marek Karpinski, Michael Luby, and Umesh Vazirani</span>
    <span class="title">Randomized Algorithms (Dagstuhl Seminar 9124)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.14">10.4230/DagSemRep.14</a>
</li>
<li>
    <span class="authors">Johann Christoph Freytag, David Maier, and Gottfried Vossen</span>
    <span class="title">Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.15">10.4230/DagSemRep.15</a>
</li>
<li>
    <span class="authors">Manfred Droste and Yuri Gurevich</span>
    <span class="title">Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.16">10.4230/DagSemRep.16</a>
</li>
<li>
    <span class="authors">Gerald Farin, Hans Hagen, and Hartmut Noltemeier</span>
    <span class="title">Geometric Modelling (Dagstuhl Seminar 9127)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.17">10.4230/DagSemRep.17</a>
</li>
<li>
    <span class="authors">Arthur I. Karshmer and Jürgen Nehmer</span>
    <span class="title">Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.18">10.4230/DagSemRep.18</a>
</li>
<li>
    <span class="authors">Hans Hagen and Heinrich Müller</span>
    <span class="title">Scientific Visualization (Dagstuhl Seminar 9135)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.19">10.4230/DagSemRep.19</a>
</li>
<li>
    <span class="authors">Thomas Lengauer, Rolf H. Möhring, and Bryan Preas</span>
    <span class="title">Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.20">10.4230/DagSemRep.20</a>
</li>
<li>
    <span class="authors">Francois Bancilhon, Peter Lockemann, and Dionysis Tsichritzis</span>
    <span class="title">Directions of Future Database Research (Dagstuhl Seminar 9137)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.21">10.4230/DagSemRep.21</a>
</li>
<li>
    <span class="authors">Helmut Alt, Bernard Chazelle, and Emo Welzl</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 9141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.22">10.4230/DagSemRep.22</a>
</li>
<li>
    <span class="authors">Franz-Josef Brandenburg, Jean Berstel, and Detlef Wotschke</span>
    <span class="title">Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.23">10.4230/DagSemRep.23</a>
</li>
<li>
    <span class="authors">Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka</span>
    <span class="title">Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.24">10.4230/DagSemRep.24</a>
</li>
<li>
    <span class="authors">Hartmut Noltemeier, Thomas Ottmann, and Derick Wood</span>
    <span class="title">Data Structures (Dagstuhl Seminar 9145)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.25">10.4230/DagSemRep.25</a>
</li>
<li>
    <span class="authors">Andreas Dress, Marek Karpinski, and Michael Singer</span>
    <span class="title">Efficient Interpolation Algorithms (Dagstuhl Seminar 9149)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.26">10.4230/DagSemRep.26</a>
</li>
<li>
    <span class="authors">Bruno Buchberger, James Davenport, and Fritz Schwarz</span>
    <span class="title">Algorithms of Computeralgebra (Dagstuhl Seminar 9151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.27">10.4230/DagSemRep.27</a>
</li>
<li>
    <span class="authors">Kevin Compton, Jean-Eric Pin, and Wolfgang Thomas</span>
    <span class="title">Automata Theory: Infinite Computations (Dagstuhl Seminar 9202)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.28">10.4230/DagSemRep.28</a>
</li>
<li>
    <span class="authors">Hans Langmaack, Erich Neuhold, and Manfred Paul</span>
    <span class="title">Software Construction - Foundation and Application (Dagstuhl Seminar 9203)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.29">10.4230/DagSemRep.29</a>
</li>
<li>
    <span class="authors">Klaus Ambos-Spies, Steven Homer, and Uwe Schöning</span>
    <span class="title">Structure and Complexity Theory (Dagstuhl Seminar 9206)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.30">10.4230/DagSemRep.30</a>
</li>
<li>
    <span class="authors">Bernhelm Booß, Wolfgang Coy, and Jörg-Martin Pflüger</span>
    <span class="title">Limits of Information-technological Models (Dagstuhl Seminar 9207)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.31">10.4230/DagSemRep.31</a>
</li>
<li>
    <span class="authors">Nico Habermann and Walter Tichy</span>
    <span class="title">Future Directions in Software Engineering (Dagstuhl Seminar 9208)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.32">10.4230/DagSemRep.32</a>
</li>
<li>
    <span class="authors">Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 9210)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.33">10.4230/DagSemRep.33</a>
</li>
<li>
    <span class="authors">Paul Klint, Thomas Reps, and Gregor Sneltig</span>
    <span class="title">Programming Environments (Dagstuhl Seminar 9211)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.34">10.4230/DagSemRep.34</a>
</li>
<li>
    <span class="authors">Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas</span>
    <span class="title">Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.35">10.4230/DagSemRep.35</a>
</li>
<li>
    <span class="authors">Werner Damm, Chris Hankin, and John Hughes</span>
    <span class="title">Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.36">10.4230/DagSemRep.36</a>
</li>
<li>
    <span class="authors">Thomas Beth, Whithfield Diffie, and Gustavus J. Simmons</span>
    <span class="title">System Security (Dagstuhl Seminar 9214)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.37">10.4230/DagSemRep.37</a>
</li>
<li>
    <span class="authors">Clarence A. Ellis and Matthias Jarke</span>
    <span class="title">Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.38">10.4230/DagSemRep.38</a>
</li>
<li>
    <span class="authors">Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst G. Zimmer</span>
    <span class="title">Algorithms and Number Theory (Dagstuhl Seminar 9226)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.39">10.4230/DagSemRep.39</a>
</li>
<li>
    <span class="authors">Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter</span>
    <span class="title">Computer Science Logic (Dagstuhl Seminar 9229)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.40">10.4230/DagSemRep.40</a>
</li>
<li>
    <span class="authors">Joachim von zur Gathen, Marek Karpinski, and Dexter Kozen</span>
    <span class="title">Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.41">10.4230/DagSemRep.41</a>
</li>
<li>
    <span class="authors">Franz Baader, Jörg Siekmann, and Wayne Snyder</span>
    <span class="title">6th International Workshop on Unification (Dagstuhl Seminar 9231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.42">10.4230/DagSemRep.42</a>
</li>
<li>
    <span class="authors">James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump</span>
    <span class="title">Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.43">10.4230/DagSemRep.43</a>
</li>
<li>
    <span class="authors">Robin Cohen, Bob Kass, Cécile Paris, and Wolfgang Wahlster</span>
    <span class="title">Third International Workshop on User Modellng (UM&#039;92) (Dagstuhl Seminar 9233)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.44">10.4230/DagSemRep.44</a>
</li>
<li>
    <span class="authors">Rüdiger Reischuk and Dietmar Uhlig</span>
    <span class="title">Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.45">10.4230/DagSemRep.45</a>
</li>
<li>
    <span class="authors">Thomas Lengauer, Dietmar Schomburg, and Michael S. Waterman</span>
    <span class="title">Molecular Bioinformatics (Dagstuhl Seminar 9237)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.46">10.4230/DagSemRep.46</a>
</li>
<li>
    <span class="authors">Victor R. Basili, H. Dieter Rombach, and Richard W. Selby</span>
    <span class="title">Experimental Software Engineering Issues (Dagstuhl Seminar 9238)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.47">10.4230/DagSemRep.47</a>
</li>
<li>
    <span class="authors">Yvonne Dittrich, Heiner Hastedt, and Peter Schefe</span>
    <span class="title">Informatik und Philosophie (Dagstuhl Seminar 9239)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.48">10.4230/DagSemRep.48</a>
</li>
<li>
    <span class="authors">Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke</span>
    <span class="title">Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.49">10.4230/DagSemRep.49</a>
</li>
<li>
    <span class="authors">Erich Novak, Steve Smale, and Joseph F. Traub</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.50">10.4230/DagSemRep.50</a>
</li>
<li>
    <span class="authors">José Encarnação and James Foley</span>
    <span class="title">Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.51">10.4230/DagSemRep.51</a>
</li>
<li>
    <span class="authors">Franz J. Rammig, Jorgen Staunstrup, and Gerhard Zimmermann</span>
    <span class="title">Self-Timed Design (Dagstuhl Seminar 9249)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.52">10.4230/DagSemRep.52</a>
</li>
<li>
    <span class="authors">Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider</span>
    <span class="title">Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.53">10.4230/DagSemRep.53</a>
</li>
<li>
    <span class="authors">André Arnold, Lutz Priese, and Roland Vollmer</span>
    <span class="title">Automata Theory: Distributed Models (Dagstuhl Seminar 9302)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.54">10.4230/DagSemRep.54</a>
</li>
<li>
    <span class="authors">Wojciech Cellary, Krishnamurthy Vidyasankar, and Gottfried Vossen</span>
    <span class="title">Versioning in Database Management Systems (Dagstuhl Seminar 9305)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.55">10.4230/DagSemRep.55</a>
</li>
<li>
    <span class="authors">Bernd Becker, Randal Bryant, and Christoph Meinel</span>
    <span class="title">Computer Aided Design and Test (Dagstuhl Seminar 9307)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.56">10.4230/DagSemRep.56</a>
</li>
<li>
    <span class="authors">Manfred Pinkal, Remko Scha, and Lenhart Schubert</span>
    <span class="title">Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.57">10.4230/DagSemRep.57</a>
</li>
<li>
    <span class="authors">Wolfgang Bibel, Koichi Furukawa, and Mark Stickel</span>
    <span class="title">Deduction (Dagstuhl Seminar 9310)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.58">10.4230/DagSemRep.58</a>
</li>
<li>
    <span class="authors">Helmut Alt, Bernard Chazelle, and Emo Welzl</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 9312)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.59">10.4230/DagSemRep.59</a>
</li>
<li>
    <span class="authors">Hans Kamp and James Pustejovsky</span>
    <span class="title">Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.60">10.4230/DagSemRep.60</a>
</li>
<li>
    <span class="authors">Wolfgang Strasser and Friedrich Wahl</span>
    <span class="title">Graphics &amp; Robotics (Dagstuhl Seminar 9316)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.61">10.4230/DagSemRep.61</a>
</li>
<li>
    <span class="authors">Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban</span>
    <span class="title">Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.62">10.4230/DagSemRep.62</a>
</li>
<li>
    <span class="authors">Ronald V. Book, Edwin Pednault, and Detlef Wotschke</span>
    <span class="title">Descriptional Complexity (Dagstuhl Seminar 9318)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.63">10.4230/DagSemRep.63</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing</span>
    <span class="title">Specification and Semantics (Dagstuhl Seminar 9321)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.64">10.4230/DagSemRep.64</a>
</li>
<li>
    <span class="authors">Manfred Droste and Yuri Gurevich</span>
    <span class="title">Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.65">10.4230/DagSemRep.65</a>
</li>
<li>
    <span class="authors">Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele</span>
    <span class="title">Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.66">10.4230/DagSemRep.66</a>
</li>
<li>
    <span class="authors">Gerald Farin, Hans Hagen, and Hartmut Noltemeier</span>
    <span class="title">Geometric Modelling (Dagstuhl Seminar 9326)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.67">10.4230/DagSemRep.67</a>
</li>
<li>
    <span class="authors">Philippe Flajolet, Rainer Kemp, and Helmut Prodinger</span>
    <span class="title">&quot;Average-Case&quot;-Analysis of Algorithms (Dagstuhl Seminar 9328)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.68">10.4230/DagSemRep.68</a>
</li>
<li>
    <span class="authors">John W. Gray, Andrew M. Pitts, and Kurt Sieber</span>
    <span class="title">Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.69">10.4230/DagSemRep.69</a>
</li>
<li>
    <span class="authors">Dov M. Gabbay and Hans Jürgen Ohlbach</span>
    <span class="title">Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.70">10.4230/DagSemRep.70</a>
</li>
<li>
    <span class="authors">André Danthine, Wofgang Effelsberg, and Otto Spaniol</span>
    <span class="title">Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.71">10.4230/DagSemRep.71</a>
</li>
<li>
    <span class="authors">Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 9337)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.72">10.4230/DagSemRep.72</a>
</li>
<li>
    <span class="authors">Victor Marek, Anil Nerode, and Peter H. Schmitt</span>
    <span class="title">Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.73">10.4230/DagSemRep.73</a>
</li>
<li>
    <span class="authors">Andrew M. Odlyzko, Claus P. Schnorr, and Adi Shamir</span>
    <span class="title">Cryptography (Dagstuhl Seminar 9339)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.74">10.4230/DagSemRep.74</a>
</li>
<li>
    <span class="authors">Jorge Angeles, Günter Hommer, and Peter Kovacs</span>
    <span class="title">Computational Kinematics (Dagstuhl Seminar 9341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.75">10.4230/DagSemRep.75</a>
</li>
<li>
    <span class="authors">Thomas Lengauer, Majid Sarrafzadeh, and Dorothea Wagner</span>
    <span class="title">Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.76">10.4230/DagSemRep.76</a>
</li>
<li>
    <span class="authors">Susanne Biundo and Richard Waldinger</span>
    <span class="title">Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.77">10.4230/DagSemRep.77</a>
</li>
<li>
    <span class="authors">Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel</span>
    <span class="title">Counting Issues: Theory and Application (Dagstuhl Seminar 9349)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.78">10.4230/DagSemRep.78</a>
</li>
<li>
    <span class="authors">Brigitte Endres-Niggermeyer, Jerry Hobbs, and Karen Sparck Jones</span>
    <span class="title">Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.79">10.4230/DagSemRep.79</a>
</li>
<li>
    <span class="authors">Chris Brink and Gunther Schmidt</span>
    <span class="title">Relational Methods in Computer Science (Dagstuhl Seminar 9403)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.80">10.4230/DagSemRep.80</a>
</li>
<li>
    <span class="authors">André Arnold, Helmut Seidl, and Bernhard Steffen</span>
    <span class="title">Algorithms in Automata Theory (Dagstuhl Seminar 9406)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.81">10.4230/DagSemRep.81</a>
</li>
<li>
    <span class="authors">Klaus Ambos-Spies, Steven Homer, and Uwe Schöning</span>
    <span class="title">Structure and Complexity (Dagstuhl Seminar 9407)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.82">10.4230/DagSemRep.82</a>
</li>
<li>
    <span class="authors">Hartmut Noltemeier, Thomas Ottmann, and Derick Wood</span>
    <span class="title">Data Structures (Dagstuhl Seminar 9409)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.83">10.4230/DagSemRep.83</a>
</li>
<li>
    <span class="authors">Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing</span>
    <span class="title">Logical Theory for Program Construction (Dagstuhl Seminar 9410)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.84">10.4230/DagSemRep.84</a>
</li>
<li>
    <span class="authors">Reinhard Klette, Walter G. Kropatsch, and Franc Solina</span>
    <span class="title">Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.85">10.4230/DagSemRep.85</a>
</li>
<li>
    <span class="authors">Alex Buchmann, Sharma Chakravarthy, and Klaus Dittrich</span>
    <span class="title">Active Databases (Dagstuhl Seminar 9412)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.86">10.4230/DagSemRep.86</a>
</li>
<li>
    <span class="authors">Fridhelm Meyer auf der Heide, Hans Jürgen Prömel, and Uli Upfal</span>
    <span class="title">Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.87">10.4230/DagSemRep.87</a>
</li>
<li>
    <span class="authors">Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps</span>
    <span class="title">Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.88">10.4230/DagSemRep.88</a>
</li>
<li>
    <span class="authors">Robert Giegerich and John Hughes</span>
    <span class="title">Functional Programming in the Real World (Dagstuhl Seminar 9420)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.89">10.4230/DagSemRep.89</a>
</li>
<li>
    <span class="authors">Hans Hagen, Heinrich Müller, and Gregory N. Nielson</span>
    <span class="title">Scientific Visualization (Dagstuhl Seminar 9421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.90">10.4230/DagSemRep.90</a>
</li>
<li>
    <span class="authors">Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, and Manfred Warmuth</span>
    <span class="title">Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.91">10.4230/DagSemRep.91</a>
</li>
<li>
    <span class="authors">José Encarnação, James Foley, and Ralf Guido Herrtwich</span>
    <span class="title">Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.92">10.4230/DagSemRep.92</a>
</li>
<li>
    <span class="authors">Wolfgang Hoeppner, Helmut Horacek, and Johanna Moore</span>
    <span class="title">Principles of Natural Language Generation (Dagstuhl Seminar 9430)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.93">10.4230/DagSemRep.93</a>
</li>
<li>
    <span class="authors">Alan Lesgold and Franz Schmalhofer</span>
    <span class="title">Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.94">10.4230/DagSemRep.94</a>
</li>
<li>
    <span class="authors">Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner</span>
    <span class="title">Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.95">10.4230/DagSemRep.95</a>
</li>
<li>
    <span class="authors">Kenneth Birman, Flaviu Cristian, Friedemann Mattern, and André Schiper</span>
    <span class="title">Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.96">10.4230/DagSemRep.96</a>
</li>
<li>
    <span class="authors">Reinhard Keil-Slawik, Ina Wagner, and Liam Bannon</span>
    <span class="title">Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.97">10.4230/DagSemRep.97</a>
</li>
<li>
    <span class="authors">Manfred Broy and Leslie Lamport</span>
    <span class="title">Specification Problem (Dagstuhl Seminar 9439)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.98">10.4230/DagSemRep.98</a>
</li>
<li>
    <span class="authors">Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe</span>
    <span class="title">System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.99">10.4230/DagSemRep.99</a>
</li>
<li>
    <span class="authors">Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst Günther Zimmer</span>
    <span class="title">Algorithms and Number Theory (Dagstuhl Seminar 9441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.100">10.4230/DagSemRep.100</a>
</li>
<li>
    <span class="authors">Stefan Heinrich, Joseph F. Traub, and Henryk Wozniakowski</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.101">10.4230/DagSemRep.101</a>
</li>
<li>
    <span class="authors">Horst Bunke, Takeo Kanade, and Hartmut Noltemeier</span>
    <span class="title">Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.102">10.4230/DagSemRep.102</a>
</li>
<li>
    <span class="authors">Wolfgang Maass, Christoph von der Malsburg, Eduardo Sontag, and Ingo Wegener</span>
    <span class="title">Neural Computing (Dagstuhl Seminar 9445)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.103">10.4230/DagSemRep.103</a>
</li>
<li>
    <span class="authors">Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli</span>
    <span class="title">Synchronous Languages (Dagstuhl Seminar 9448)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.104">10.4230/DagSemRep.104</a>
</li>
<li>
    <span class="authors">Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel</span>
    <span class="title">Computer Aided Design and Test (Dagstuhl Seminar 9507)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.105">10.4230/DagSemRep.105</a>
</li>
<li>
    <span class="authors">David Garlan, Walter Tichy, and Frances Paulisch</span>
    <span class="title">Software Architectures (Dagstuhl Seminar 9508)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.106">10.4230/DagSemRep.106</a>
</li>
<li>
    <span class="authors">William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer</span>
    <span class="title">High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.107">10.4230/DagSemRep.107</a>
</li>
<li>
    <span class="authors">Jozef Gruska, Hiroshi Umeo, and Roland Vollmar</span>
    <span class="title">Cellular Automata (Dagstuhl Seminar 9510)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.108">10.4230/DagSemRep.108</a>
</li>
<li>
    <span class="authors">Helmut Alt, Bernard Chazelle, and Raimund Seidel</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 9511)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.109">10.4230/DagSemRep.109</a>
</li>
<li>
    <span class="authors">Wolfgang Bibel, Koichi Furukawa, and Mark Stickel</span>
    <span class="title">Deduction (Dagstuhl Seminar 9512)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.110">10.4230/DagSemRep.110</a>
</li>
<li>
    <span class="authors">Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek</span>
    <span class="title">Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.111">10.4230/DagSemRep.111</a>
</li>
<li>
    <span class="authors">Jim Doran, G. Nigel Gilbert, Ulrich Mueller, and Klaus G. Troitzsch</span>
    <span class="title">Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.112">10.4230/DagSemRep.112</a>
</li>
<li>
    <span class="authors">Rudi Studer and Mark A. Musen</span>
    <span class="title">Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.113">10.4230/DagSemRep.113</a>
</li>
<li>
    <span class="authors">Jacek Blazewicz and Klaus Ecker</span>
    <span class="title">Scheduling in Computer &amp; Manufacturing Systems (Dagstuhl Seminar 9520)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.114">10.4230/DagSemRep.114</a>
</li>
<li>
    <span class="authors">Heniz Bilner, Gianfranco Ciardo, Christoph Lindemann, and Kishor S. Trivedi</span>
    <span class="title">Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.115">10.4230/DagSemRep.115</a>
</li>
<li>
    <span class="authors">Martin Aigner, Joel Spencer, and Eberhard Triesch</span>
    <span class="title">Computing with Faulty Inputs (Dagstuhl Seminar 9522)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.116">10.4230/DagSemRep.116</a>
</li>
<li>
    <span class="authors">Jean-Raymond Abrial, Egon Börger, and Hans Langmaack</span>
    <span class="title">Methods for Semantics and Specification (Dagstuhl Seminar 9523)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.117">10.4230/DagSemRep.117</a>
</li>
<li>
    <span class="authors">Wolfgang Effelsberg, Domenico Ferrari, Otto Spaniol, and André Danthine</span>
    <span class="title">Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.118">10.4230/DagSemRep.118</a>
</li>
<li>
    <span class="authors">Philippe Flajolet, Rainer Kemp, Helmut Prodinger, and Robert Sedgewick</span>
    <span class="title">`Average-Case&#039;-Analysis of Algorithms (Dagstuhl Seminar 9527)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.119">10.4230/DagSemRep.119</a>
</li>
<li>
    <span class="authors">Dan Gusfield, Thomas Lengauer, and Chris Sander</span>
    <span class="title">Molecular Bioinformatics (Dagstuhl Seminar 9528)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.120">10.4230/DagSemRep.120</a>
</li>
<li>
    <span class="authors">Jan Chomicki, Gunter Saake, and Christina Sernadas</span>
    <span class="title">Role of Logics in Information Systems (Dagstuhl Seminar 9529)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.121">10.4230/DagSemRep.121</a>
</li>
<li>
    <span class="authors">Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther</span>
    <span class="title">Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.122">10.4230/DagSemRep.122</a>
</li>
<li>
    <span class="authors">Patrick Cousot, Rhadia Cousot, and Alan Mycroft</span>
    <span class="title">Abstract Interpretation (Dagstuhl Seminar 9535)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.123">10.4230/DagSemRep.123</a>
</li>
<li>
    <span class="authors">Pere Brunet, Dieter Roller, and Jarek Rossignac</span>
    <span class="title">CAD Tools for Products (Dagstuhl Seminar 9536)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.124">10.4230/DagSemRep.124</a>
</li>
<li>
    <span class="authors">Cynthia Dwork, Ernst W. Mayr, and Friedhelm Meyer auf der Heide</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 9537)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.125">10.4230/DagSemRep.125</a>
</li>
<li>
    <span class="authors">Chris Hankin and Hanne Riis Nielson</span>
    <span class="title">New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.126">10.4230/DagSemRep.126</a>
</li>
<li>
    <span class="authors">Ulrich Herzog, Guy Latouche, Phuoc Tran-Gia, and Vaydanat Ramaswami</span>
    <span class="title">Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.127">10.4230/DagSemRep.127</a>
</li>
<li>
    <span class="authors">Greg R. Carmichael, Granino A. Korn, and Achim Sydow</span>
    <span class="title">Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.128">10.4230/DagSemRep.128</a>
</li>
<li>
    <span class="authors">Julio Collado-Vides, Ralf Hofestädt, Markus Löffler, and Michael Mavrovouniotis</span>
    <span class="title">Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.130">10.4230/DagSemRep.130</a>
</li>
<li>
    <span class="authors">Felipe Cucker, Thomas Lickteig, and Michael Shub</span>
    <span class="title">Real Computation and Complexity (Dagstuhl Seminar 9545)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.131">10.4230/DagSemRep.131</a>
</li>
<li>
    <span class="authors">Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss</span>
    <span class="title">Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.132">10.4230/DagSemRep.132</a>
</li>
<li>
    <span class="authors">Johannes Buchmann, Rüdiger Loos, and Roman Mäder</span>
    <span class="title">Computeralgebra - Software (Dagstuhl Seminar 9606)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.133">10.4230/DagSemRep.133</a>
</li>
<li>
    <span class="authors">Olivier Danvy, Robert Glück, and Peter Thiemann</span>
    <span class="title">Partial Evaluation (Dagstuhl Seminar 9607)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.134">10.4230/DagSemRep.134</a>
</li>
<li>
    <span class="authors">Peter B. Andersen, Mihai Nadin, and Frieder Nake</span>
    <span class="title">Informatics and Semiotics (Dagstuhl Seminar 9608)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.135">10.4230/DagSemRep.135</a>
</li>
<li>
    <span class="authors">Stefan Näher, Hartmut Noltemeier, and Ian Munro</span>
    <span class="title">Data Structures (Dagstuhl Seminar 9609)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.136">10.4230/DagSemRep.136</a>
</li>
<li>
    <span class="authors">Anthony J. Bonner, Andreas Heuer, and Letizia Tanca</span>
    <span class="title">New Trends in Database Languages (Dagstuhl Seminar 9610)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.137">10.4230/DagSemRep.137</a>
</li>
<li>
    <span class="authors">Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, and H. Raymond Strong</span>
    <span class="title">Time Services (Dagstuhl Seminar 9611)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.138">10.4230/DagSemRep.138</a>
</li>
<li>
    <span class="authors">Ruzena Bajcsy, Reinhard Klette, Walter G. Kropatsch, and Franc Solina</span>
    <span class="title">Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.139">10.4230/DagSemRep.139</a>
</li>
<li>
    <span class="authors">Volker Claus, Jörn Hopf, and Hans-Paul Schwefel</span>
    <span class="title">Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.140">10.4230/DagSemRep.140</a>
</li>
<li>
    <span class="authors">Umeshwar Dayal, Alfons Kemper, Guido Moerkotte, and Gerhard Weikum</span>
    <span class="title">Performance Enhancement in Object Bases (Dagstuhl Seminar 9614)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.141">10.4230/DagSemRep.141</a>
</li>
<li>
    <span class="authors">Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima</span>
    <span class="title">Loop Parallelization (Dagstuhl Seminar 9616)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.142">10.4230/DagSemRep.142</a>
</li>
<li>
    <span class="authors">Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele</span>
    <span class="title">Design Automation for Embedded Systems (Dagstuhl Seminar 9617)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.143">10.4230/DagSemRep.143</a>
</li>
<li>
    <span class="authors">Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel</span>
    <span class="title">Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.144">10.4230/DagSemRep.144</a>
</li>
<li>
    <span class="authors">Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner</span>
    <span class="title">Graph Algorithms and Applications (Dagstuhl Seminar 9620)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.145">10.4230/DagSemRep.145</a>
</li>
<li>
    <span class="authors">Michael Hanus, John W. Lloyd, and Juan José Moreno Navarro</span>
    <span class="title">Integration of Functional and Logic Languages (Dagstuhl Seminar 9621)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.146">10.4230/DagSemRep.146</a>
</li>
<li>
    <span class="authors">Hanspeter Bieri, Guido Brunnett, Tony DeRose, and Gerald Farin</span>
    <span class="title">Geometric Modelling (Dagstuhl Seminar 9622)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.147">10.4230/DagSemRep.147</a>
</li>
<li>
    <span class="authors">Patrick M. Hanrahan, Heinrich Müller, and Claude Puech</span>
    <span class="title">Rendering (Dagstuhl Seminar 9624)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.148">10.4230/DagSemRep.148</a>
</li>
<li>
    <span class="authors">Amos Fiat and Gerhard Woeginger</span>
    <span class="title">On-line Algorithms (Dagstuhl Seminar 9626)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.149">10.4230/DagSemRep.149</a>
</li>
<li>
    <span class="authors">Jürgen Dix, Don Loveland, Jack Minker, and David Warren</span>
    <span class="title">Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.150">10.4230/DagSemRep.150</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing</span>
    <span class="title">Specification and Semantics (Dagstuhl Seminar 9628)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.151">10.4230/DagSemRep.151</a>
</li>
<li>
    <span class="authors">Frank Leymann, Hans-Jörg Schek, and Gottfried Vossen</span>
    <span class="title">Transactional Workflows (Dagstuhl Seminar 9629)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.152">10.4230/DagSemRep.152</a>
</li>
<li>
    <span class="authors">Andreas Brennecke and Reinhard Keil-Slawik</span>
    <span class="title">The History of Software Engineering (Dagstuhl Seminar 9635)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.153">10.4230/DagSemRep.153</a>
</li>
<li>
    <span class="authors">Horst Bunke, Robert C. Bolles, and Hartmut Noltemeier</span>
    <span class="title">Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.154">10.4230/DagSemRep.154</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider</span>
    <span class="title">Graph Transformations in Computer Science (Dagstuhl Seminar 9637)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.155">10.4230/DagSemRep.155</a>
</li>
<li>
    <span class="authors">Rocco De Nicola, Ursula Goltz, and Frits Vaandrager</span>
    <span class="title">Expressiveness in Concurrency (Dagstuhl Seminar 9638)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.156">10.4230/DagSemRep.156</a>
</li>
<li>
    <span class="authors">Hendrik Decker, Jorge Bocca, Michael Kifer, and Andrei Voronkov</span>
    <span class="title">Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.157">10.4230/DagSemRep.157</a>
</li>
<li>
    <span class="authors">Eric Allender, Uwe Schöning, and Klaus W. Wagner</span>
    <span class="title">Structure and Complexity (Dagstuhl Seminar 9640)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.158">10.4230/DagSemRep.158</a>
</li>
<li>
    <span class="authors">Erich Nowak, Joseph F. Traub, and Grzegorz W. Wasilkowski</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.159">10.4230/DagSemRep.159</a>
</li>
<li>
    <span class="authors">Christopher Gold, Jack Snoeyink, and Frank Wagner</span>
    <span class="title">Computational Cartography (Dagstuhl Seminar 9645)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.160">10.4230/DagSemRep.160</a>
</li>
<li>
    <span class="authors">Jim Hendler and Jana Koehler</span>
    <span class="title">Control of Search in AI Planning (Dagstuhl Seminar 9647)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.161">10.4230/DagSemRep.161</a>
</li>
<li>
    <span class="authors">Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann</span>
    <span class="title">Synchronous Languages (Dagstuhl Seminar 9650)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.162">10.4230/DagSemRep.162</a>
</li>
<li>
    <span class="authors">Thomas G. Dietterich, Wolfgang Maass, Hans Ulrich Simon, and Robert S. Sutton</span>
    <span class="title">Theory and Practice of Machine Learning (Dagstuhl Seminar 9702)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.163">10.4230/DagSemRep.163</a>
</li>
<li>
    <span class="authors">Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolla, and Philip Wadler</span>
    <span class="title">High-Level Concurrent Languages (Dagstuhl Seminar 97041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.164">10.4230/DagSemRep.164</a>
</li>
<li>
    <span class="authors">Peter Grtizmann and Maurice Nivat</span>
    <span class="title">Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.165">10.4230/DagSemRep.165</a>
</li>
<li>
    <span class="authors">Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel</span>
    <span class="title">Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.166">10.4230/DagSemRep.166</a>
</li>
<li>
    <span class="authors">Nils Dahlbäck, Norbert Reithinger, and Marilyn Walker</span>
    <span class="title">Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.167">10.4230/DagSemRep.167</a>
</li>
<li>
    <span class="authors">Rolf Klein, Raimund Seidel, and Seth Teller</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 9707)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.168">10.4230/DagSemRep.168</a>
</li>
<li>
    <span class="authors">Murray Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn</span>
    <span class="title">Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.169">10.4230/DagSemRep.169</a>
</li>
<li>
    <span class="authors">Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel</span>
    <span class="title">Deduction (Dagstuhl Seminar 9709)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.170">10.4230/DagSemRep.170</a>
</li>
<li>
    <span class="authors">Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing</span>
    <span class="title">Logic for System Engineering (Dagstuhl Seminar 9710)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.171">10.4230/DagSemRep.171</a>
</li>
<li>
    <span class="authors">David Mix Barrington, Noam Nisan, Rüdiger Reischuk, and Ingo Wegener</span>
    <span class="title">Complexity of Boolean Functions (Dagstuhl Seminar 9711)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.172">10.4230/DagSemRep.172</a>
</li>
<li>
    <span class="authors">Naser S. Barghouti, Klaus Dittrich, David Maier, and Wilhelm Schäfer</span>
    <span class="title">Software Engineering and Database Technology (Dagstuhl Seminar 9712)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.173">10.4230/DagSemRep.173</a>
</li>
<li>
    <span class="authors">Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker</span>
    <span class="title">Object-Oriented Software Development (Dagstuhl Seminar 9715)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.174">10.4230/DagSemRep.174</a>
</li>
<li>
    <span class="authors">Norbert Fuhr, Alan F. Smeaton, and Keith van Rijsbergen</span>
    <span class="title">Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.175">10.4230/DagSemRep.175</a>
</li>
<li>
    <span class="authors">Ker-I Ko, Anil Nerode, and Klaus Weihrauch</span>
    <span class="title">Computability and Complexity in Analysis (Dagstuhl Seminar 9717)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.176">10.4230/DagSemRep.176</a>
</li>
<li>
    <span class="authors">G. Nigel Gilbert, Ulrich Mueller, Klaus G. Troitzsch, and Ramzi Suleiman</span>
    <span class="title">Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.177">10.4230/DagSemRep.177</a>
</li>
<li>
    <span class="authors">Egon Börger, Paul Joannou, and Dave Parnas</span>
    <span class="title">Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.178">10.4230/DagSemRep.178</a>
</li>
<li>
    <span class="authors">Eberhard Becker, Wolfram Decker, David Eisenbud, Hendrik W. Lenstra, and Barry Trager</span>
    <span class="title">Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.179">10.4230/DagSemRep.179</a>
</li>
<li>
    <span class="authors">Jacek Blazewicz, Klaus H. Ecker, Wieslaw Kubiak, and Denis Trystram</span>
    <span class="title">Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.180">10.4230/DagSemRep.180</a>
</li>
<li>
    <span class="authors">Hans Hagen, Gregory Nielson, and Frits Post</span>
    <span class="title">Scientific Visualization (Dagstuhl Seminar 9724)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.181">10.4230/DagSemRep.181</a>
</li>
<li>
    <span class="authors">André Danthine, Wolfgang Effelsberg, Domenico Ferrari, and Otto Spaniol</span>
    <span class="title">High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.182">10.4230/DagSemRep.182</a>
</li>
<li>
    <span class="authors">Opher Etzion, Sushil Jajodia, and Suryanarayana Sripada</span>
    <span class="title">Temporal Databases (Dagstuhl Seminar 9726)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.183">10.4230/DagSemRep.183</a>
</li>
<li>
    <span class="authors">Nicolas Georganas, Thomas C. Little, Kurt Rothermel, and Ralf Steinmetz</span>
    <span class="title">Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.184">10.4230/DagSemRep.184</a>
</li>
<li>
    <span class="authors">Philippe Flajolet, Rainer Kemp, Hosam M. Mahmoud, and Helmut Prodinger</span>
    <span class="title">`Average-Case&#039;-Analysis of Algorithms (Dagstuhl Seminar 9728)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.185">10.4230/DagSemRep.185</a>
</li>
<li>
    <span class="authors">Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn</span>
    <span class="title">Parallel Scheduling (Dagstuhl Seminar 9729)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.186">10.4230/DagSemRep.186</a>
</li>
<li>
    <span class="authors">Yuval Rabani, David Shmoys, and Gerhard Woeginger</span>
    <span class="title">Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.187">10.4230/DagSemRep.187</a>
</li>
<li>
    <span class="authors">Ernst W. Mayr, Friedhelm Meyer auf der Heide, and Larry Rudolph</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 9737)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.188">10.4230/DagSemRep.188</a>
</li>
<li>
    <span class="authors">Günter Haring, Christoph Lindemann, and Martin Reiser</span>
    <span class="title">Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.189">10.4230/DagSemRep.189</a>
</li>
<li>
    <span class="authors">Andrew Odlyzko, Claus Peter Schnorr, Adi Shamir, and Jacques Stern</span>
    <span class="title">Cryptography (Dagstuhl Seminar 9739)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.190">10.4230/DagSemRep.190</a>
</li>
<li>
    <span class="authors">Friedemann Mattern, Kurt Rothermel, Fred B. Schneider, and Brent Welch</span>
    <span class="title">Mobile Software-Agents (Dagstuhl Seminar 9742)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.192">10.4230/DagSemRep.192</a>
</li>
<li>
    <span class="authors">Hubert Comon, Dexter Kozen, Helmut Seidl, and Mosche Y. Vardi</span>
    <span class="title">Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.193">10.4230/DagSemRep.193</a>
</li>
<li>
    <span class="authors">Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh</span>
    <span class="title">Multiple Valued Logic (Dagstuhl Seminar 9744)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.194">10.4230/DagSemRep.194</a>
</li>
<li>
    <span class="authors">Götz Alefeld, O. Mahrenholtz, and Roland Vollmar</span>
    <span class="title">Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.195">10.4230/DagSemRep.195</a>
</li>
<li>
    <span class="authors">Henrik I. Christensen, David Hogg, and Bernd Neumann</span>
    <span class="title">Knowledge-Based Computer Vision (Dagstuhl Seminar 9750)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.196">10.4230/DagSemRep.196</a>
</li>
<li>
    <span class="authors">Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi</span>
    <span class="title">Algorithmic Techniques in Physics (Dagstuhl Seminar 9751)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.197">10.4230/DagSemRep.197</a>
</li>
<li>
    <span class="authors">Peter A. Gloor, Robert D. Harding, and Thomas Ottmann</span>
    <span class="title">New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.198">10.4230/DagSemRep.198</a>
</li>
<li>
    <span class="authors">Matthias Jarke, X. Tung Bui, and John M. Carroll</span>
    <span class="title">Scenario-Management (Dagstuhl Seminar 98061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.199">10.4230/DagSemRep.199</a>
</li>
<li>
    <span class="authors">Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer</span>
    <span class="title">Information Systems as Reactive Systems (Dagstuhl Seminar 98071)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.200">10.4230/DagSemRep.200</a>
</li>
<li>
    <span class="authors">Karl-Heinz Brenner, Hossam ElGindy, Hartmut Schmeck, and Heiko Schröder</span>
    <span class="title">Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.201">10.4230/DagSemRep.201</a>
</li>
<li>
    <span class="authors">Ian Munro, Stefan Näher, and Peter Widmayer</span>
    <span class="title">Data Structures (Dagstuhl Seminar 98091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.202">10.4230/DagSemRep.202</a>
</li>
<li>
    <span class="authors">Hausi Müller and Herbert Weber</span>
    <span class="title">Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.203">10.4230/DagSemRep.203</a>
</li>
<li>
    <span class="authors">Hausi Müller, Thomas Reps, and Gergor Snelting</span>
    <span class="title">Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.204">10.4230/DagSemRep.204</a>
</li>
<li>
    <span class="authors">Robert M. Haralick, Reinhard Klette, M. Siegfried Stiehl, and Max A. Viergever</span>
    <span class="title">Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.205">10.4230/DagSemRep.205</a>
</li>
<li>
    <span class="authors">Ulrich Herzog, Guy Latouche, Vaidyanat Ramaswami, and Phuoc Tran-Gia</span>
    <span class="title">Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.206">10.4230/DagSemRep.206</a>
</li>
<li>
    <span class="authors">Michael I. Schwartzbach, Mooly Sagiv, Karsten Weihe, and Kurt Mehlhorn</span>
    <span class="title">Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.207">10.4230/DagSemRep.207</a>
</li>
<li>
    <span class="authors">Mehdi Jazayeri, Rüdiger Loos, David Musser, and Alex Stepanov</span>
    <span class="title">Generic Programming (Dagstuhl Seminar 98171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.208">10.4230/DagSemRep.208</a>
</li>
<li>
    <span class="authors">Stephen Brookes, Manfred Droste, and Michael Mislove</span>
    <span class="title">Domain Theory and Its Applications (Dagstuhl Seminar 98181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.209">10.4230/DagSemRep.209</a>
</li>
<li>
    <span class="authors">Thomas Beth and Gilles Brassard</span>
    <span class="title">Quantum Algorithms (Dagstuhl Seminar 98191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.210">10.4230/DagSemRep.210</a>
</li>
<li>
    <span class="authors">Peter Mathé, Klaus Ritter, and Joseph F. Traub</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 98201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.211">10.4230/DagSemRep.211</a>
</li>
<li>
    <span class="authors">Markus Gross, Heinrich Müller, Peter Schröder, and Hans-Peter Seidel</span>
    <span class="title">Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 98211)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.212">10.4230/DagSemRep.212</a>
</li>
<li>
    <span class="authors">Neil D. Jones, Oege de Moor, and James S. Royer</span>
    <span class="title">Programs: Improvements, Complexity, and Meanings (Dagstuhl Seminar 98231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.213">10.4230/DagSemRep.213</a>
</li>
<li>
    <span class="authors">Felipe Cucker, Thomas Lickteig, Marie-Francoise Roy, and Michael Shub</span>
    <span class="title">Real Computation and Complexity (Dagstuhl Seminar 98241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.214">10.4230/DagSemRep.214</a>
</li>
<li>
    <span class="authors">Julio Collado-Vides, Ralf Hofestädt, Michael Mavrovouniotis, and Gerhard Michal</span>
    <span class="title">Modelling and Simulation of Gene and Cell Regulation and Metabolic Pathways (Dagstuhl Seminar 98251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.215">10.4230/DagSemRep.215</a>
</li>
<li>
    <span class="authors">Luca Cardelli, Achim Jung, Peter O&#039;Hearn, and Jens Palsberg</span>
    <span class="title">The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.216">10.4230/DagSemRep.216</a>
</li>
<li>
    <span class="authors">Jörg Desel, Andreas Oberweis, Wolfgang Reisig, and Grzegorz Rosenberg</span>
    <span class="title">Petri Nets and Business Process Management (Dagstuhl Seminar 98271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.217">10.4230/DagSemRep.217</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Gergor Engels, Fernando Orejas, and Martin Wirsing</span>
    <span class="title">Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.218">10.4230/DagSemRep.218</a>
</li>
<li>
    <span class="authors">Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner</span>
    <span class="title">Graph Algorithms and Applications (Dagstuhl Seminar 98301)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.219">10.4230/DagSemRep.219</a>
</li>
<li>
    <span class="authors">Anish Arora, Shlomi Dolev, and Willem-Paul de Roever</span>
    <span class="title">Self-Stabilization (Dagstuhl Seminar 98331)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.220">10.4230/DagSemRep.220</a>
</li>
<li>
    <span class="authors">Jeanne Ferrante, Wolfgang K. Giloi, Sanjay Rajopadhye, and Lothar Thiele</span>
    <span class="title">Tiling for Optimal Resource Utilization (Dagstuhl Seminar 98341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.221">10.4230/DagSemRep.221</a>
</li>
<li>
    <span class="authors">Guy Even, Peter Kornerup, and Wolfgang Paul</span>
    <span class="title">Architectural and Arithmetic Support for Multimedia (Dagstuhl Seminar 98351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.222">10.4230/DagSemRep.222</a>
</li>
<li>
    <span class="authors">Ed Brinksma, Jan Peleska, and Michael Siegel</span>
    <span class="title">Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.223">10.4230/DagSemRep.223</a>
</li>
<li>
    <span class="authors">Robert C. Bolles, Horst Bunke, Henrik I. Christensen, and Hartmut Noltemeier</span>
    <span class="title">Modelling and Planning for Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 98391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.224">10.4230/DagSemRep.224</a>
</li>
<li>
    <span class="authors">Harald Niederreiter, Andrew Odlyzko, and Michael E. Pohst</span>
    <span class="title">Algorithms and Number Theory (Dagstuhl Seminar 98431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.225">10.4230/DagSemRep.225</a>
</li>
<li>
    <span class="authors">Hubertus Franke, Bernd Kleinjohann, and János Sztipanovits</span>
    <span class="title">Adaptation and Evolution in Embedded Information Systems (Dagstuhl Seminar 98441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.226">10.4230/DagSemRep.226</a>
</li>
<li>
    <span class="authors">Pere Brunet, Chris Hoffmann, and Dieter Roller</span>
    <span class="title">CAD-Tools and Methods for Systems Development (Dagstuhl Seminar 98461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.227">10.4230/DagSemRep.227</a>
</li>
<li>
    <span class="authors">Oliver Günther, Timos Sellis, and Babis Theodoulidis</span>
    <span class="title">Integrating Spatial and Temporal Databases (Dagstuhl Seminar 98471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.228">10.4230/DagSemRep.228</a>
</li>
<li>
    <span class="authors">Bernd Becker, Christoph Meinel, Shin-Ichi Minato, and Fabio Somenzi</span>
    <span class="title">Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.229">10.4230/DagSemRep.229</a>
</li>
<li>
    <span class="authors">Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David L. Parnas</span>
    <span class="title">Software Engineering Research and Education: Seeking a new Agenda (Dagstuhl Seminar 99071)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.230">10.4230/DagSemRep.230</a>
</li>
<li>
    <span class="authors">Philip Wadler and Karsten Weihe</span>
    <span class="title">Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.231">10.4230/DagSemRep.231</a>
</li>
<li>
    <span class="authors">Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur</span>
    <span class="title">Deduction (Dagstuhl Seminar 99091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.232">10.4230/DagSemRep.232</a>
</li>
<li>
    <span class="authors">Michael Goodrich, Rolf Klein, and Raimund Seidel</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 99102)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.233">10.4230/DagSemRep.233</a>
</li>
<li>
    <span class="authors">Paolo Ciancarini, Stefan Conrad, and Wilhelm Hasselbrin</span>
    <span class="title">Systems Integration (Dagstuhl Seminar 99111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.234">10.4230/DagSemRep.234</a>
</li>
<li>
    <span class="authors">Joachim M. Buhmann, Wolfgang Maass, Helge Ritter, and Naftali Tishby</span>
    <span class="title">Unsupervised Learning (Dagstuhl Seminar 99121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.235">10.4230/DagSemRep.235</a>
</li>
<li>
    <span class="authors">Riis Nielson Hanne and Mooly Sagiv</span>
    <span class="title">Program Analysis (Dagstuhl Seminar 99151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.236">10.4230/DagSemRep.236</a>
</li>
<li>
    <span class="authors">D. K. Arvind, Kemal Ebcioglu, Christian Lengauer, Keshav Pingali, and Robert S. Schreiber</span>
    <span class="title">Instruction-Level Parallelism and Parallelizing Compilation (Dagstuhl Seminar 99161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.237">10.4230/DagSemRep.237</a>
</li>
<li>
    <span class="authors">Murray Cole, Sergei Gorlatch, Jan Prins, and David Skillcorn</span>
    <span class="title">High Level Parallel Programming: Applicability, Analysis and Performance (Dagstuhl Seminar 99171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.238">10.4230/DagSemRep.238</a>
</li>
<li>
    <span class="authors">Andrew Campbell, Ernst Rolf, Stephen Pink, and Martina Zitterbart</span>
    <span class="title">Mobile Multimedia Communication - Systems and Networks (Dagstuhl Seminar 99061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.239">10.4230/DagSemRep.239</a>
</li>
<li>
    <span class="authors">Hanspeter Bieri, Guido Brunnet, and Gerald Farin</span>
    <span class="title">Geometric Modelling (Dagstuhl Seminar 99201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.240">10.4230/DagSemRep.240</a>
</li>
<li>
    <span class="authors">Andreas Brandstädt, Stephan Olariu, and Jeremy P. Spinrad</span>
    <span class="title">Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 99231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.241">10.4230/DagSemRep.241</a>
</li>
<li>
    <span class="authors">Egon Börger, Bärbeö Hörger, David Parnas, and Dieter Rombach</span>
    <span class="title">Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.242">10.4230/DagSemRep.242</a>
</li>
<li>
    <span class="authors">Amos Fiat, Anna Karlin, and Gerhard Woeginger</span>
    <span class="title">Competitive Algorithms (Dagstuhl Seminar 99251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.243">10.4230/DagSemRep.243</a>
</li>
<li>
    <span class="authors">Serge Abiteboul, Dana Florescu, Alon Levy, and Guido Moerkotte</span>
    <span class="title">Foundations for Information Integration (Dagstuhl Seminar 99261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.244">10.4230/DagSemRep.244</a>
</li>
<li>
    <span class="authors">Paul Fishwick, Adelinde Uhrmacher, and Bernard GF. Zeigler</span>
    <span class="title">Agent Oriented Approaches in Distributed Modeling and Simulation: Challenges and Methodologies (Dagstuhl Seminar 99271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.245">10.4230/DagSemRep.245</a>
</li>
<li>
    <span class="authors">Bruce Maggs, Friedhelm Meyer auf der Heide, and Ernst W. Mayr</span>
    <span class="title">Parallel and Distributed Algorithms (Dagstuhl Seminar 99291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.246">10.4230/DagSemRep.246</a>
</li>
<li>
    <span class="authors">Walter Oberschelp, Wilhelm Seggewiss, and Reinhard Wilhelm</span>
    <span class="title">Astromomie und Informatik (Dagstuhl Seminar 99321)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.247">10.4230/DagSemRep.247</a>
</li>
<li>
    <span class="authors">Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch</span>
    <span class="title">Linear Logic and Applications (Dagstuhl Seminar 99341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.248">10.4230/DagSemRep.248</a>
</li>
<li>
    <span class="authors">Elisa Bertino, Andreas Heuer, M. Tamer Özsu, and Gunter Saake</span>
    <span class="title">Multimedia Database Support for Digital Libraries (Dagstuhl Seminar 99351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.249">10.4230/DagSemRep.249</a>
</li>
<li>
    <span class="authors">Christiane Floyd, Yvonne Dittrich, and Ralf Klischewski</span>
    <span class="title">Social Thinking - Software Practice. Approaches Relating Software Development, Work, and Organisational Change (Dagstuhl Seminar 99361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.250">10.4230/DagSemRep.250</a>
</li>
<li>
    <span class="authors">Nicolas Spyratos, Krishnamurthy Vidyasankar, and Gottfried Vossen</span>
    <span class="title">Declarative Data Access on the Web (Dagstuhl Seminar 99371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.251">10.4230/DagSemRep.251</a>
</li>
<li>
    <span class="authors">Martien Molenaar, Marc van Kreveld, Frank Wagner, and Rob Weibel</span>
    <span class="title">Computational Cartography (Dagstuhl Seminar 99381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.252">10.4230/DagSemRep.252</a>
</li>
<li>
    <span class="authors">Georg Gottlob, Erich Grädel, Moshe Vardi, and Victor Vianu</span>
    <span class="title">Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.253">10.4230/DagSemRep.253</a>
</li>
<li>
    <span class="authors">Edmund M. Clarke, Ursula Goltz, Peter Niebert, and Wojciech Penczek</span>
    <span class="title">Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.254">10.4230/DagSemRep.254</a>
</li>
<li>
    <span class="authors">Jacek Blazewicz, Klaus H. Ecker, Ed G. Coffman Jr., and Gerd Finke</span>
    <span class="title">Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 99431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.256">10.4230/DagSemRep.256</a>
</li>
<li>
    <span class="authors">D. M. Barrington, Rüdiger Reischuk, and Ingo Wegener</span>
    <span class="title">Complexity of Boolean Functions (Dagstuhl Seminar 99441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.257">10.4230/DagSemRep.257</a>
</li>
<li>
    <span class="authors">Stephan Jähnichen, Michel Lemoine, Tom Maibaum, and Martin Wirsing</span>
    <span class="title">Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.258">10.4230/DagSemRep.258</a>
</li>
<li>
    <span class="authors">Ker-I Ko, Anil Nerode, and Klaus Weihrauch</span>
    <span class="title">Computability and Complexity in Analysis (Dagstuhl Seminar 99461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.259">10.4230/DagSemRep.259</a>
</li>
<li>
    <span class="authors">Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto</span>
    <span class="title">Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.260">10.4230/DagSemRep.260</a>
</li>
<li>
    <span class="authors">Hans Burkhardt, Hans-Peter Kriegel, and Remco Veltkamp</span>
    <span class="title">Content-Based Image and Video Retrieval (Dagstuhl Seminar 99491)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.261">10.4230/DagSemRep.261</a>
</li>
<li>
    <span class="authors">Krysztof Apt, Michael Jünger, Pascal van Hentenryck, and Laurence A. Wolsey</span>
    <span class="title">Constraint Programming and Integer Programming (Dagstuhl Seminar 00031)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.262">10.4230/DagSemRep.262</a>
</li>
<li>
    <span class="authors">Klaus Jansen, Jose Rolim, and Madhu Sudan</span>
    <span class="title">Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems (Dagstuhl Seminar 00041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.263">10.4230/DagSemRep.263</a>
</li>
<li>
    <span class="authors">Reinhard Wilhelm</span>
    <span class="title">Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.264">10.4230/DagSemRep.264</a>
</li>
<li>
    <span class="authors">Hans-Georg Beyer, Kenneth De Jong, David B. Fogel, and Ingo Wegener</span>
    <span class="title">Theory of Evolutionary Algorithms (Dagstuhl Seminar 00071)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.265">10.4230/DagSemRep.265</a>
</li>
<li>
    <span class="authors">Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli</span>
    <span class="title">Specification of Distributed Information Systems (Dagstuhl Seminar 00081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.266">10.4230/DagSemRep.266</a>
</li>
<li>
    <span class="authors">Susanne Albers, Ian Munro, and Peter Widmayer</span>
    <span class="title">Data Structures (Dagstuhl Seminar 00091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.267">10.4230/DagSemRep.267</a>
</li>
<li>
    <span class="authors">Alfred Bruckstein, Thomas Huang, Reinhard Klette, and SongDe Ma</span>
    <span class="title">Multi-Image Search, Filtering, Reasoning and Visualisation (Dagstuhl Seminar 00111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.268">10.4230/DagSemRep.268</a>
</li>
<li>
    <span class="authors">Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster</span>
    <span class="title">Semantics for the Web (Dagstuhl Seminar 00121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.269">10.4230/DagSemRep.269</a>
</li>
<li>
    <span class="authors">Andrea Bondavalli, Mario Dal Cin, Klaus Echtle, and Erik Maehle</span>
    <span class="title">Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems (Dagstuhl Seminar 00131)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.270">10.4230/DagSemRep.270</a>
</li>
<li>
    <span class="authors">Ahmed Bouajjani and Javier Esparza</span>
    <span class="title">Verification of Infinite-state Systems (Dagstuhl Seminar 00141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.271">10.4230/DagSemRep.271</a>
</li>
<li>
    <span class="authors">Ulrich Herzog, Guy Latouche, Vaidyanathan Ramaswami, and Phuoc Tran-Gia</span>
    <span class="title">Advanced Stochastic Modelling in Telecommunications (Dagstuhl Seminar 00151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.272">10.4230/DagSemRep.272</a>
</li>
<li>
    <span class="authors">Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi</span>
    <span class="title">Probabilistic Methods in Verification (Dagstuhl Seminar 00181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.273">10.4230/DagSemRep.273</a>
</li>
<li>
    <span class="authors">Andrew Campbell, Domenico Ferrari, Stefan Fischer, and Lars Wolf</span>
    <span class="title">Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 00191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.274">10.4230/DagSemRep.274</a>
</li>
<li>
    <span class="authors">Ralph Kopperman, Mike Smyth, and Dieter Spreen</span>
    <span class="title">Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization (Dagstuhl Seminar 00231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.276">10.4230/DagSemRep.276</a>
</li>
<li>
    <span class="authors">Wolfgang Effelsberg, Edward Fox, Nicolas D. Georganas, and Ralf Steinmetz</span>
    <span class="title">Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade (Dagstuhl Seminar 00241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.277">10.4230/DagSemRep.277</a>
</li>
<li>
    <span class="authors">Michael Cohen, Heinrich Müller, Claude Puech, and Hans-Peter Seidel</span>
    <span class="title">Image Synthesis and Interactive 3D Graphics (Dagstuhl Seminar 00251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.278">10.4230/DagSemRep.278</a>
</li>
<li>
    <span class="authors">Gordon Brebner, Karl-Heinz Brenner, Hossam El Gindy, and Hartmut Schmeck</span>
    <span class="title">Dynamically Reconfigurable Architectures (Dagstuhl Seminar 00261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.279">10.4230/DagSemRep.279</a>
</li>
<li>
    <span class="authors">Günter Hommel and Lonnie R. Welch</span>
    <span class="title">Stochastic and Dynamic Real-Time Systems (Dagstuhl Seminar 00271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.280">10.4230/DagSemRep.280</a>
</li>
<li>
    <span class="authors">Matthias Jarke, Dan E. O&#039;Leary, and Rudi Studer</span>
    <span class="title">Knowledge Management: An Interdisciplinary Approach (Dagstuhl Seminar 00281)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.281">10.4230/DagSemRep.281</a>
</li>
<li>
    <span class="authors">Jan Chomicki, Ron van der Meyden, and Gunter Saake</span>
    <span class="title">Logics for Emerging Applications of Databases (Dagstuhl Seminar 00291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.282">10.4230/DagSemRep.282</a>
</li>
<li>
    <span class="authors">Michael R. Berthold, Rudolf Kruse, Xiahui Liu, and Helen Szczerbicka</span>
    <span class="title">Intelligent Data Analysis (Dagstuhl Seminar 00331)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.283">10.4230/DagSemRep.283</a>
</li>
<li>
    <span class="authors">Susan Flynn-Hummer, Vladimi Getov, Francois Irigoin, and Christian Lengauer</span>
    <span class="title">High Performance Computing and Java (Dagstuhl Seminar 00341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.284">10.4230/DagSemRep.284</a>
</li>
<li>
    <span class="authors">Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt</span>
    <span class="title">Experimental Algorithmics (Dagstuhl Seminar 00371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.285">10.4230/DagSemRep.285</a>
</li>
<li>
    <span class="authors">Carole Dulong, Rajiv Gupta, Robert Kennedy, Jens Knoop, and Jim Pierce</span>
    <span class="title">Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.286">10.4230/DagSemRep.286</a>
</li>
<li>
    <span class="authors">Stefan Heinrich, Sergei Pereverzev, Joseph Traub, and Grzegorz Wasilkowski</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 00391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.287">10.4230/DagSemRep.287</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Gregor Engels, Fernando Orejas, and Martin Wirsing</span>
    <span class="title">Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.288">10.4230/DagSemRep.288</a>
</li>
<li>
    <span class="authors">Horst Bunke, Henrik Iskov Christensen, Gregory Hager, and Rolf Klein</span>
    <span class="title">Modelling of Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 00421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.289">10.4230/DagSemRep.289</a>
</li>
<li>
    <span class="authors">Anish Arora, Joffroy Beauquier, Shlomi Dolev, Ted Herman, and Willem-Paul de Roever</span>
    <span class="title">Self-Stabilization (Dagstuhl Seminar 00431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.290">10.4230/DagSemRep.290</a>
</li>
<li>
    <span class="authors">Uwe Aßmann, Laurie Hendren, Barbara Ryder, and Frank Tip</span>
    <span class="title">Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.291">10.4230/DagSemRep.291</a>
</li>
<li>
    <span class="authors">Volker Diekert, Manfred Droste, Anca Muscholl, and Doron Peled</span>
    <span class="title">Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.292">10.4230/DagSemRep.292</a>
</li>
<li>
    <span class="authors">Douglas Brutlag, Thomas Lengauer, and Martin Vingron</span>
    <span class="title">Bioinformatics (Dagstuhl Seminar 00491)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.293">10.4230/DagSemRep.293</a>
</li>
<li>
    <span class="authors">Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson</span>
    <span class="title">Security through Analysis and Verification (Dagstuhl Seminar 00501)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.294">10.4230/DagSemRep.294</a>
</li>
<li>
    <span class="authors">Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, and Bernhard Thalheim</span>
    <span class="title">Semantics in Databases (Dagstuhl Seminar 01021)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.295">10.4230/DagSemRep.295</a>
</li>
<li>
    <span class="authors">Jürgen Ebert, Kostas Kontogiannis, and John Mylopoulos</span>
    <span class="title">Interoperability of Reengineering Tools (Dagstuhl Seminar 01041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.296">10.4230/DagSemRep.296</a>
</li>
<li>
    <span class="authors">Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi</span>
    <span class="title">Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.297">10.4230/DagSemRep.297</a>
</li>
<li>
    <span class="authors">Roland C. Backhouse, Dexter Kozen, and Bernhard Möller</span>
    <span class="title">Applications of Kleene Algebra (Dagstuhl Seminar 01081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.298">10.4230/DagSemRep.298</a>
</li>
<li>
    <span class="authors">Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi</span>
    <span class="title">Algorithmic Techniques in Physics (Dagstuhl Seminar 01091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.299">10.4230/DagSemRep.299</a>
</li>
<li>
    <span class="authors">Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur</span>
    <span class="title">Deduction (Dagstuhl Seminar 01101)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.300">10.4230/DagSemRep.300</a>
</li>
<li>
    <span class="authors">Kevin W. Bowyer, Murray H. Loew, H. Siegfried Stiehl, and Max A. Viergever</span>
    <span class="title">Methodology of Evaluation in Computational Medical Imaging (Dagstuhl Seminar 01111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.301">10.4230/DagSemRep.301</a>
</li>
<li>
    <span class="authors">Rolf Klein and Günter Rote</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 01121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.302">10.4230/DagSemRep.302</a>
</li>
<li>
    <span class="authors">David Pym, Eike Ritter, and Thomas Streicher</span>
    <span class="title">Semantic Foundations of Proof-search (Dagstuhl Seminar 01141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.303">10.4230/DagSemRep.303</a>
</li>
<li>
    <span class="authors">Klaus Pohl, Günter Böckle, Paul Clements, Henk Obbink, and Dieter Rombach</span>
    <span class="title">Product Family Development (Dagstuhl Seminar 01161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.304">10.4230/DagSemRep.304</a>
</li>
<li>
    <span class="authors">Marc van Kreveld, Robert Weibel, and Michael Worboys</span>
    <span class="title">Computational Cartography and Spatial Modelling (Dagstuhl Seminar 01191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.305">10.4230/DagSemRep.305</a>
</li>
<li>
    <span class="authors">Joe Buhler, Harald Niederreiter, and Michael E. Post</span>
    <span class="title">Algorithms and Number Theory (Dagstuhl Seminar 01201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.306">10.4230/DagSemRep.306</a>
</li>
<li>
    <span class="authors">Stephan Diehl, Peter Eades, and John Stasko</span>
    <span class="title">Software Visualization (Dagstuhl Seminar 01211)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.307">10.4230/DagSemRep.307</a>
</li>
<li>
    <span class="authors">Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing</span>
    <span class="title">Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.308">10.4230/DagSemRep.308</a>
</li>
<li>
    <span class="authors">Martin Dyer, Mark Jerrum, and Marek Karpinski</span>
    <span class="title">Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 01231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.309">10.4230/DagSemRep.309</a>
</li>
<li>
    <span class="authors">Francine D. Berman, Alexander Reinefeld, and Uwe Schwiegelshohn</span>
    <span class="title">Management of Metacomputers (Dagstuhl Seminar 01241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.310">10.4230/DagSemRep.310</a>
</li>
<li>
    <span class="authors">Werner Purgathofer, Mateu Sbert, and Pete Shirley</span>
    <span class="title">Stochastic Methods in Rendering (Dagstuhl Seminar 01242)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.311">10.4230/DagSemRep.311</a>
</li>
<li>
    <span class="authors">Andreas Brandstädt and Jeremy P. Spinrad</span>
    <span class="title">Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 01251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.312">10.4230/DagSemRep.312</a>
</li>
<li>
    <span class="authors">Ralf Hofestädt, John Reinitz, and Nikolay Kolchanov</span>
    <span class="title">Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic Pathways (Dagstuhl Seminar 01261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.313">10.4230/DagSemRep.313</a>
</li>
<li>
    <span class="authors">Ulrik Brandes, David Krackhardt, Roberto Tamassia, and Dorothea Wagner</span>
    <span class="title">Link Analysis and Visualization (Dagstuhl Seminar 01271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.314">10.4230/DagSemRep.314</a>
</li>
<li>
    <span class="authors">Joachim Buhmann and Bernhard Schölkopf</span>
    <span class="title">Inference Principles and Model Selection (Dagstuhl Seminar 01301)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.315">10.4230/DagSemRep.315</a>
</li>
<li>
    <span class="authors">Rodney G. Downey, Michael R. Fellows, Rolf Niedermeier, and Peter Rossmanith</span>
    <span class="title">Parameterized Complexity (Dagstuhl Seminar 01311)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.316">10.4230/DagSemRep.316</a>
</li>
<li>
    <span class="authors">Gilles Barthe, Peter Dybjer, and Peter Thiemann</span>
    <span class="title">Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.317">10.4230/DagSemRep.317</a>
</li>
<li>
    <span class="authors">Alberto Mendelzon, Thomas Schwentick, and Dan Suciu</span>
    <span class="title">Foundations of Semistructured Data (Dagstuhl Seminar 01361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.318">10.4230/DagSemRep.318</a>
</li>
<li>
    <span class="authors">Gaetano Borriello, Hans Gellersen, and Friedemann Mattern</span>
    <span class="title">Ubiquitous Computing (Dagstuhl Seminar 01371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.319">10.4230/DagSemRep.319</a>
</li>
<li>
    <span class="authors">Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner</span>
    <span class="title">Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 01381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.320">10.4230/DagSemRep.320</a>
</li>
<li>
    <span class="authors">David Basin, Grit Denker, Jon Millen, and Gavin Lowe</span>
    <span class="title">Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.321">10.4230/DagSemRep.321</a>
</li>
<li>
    <span class="authors">Reinhard Kahle, Peter Schröder-Heister, and Robert F. Stärk</span>
    <span class="title">Proof Theory in Computer Science (Dagstuhl Seminar 01411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.322">10.4230/DagSemRep.322</a>
</li>
<li>
    <span class="authors">Michael Joswig and Nobuki Takayama</span>
    <span class="title">Integration of Algebra and Geometry Software Systems (Dagstuhl Seminar 01421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.323">10.4230/DagSemRep.323</a>
</li>
<li>
    <span class="authors">Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack</span>
    <span class="title">Plan-based Control of Robotic Agents (Dagstuhl Seminar 01431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.324">10.4230/DagSemRep.324</a>
</li>
<li>
    <span class="authors">Tom L. Dean, Bernhard Nebel, and Moshe Y. Vardi</span>
    <span class="title">Exploration of Large State Spaces (Dagstuhl Seminar 01451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.326">10.4230/DagSemRep.326</a>
</li>
<li>
    <span class="authors">Vasco Brattka, Peter Hertling, Mariko Yasugi, and Ning Zhong</span>
    <span class="title">Computability and Complexity in Analysis (Dagstuhl Seminar 01461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.327">10.4230/DagSemRep.327</a>
</li>
<li>
    <span class="authors">Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann</span>
    <span class="title">Synchronous Languages (Dagstuhl Seminar 01491)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.328">10.4230/DagSemRep.328</a>
</li>
<li>
    <span class="authors">Hans-Peter Kriegel, Jitendra Malik, Linda Shapiro, and Remco Veltkamp</span>
    <span class="title">Content-Based Image and Video Retrieval (Dagstuhl Seminar 02021)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.329">10.4230/DagSemRep.329</a>
</li>
<li>
    <span class="authors">Hans-Georg Beyer, Kenneth A. De Jong, Colin Reeves, and Ingo Wegener</span>
    <span class="title">Theory of Evolutionary Algorithms (Dagstuhl Seminar 02031)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.330">10.4230/DagSemRep.330</a>
</li>
<li>
    <span class="authors">Wiebe van der Hoek and Michael J. Wooldridge</span>
    <span class="title">The Logic of Rational Agency (Dagstuhl Seminar 02041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.331">10.4230/DagSemRep.331</a>
</li>
<li>
    <span class="authors">Harold Boley, Benjamin N. Grosof, Said Tabet, and Gerd Wagner</span>
    <span class="title">Rule Markup Techniques for the Semantic Web (Dagstuhl Seminar 02061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.332">10.4230/DagSemRep.332</a>
</li>
<li>
    <span class="authors">Erik D. Demaine, Rudolf Fleischer, Avierzi Fraenkel, and Richard Nowakowski</span>
    <span class="title">Algorithmic Combinatorial Game Theory (Dagstuhl Seminar 02081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.334">10.4230/DagSemRep.334</a>
</li>
<li>
    <span class="authors">Susanne Albers, Robert Sedgewick, and Peter Widmayer</span>
    <span class="title">Data Structures (Dagstuhl Seminar 02091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.335">10.4230/DagSemRep.335</a>
</li>
<li>
    <span class="authors">Andreas R. Blass, Egon Börger, and Yuri Gurevich</span>
    <span class="title">Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.336">10.4230/DagSemRep.336</a>
</li>
<li>
    <span class="authors">Gregor Engels, Ursula Goltz, and Rob van Glabeek</span>
    <span class="title">Concurrency and Dynamic Behaviour Modelling: Pragmatics &amp; Semantics (Dagstuhl Seminar 02111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.337">10.4230/DagSemRep.337</a>
</li>
<li>
    <span class="authors">Johan Hastad, Matthias Krause, David A. M. Barrington, and Rüdiger Reischuk</span>
    <span class="title">Complexity of Boolean Functions (Dagstuhl Seminar 02121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.338">10.4230/DagSemRep.338</a>
</li>
<li>
    <span class="authors">Tetsuo Asano, Reinhard Klette, and Christian Ronse</span>
    <span class="title">Theoretical Foundations of Computer Vision -- Geometry, Morphology, and Computational Imaging (Dagstuhl Seminar 02151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.339">10.4230/DagSemRep.339</a>
</li>
<li>
    <span class="authors">Guido Brunnett, Gerald Farin, Ron Goldman, and Stefanie Hahmann</span>
    <span class="title">Geometric Modelling (Dagstuhl Seminar 02201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.341">10.4230/DagSemRep.341</a>
</li>
<li>
    <span class="authors">Ralph Kopperman, Michael B. Smyth, and Dieter Spreen</span>
    <span class="title">Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.342">10.4230/DagSemRep.342</a>
</li>
<li>
    <span class="authors">Jacek Blazewicz, Ed G. Coffman Jr., Klaus Ecker, and Denis Trystram</span>
    <span class="title">Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 02231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.343">10.4230/DagSemRep.343</a>
</li>
<li>
    <span class="authors">Daniel Lehmann, Rudolf Müller, Tuomas Sandholm, and Rakesh V. Vohra</span>
    <span class="title">Electronic Market Design (Dagstuhl Seminar 02241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.344">10.4230/DagSemRep.344</a>
</li>
<li>
    <span class="authors">Evripidis Bampis, Klaus Jansen, Giuseppe Persiano, Roberto Solis-Oba, and Gordon T. Wilfong</span>
    <span class="title">Approximation and Randomized Algorithms in Communication Networks (Dagstuhl Seminar 02251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.345">10.4230/DagSemRep.345</a>
</li>
<li>
    <span class="authors">David S. Johnson, Jan Karel Lenstra, and Gerhard J. Woeginger</span>
    <span class="title">The Travelling Salesman Problem (Dagstuhl Seminar 02261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.346">10.4230/DagSemRep.346</a>
</li>
<li>
    <span class="authors">Susanne Albers, Amos Fiat, and Gerhard J. Woeginger</span>
    <span class="title">Online Algorithms (Dagstuhl Seminar 02271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.347">10.4230/DagSemRep.347</a>
</li>
<li>
    <span class="authors">Paul A. Fishwick, Roger Malina, and Christa Sommerer</span>
    <span class="title">Aesthetic Computing (Dagstuhl Seminar 02291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.348">10.4230/DagSemRep.348</a>
</li>
<li>
    <span class="authors">Hans Michael Gerndt, Valdimir S. Getov, Adolfy Hoisie, Allen D. Malony, and Barton P. Miller</span>
    <span class="title">Performance Analysis and Distributed Computing (Dagstuhl Seminar 02341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.349">10.4230/DagSemRep.349</a>
</li>
<li>
    <span class="authors">Richard Fujimoto, W. H. Lunceford Jr., Ernst H. Page, and Adelinde Uhrmacher</span>
    <span class="title">Grand Challenges for Modelling and Simulation (Dagstuhl Seminar 02351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.350">10.4230/DagSemRep.350</a>
</li>
<li>
    <span class="authors">Barbara Paech, David Parnas, Jesse H. Poore, H. Dieter Rombach, and Rudolf van Megen</span>
    <span class="title">Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance (Dagstuhl Seminar 02361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.352">10.4230/DagSemRep.352</a>
</li>
<li>
    <span class="authors">Jon Louis Bentley, Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt</span>
    <span class="title">Experimental Algorithmics (Dagstuhl Seminar 02371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.353">10.4230/DagSemRep.353</a>
</li>
<li>
    <span class="authors">Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski</span>
    <span class="title">Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.354">10.4230/DagSemRep.354</a>
</li>
<li>
    <span class="authors">Ueli Maurer, Adi Shamir, Jacques Stern, and Moti Yung</span>
    <span class="title">Cryptography (Dagstuhl Seminar 02391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.355">10.4230/DagSemRep.355</a>
</li>
<li>
    <span class="authors">Leszek Plakote, Klaus Ritter, Ian H. Sloan, and Joseph F. Traub</span>
    <span class="title">Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 02401)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.356">10.4230/DagSemRep.356</a>
</li>
<li>
    <span class="authors">Harry Buhrman, Lance Fortnow, and Thomas Thierauf</span>
    <span class="title">Algebraic Methods in Quantum and Classical Models of Computation (Dagstuhl Seminar 02421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.357">10.4230/DagSemRep.357</a>
</li>
<li>
    <span class="authors">Andrew T. Campbell, Stefan Fischer, Klara Nahrstedt, and Lars Wolf</span>
    <span class="title">Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 02441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.358">10.4230/DagSemRep.358</a>
</li>
<li>
    <span class="authors">Stuart Anderson, Robin E. Bloomfield, Maritta Heisel, and Bernd Krämer</span>
    <span class="title">Dependability of Component Based Systems (Dagstuhl Seminar 02451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.359">10.4230/DagSemRep.359</a>
</li>
<li>
    <span class="authors">Ross B. Altman, David Gilbert, and Thomas Lengauer</span>
    <span class="title">Computational Biology (Dagstuhl Seminar 02471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.360">10.4230/DagSemRep.360</a>
</li>
<li>
    <span class="authors">Jürgen Dix and Michael Fischer</span>
    <span class="title">Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.361">10.4230/DagSemRep.361</a>
</li>
<li>
    <span class="authors">Thierry Coquand, Henri Lombardi, and Marie-Françoise Roy</span>
    <span class="title">Verification and Constructive Algebra (Dagstuhl Seminar 03021)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.362">10.4230/DagSemRep.362</a>
</li>
<li>
    <span class="authors">René Alt, Andreas Frommer, Ralph Baker Kearfott, and Wolfram Luther</span>
    <span class="title">Numerical Software with Result Verification (Dagstuhl Seminar 03041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.363">10.4230/DagSemRep.363</a>
</li>
<li>
    <span class="authors">Rolf Apweiler, Thure Etzold, Johann-Christoph Freytag, Carole Goble, and Peter Schwarz</span>
    <span class="title">Information and Process Integration: A Life Science Perspective (Dagstuhl Seminar 03051)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.364">10.4230/DagSemRep.364</a>
</li>
<li>
    <span class="authors">Rick Kazman, Rainer Koschke, and Arie van Deursen</span>
    <span class="title">Software Architecture: Recovery and Modelling (Dagstuhl Seminar 03061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.365">10.4230/DagSemRep.365</a>
</li>
<li>
    <span class="authors">Thomas M. Conte, Christine Eisenbeis, and Mary Lou Soffa</span>
    <span class="title">Emerging Technologies: Can Optimization Technology meet their Demands? (Dagstuhl Seminar 03071)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.366">10.4230/DagSemRep.366</a>
</li>
<li>
    <span class="authors">Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan</span>
    <span class="title">Objects, Agents and Features (Dagstuhl Seminar 03081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.367">10.4230/DagSemRep.367</a>
</li>
<li>
    <span class="authors">Ralph Johnson, Gregor Snelting, and Frank Tip</span>
    <span class="title">Program Analysis for Object-Oriented Evolution (Dagstuhl Seminar 03091)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.368">10.4230/DagSemRep.368</a>
</li>
<li>
    <span class="authors">Markus Müller-Olm, Hanne Riis Nielson, and David Schmidt</span>
    <span class="title">Reasoning about Shape (Dagstuhl Seminar 03101)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.369">10.4230/DagSemRep.369</a>
</li>
<li>
    <span class="authors">Friedel Hoßfeld, Christopher R. Johnson, Hans Petter, and Unlrich Rüde</span>
    <span class="title">Challenges in High Performance Simulations for Science and Engineering (Dagstuhl Seminar 03111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.370">10.4230/DagSemRep.370</a>
</li>
<li>
    <span class="authors">Michael Clause, Rolf Klein, and Ian H. Witten</span>
    <span class="title">Multimedia Retrieval (Dagstuhl Seminar 03112)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.371">10.4230/DagSemRep.371</a>
</li>
<li>
    <span class="authors">Dan Halperin and Günter Rote</span>
    <span class="title">Computational Geometry (Dagstuhl Seminar 03121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.372">10.4230/DagSemRep.372</a>
</li>
<li>
    <span class="authors">Don Batory, Charles Consel, Christian Lengauer, and Martin Odersky</span>
    <span class="title">Domain-Specific Program Generation (Dagstuhl Seminar 03131)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.373">10.4230/DagSemRep.373</a>
</li>
<li>
    <span class="authors">Andreas Goerdt, Pavel Pudlák, Uwe Schöning, and Osamu Watanabe</span>
    <span class="title">The Propositional Satisfiability Problem -- Algorithms and Lower Bounds (Dagstuhl Seminar 03141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.374">10.4230/DagSemRep.374</a>
</li>
<li>
    <span class="authors">Günter Böckle, Peter Knauber, Linda Northrop, Klaus Pohl, and Frank van der Linden</span>
    <span class="title">Product Family Development (Dagstuhl Seminar 03151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.375">10.4230/DagSemRep.375</a>
</li>
<li>
    <span class="authors">Deepak Kapur, Andreas Podelski, and Andrei Voronkov</span>
    <span class="title">Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.376">10.4230/DagSemRep.376</a>
</li>
<li>
    <span class="authors">Bruno Durand, Leonid A. Levin, Wolfgang Merkle, Alexander Shen, and Paul M. B. Vitanyi</span>
    <span class="title">Centennial Seminar on Kolmogorov Complexity and Applications (Dagstuhl Seminar 03181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.377">10.4230/DagSemRep.377</a>
</li>
<li>
    <span class="authors">Caroline Haythornthwaite, Wolffried Stucky, and Gottfried Vossen</span>
    <span class="title">Conceptual and Technical Aspects of Electronic Learning (Dagstuhl Seminar 03191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.378">10.4230/DagSemRep.378</a>
</li>
<li>
    <span class="authors">Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi</span>
    <span class="title">Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.379">10.4230/DagSemRep.379</a>
</li>
<li>
    <span class="authors">Ioana Banicescu, Keshav Pingali, Thomas Rauber, and Gudula Rünger</span>
    <span class="title">Adaptivity in Parallel Scientific Computing (Dagstuhl Seminar 03211)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.380">10.4230/DagSemRep.380</a>
</li>
<li>
    <span class="authors">George-Pierre Bonneau, Thomas Ertl, and Gregory M. Nielson</span>
    <span class="title">Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.381">10.4230/DagSemRep.381</a>
</li>
<li>
    <span class="authors">Leopoldo Bertossi, Philippe Besnard, Anthony Hunter, and Torsten Schaub</span>
    <span class="title">Inconsistency Tolerance (Dagstuhl Seminar 03241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.382">10.4230/DagSemRep.382</a>
</li>
<li>
    <span class="authors">Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack</span>
    <span class="title">Plan-Based Control of Robotic Agents (Dagstuhl Seminar 03261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.383">10.4230/DagSemRep.383</a>
</li>
<li>
    <span class="authors">Markus Gross, Dinesh Manocha, Heinrich Müller, and Hans-Peter Seidel</span>
    <span class="title">Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 03271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.384">10.4230/DagSemRep.384</a>
</li>
<li>
    <span class="authors">Verena V. Hafner, Fumiya Iida, Yasuo Kuniyoshi, Rolf Pfeifer, and Luc Steels</span>
    <span class="title">Embodied Artificial Intelligence (Dagstuhl Seminar 03281)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.385">10.4230/DagSemRep.385</a>
</li>
<li>
    <span class="authors">Marek Karpinski, Christos H. Papadimitriou, and Vijay V. Vazirani</span>
    <span class="title">Algorithmic Game Theory and the Internet (Dagstuhl Seminar 03291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.386">10.4230/DagSemRep.386</a>
</li>
<li>
    <span class="authors">Peter M. Athanas, Jürgen Becker, Gordon Brebner, and Hossam El Gindy</span>
    <span class="title">Dynamically Reconfigurable Architectures (Dagstuhl Seminar 03301)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.387">10.4230/DagSemRep.387</a>
</li>
<li>
    <span class="authors">Michael R. Fellows, Michael Hallett, Rold Niedermeier, and Naomi Nishimura</span>
    <span class="title">Fixed Parameter Algorithms (Dagstuhl Seminar 03311)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.388">10.4230/DagSemRep.388</a>
</li>
<li>
    <span class="authors">Martin Karsten, Lee McKnight, Peter Reichl, and Burkhard Stiller</span>
    <span class="title">Internet Economics (Dagstuhl Seminar 03321)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.389">10.4230/DagSemRep.389</a>
</li>
<li>
    <span class="authors">Susan L. Graham and Reinhard Wilhelm</span>
    <span class="title">Software Optimization (Dagstuhl Seminar 03351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.390">10.4230/DagSemRep.390</a>
</li>
<li>
    <span class="authors">Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner</span>
    <span class="title">Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 03361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.391">10.4230/DagSemRep.391</a>
</li>
<li>
    <span class="authors">Michael Gertz, M. Tamer Özsu, Gunter Saake, and Kai-Uwe Sattler</span>
    <span class="title">Data Quality on the Web (Dagstuhl Seminar 03362)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.392">10.4230/DagSemRep.392</a>
</li>
<li>
    <span class="authors">Francis Bordeleau and Stefan Leue</span>
    <span class="title">Scenarios: Models, Transformations and Tools (Dagstuhl Seminar 03371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.393">10.4230/DagSemRep.393</a>
</li>
<li>
    <span class="authors">Alexander K. Hartmann, Kurt Mehlhorn, and Heiko Rieger</span>
    <span class="title">New Optimization Algorithms in Physics (Dagstuhl Seminar 03381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.394">10.4230/DagSemRep.394</a>
</li>
<li>
    <span class="authors">Jaroslav Nesetril and Gerhard J. Woeginger</span>
    <span class="title">Graph Colorings (Dagstuhl Seminar 03391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.395">10.4230/DagSemRep.395</a>
</li>
<li>
    <span class="authors">Monika Sester, Jack Snoeyink, Peter van Oosterom, and Michael Worboys</span>
    <span class="title">Computational Cartography and Spatial Modelling (Dagstuhl Seminar 03401)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.396">10.4230/DagSemRep.396</a>
</li>
<li>
    <span class="authors">Anindya Banerjee, Heiko Mantel, David A. Naumann, and Andrei Sabelfeld</span>
    <span class="title">Language-Based Security (Dagstuhl Seminar 03411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.397">10.4230/DagSemRep.397</a>
</li>
<li>
    <span class="authors">Nick Higham, Volker Mehrmann, Siegfried M. Rump, and Daniel B. Szyld</span>
    <span class="title">Theoretical and Computational Aspects of Matrix Algorithms (Dagstuhl Seminar 03421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.398">10.4230/DagSemRep.398</a>
</li>
<li>
    <span class="authors">Jens Knoop, Jaejin Lee, Samuel P. Midkiff, and David Padua</span>
    <span class="title">Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.399">10.4230/DagSemRep.399</a>
</li>
<li>
    <span class="authors">Henrik Christensen and Hans-Hellmut Nagel</span>
    <span class="title">Cognitive Vision Systems (Dagstuhl Seminar 03441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.400">10.4230/DagSemRep.400</a>
</li>
<li>
    <span class="authors">David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli</span>
    <span class="title">Applied Deductive Verification (Dagstuhl Seminar 03451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.401">10.4230/DagSemRep.401</a>
</li>
<li>
    <span class="authors">Manfred Broy, Ursula Goltz, and Luciano Lavagno</span>
    <span class="title">Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.402">10.4230/DagSemRep.402</a>
</li>
<li>
    <span class="authors">Lothar Thiele and Reinhard Wilhelm</span>
    <span class="title">Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.403">10.4230/DagSemRep.403</a>
</li>
<li>
    <span class="authors">Matthias Jarke, Alfred Kobsa, Klaus Miesenberger, and Carlos A. Velasco</span>
    <span class="title">e-Accessibility - new Devices, new Technologies and new Challenges in the Information Society (Dagstuhl Seminar 03481)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.404">10.4230/DagSemRep.404</a>
</li>
<li>
    <span class="authors">Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller</span>
    <span class="title">Understanding Program Dynamics (Dagstuhl Seminar 03491)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.405">10.4230/DagSemRep.405</a>
</li>
<li>
    <span class="authors">Rudolf Fleischer and Rolf Klein</span>
    <span class="title">Robot Navigation (Dagstuhl Seminar 03501)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.406">10.4230/DagSemRep.406</a>
</li>
<li>
    <span class="authors">Thomas Lickteig, Klaus Meer, and Luis Miguel Pardo</span>
    <span class="title">Real Computation and Complexity (Dagstuhl Seminar 04061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemRep.407">10.4230/DagSemRep.407</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode