Volume

Dagstuhl Seminar Reports, Volume 1

Dagstuhl Seminar Reports



Publication Details

  • published at: 2021-09-29
  • Publisher: Schloss-Dagstuhl - Leibniz Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
Architecture and Performance (Dagstuhl Seminar 9025)

Authors: Wolfgang Gentzsch and Paul J. Wolfgang


Abstract

Cite as

Wolfgang Gentzsch and Paul J. Wolfgang. Architecture and Performance (Dagstuhl Seminar 9025). Dagstuhl Seminar Report 1, pp. 1-12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{gentzsch_et_al:DagSemRep.1,
  author =	{Gentzsch, Wolfgang and Wolfgang, Paul J.},
  title =	{{Architecture and Performance (Dagstuhl Seminar 9025)}},
  pages =	{1--12},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{1},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.1},
  URN =		{urn:nbn:de:0030-drops-148898},
  doi =		{10.4230/DagSemRep.1},
}
Document
Tree Adjoining Grammars (Dagstuhl Seminar 9033)

Authors: Karin Harbusch and Wolfgang Wahlster


Abstract

Cite as

Karin Harbusch and Wolfgang Wahlster. Tree Adjoining Grammars (Dagstuhl Seminar 9033). Dagstuhl Seminar Report 2, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{harbusch_et_al:DagSemRep.2,
  author =	{Harbusch, Karin and Wahlster, Wolfgang},
  title =	{{Tree Adjoining Grammars (Dagstuhl Seminar 9033)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{2},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.2},
  URN =		{urn:nbn:de:0030-drops-148903},
  doi =		{10.4230/DagSemRep.2},
}
Document
Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)

Authors: Hankin Chris and Wilhelm Reinhard


Abstract

Cite as

Hankin Chris and Wilhelm Reinhard. Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036). Dagstuhl Seminar Report 3, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{chris_et_al:DagSemRep.3,
  author =	{Chris, Hankin and Reinhard, Wilhelm},
  title =	{{Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{3},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.3},
  URN =		{urn:nbn:de:0030-drops-148914},
  doi =		{10.4230/DagSemRep.3},
}
Document
Algorithmic Geometry (Dagstuhl Seminar 9041)

Authors: Alt Helmut and Welzl Emo


Abstract

Cite as

Alt Helmut and Welzl Emo. Algorithmic Geometry (Dagstuhl Seminar 9041). Dagstuhl Seminar Report 4, pp. 1-19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{helmut_et_al:DagSemRep.4,
  author =	{Helmut, Alt and Emo, Welzl},
  title =	{{Algorithmic Geometry (Dagstuhl Seminar 9041)}},
  pages =	{1--19},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{4},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.4},
  URN =		{urn:nbn:de:0030-drops-148928},
  doi =		{10.4230/DagSemRep.4},
}
Document
Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103)

Authors: Jean Berstel, Jean-Eric Pin, and Wolgang Thoma


Abstract

Cite as

Jean Berstel, Jean-Eric Pin, and Wolgang Thoma. Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103). Dagstuhl Seminar Report 5, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{berstel_et_al:DagSemRep.5,
  author =	{Berstel, Jean and Pin, Jean-Eric and Thoma, Wolgang},
  title =	{{Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{5},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.5},
  URN =		{urn:nbn:de:0030-drops-148935},
  doi =		{10.4230/DagSemRep.5},
}
Document
Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108)

Authors: Bernd Becker and Christoph Meinel


Abstract

Cite as

Bernd Becker and Christoph Meinel. Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108). Dagstuhl Seminar Report 6, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.6,
  author =	{Becker, Bernd and Meinel, Christoph},
  title =	{{Entwerfen, Pr\"{u}fen, Testen (Dagstuhl Seminar 9108)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{6},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.6},
  URN =		{urn:nbn:de:0030-drops-148941},
  doi =		{10.4230/DagSemRep.6},
}
Document
Logical Theory for Program Construction (Dagstuhl Seminar 9109)

Authors: Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing


Abstract

Cite as

Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing. Logical Theory for Program Construction (Dagstuhl Seminar 9109). Dagstuhl Seminar Report 7, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{finance_et_al:DagSemRep.7,
  author =	{Finance, Jean-Pierre and J\"{a}hnichen, Stefan and Loeckx, Jacques and Wirsing, Martin},
  title =	{{Logical Theory for Program Construction (Dagstuhl Seminar 9109)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{7},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.7},
  URN =		{urn:nbn:de:0030-drops-148952},
  doi =		{10.4230/DagSemRep.7},
}
Document
Parallel and Distributed Algorithms (Dagstuhl Seminar 9110)

Authors: Ernst W. Mayr and Meyer auf der Heide Friedhelm


Abstract

Cite as

Ernst W. Mayr and Meyer auf der Heide Friedhelm. Parallel and Distributed Algorithms (Dagstuhl Seminar 9110). Dagstuhl Seminar Report 8, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{mayr_et_al:DagSemRep.8,
  author =	{Mayr, Ernst W. and Friedhelm, Meyer auf der Heide},
  title =	{{Parallel and Distributed Algorithms (Dagstuhl Seminar 9110)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{8},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.8},
  URN =		{urn:nbn:de:0030-drops-148969},
  doi =		{10.4230/DagSemRep.8},
}
Document
Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)

Authors: Manfred Broy, Peter Deussen, Ernst-Rüdiger Olderog, and Willem-Paul de Roever


Abstract

Cite as

Manfred Broy, Peter Deussen, Ernst-Rüdiger Olderog, and Willem-Paul de Roever. Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111). Dagstuhl Seminar Report 9, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{broy_et_al:DagSemRep.9,
  author =	{Broy, Manfred and Deussen, Peter and Olderog, Ernst-R\"{u}diger and de Roever, Willem-Paul},
  title =	{{Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{9},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.9},
  URN =		{urn:nbn:de:0030-drops-148970},
  doi =		{10.4230/DagSemRep.9},
}
Document
Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

Authors: Krzysztof Apt, Klaus Indermark, and Mario Rodríguez Artalejo


Abstract

Cite as

Krzysztof Apt, Klaus Indermark, and Mario Rodríguez Artalejo. Integration of Functional and Logic Programming (Dagstuhl Seminar 9112). Dagstuhl Seminar Report 10, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{apt_et_al:DagSemRep.10,
  author =	{Apt, Krzysztof and Indermark, Klaus and Rodr{\'\i}guez Artalejo, Mario},
  title =	{{Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{10},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.10},
  URN =		{urn:nbn:de:0030-drops-148986},
  doi =		{10.4230/DagSemRep.10},
}
Document
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116)

Authors: Erich Novak, Josef F. Traub, and Henryk Wozniakowski


Abstract

Cite as

Erich Novak, Josef F. Traub, and Henryk Wozniakowski. Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116). Dagstuhl Seminar Report 11, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{novak_et_al:DagSemRep.11,
  author =	{Novak, Erich and Traub, Josef F. and Wozniakowski, Henryk},
  title =	{{Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{11},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.11},
  URN =		{urn:nbn:de:0030-drops-148998},
  doi =		{10.4230/DagSemRep.11},
}
Document
Terminological Logics (Dagstuhl Seminar 9119)

Authors: Bernhard Nebel, Christof Peltason, and Kai von Luck


Abstract

Cite as

Bernhard Nebel, Christof Peltason, and Kai von Luck. Terminological Logics (Dagstuhl Seminar 9119). Dagstuhl Seminar Report 12, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{nebel_et_al:DagSemRep.12,
  author =	{Nebel, Bernhard and Peltason, Christof and von Luck, Kai},
  title =	{{Terminological Logics (Dagstuhl Seminar 9119)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{12},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.12},
  URN =		{urn:nbn:de:0030-drops-149006},
  doi =		{10.4230/DagSemRep.12},
}
Document
Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121)

Authors: Robert Giegerich and Susan L. Graham


Abstract

Cite as

Robert Giegerich and Susan L. Graham. Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121). Dagstuhl Seminar Report 13, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{giegerich_et_al:DagSemRep.13,
  author =	{Giegerich, Robert and Graham, Susan L.},
  title =	{{Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{13},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.13},
  URN =		{urn:nbn:de:0030-drops-149011},
  doi =		{10.4230/DagSemRep.13},
}
Document
Randomized Algorithms (Dagstuhl Seminar 9124)

Authors: Marek Karpinski, Michael Luby, and Umesh Vazirani


Abstract

Cite as

Marek Karpinski, Michael Luby, and Umesh Vazirani. Randomized Algorithms (Dagstuhl Seminar 9124). Dagstuhl Seminar Report 14, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{karpinski_et_al:DagSemRep.14,
  author =	{Karpinski, Marek and Luby, Michael and Vazirani, Umesh},
  title =	{{Randomized Algorithms (Dagstuhl Seminar 9124)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{14},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.14},
  URN =		{urn:nbn:de:0030-drops-149022},
  doi =		{10.4230/DagSemRep.14},
}
Document
Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125)

Authors: Johann Christoph Freytag, David Maier, and Gottfried Vossen


Abstract

Cite as

Johann Christoph Freytag, David Maier, and Gottfried Vossen. Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125). Dagstuhl Seminar Report 15, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{freytag_et_al:DagSemRep.15,
  author =	{Freytag, Johann Christoph and Maier, David and Vossen, Gottfried},
  title =	{{Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{15},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.15},
  URN =		{urn:nbn:de:0030-drops-149038},
  doi =		{10.4230/DagSemRep.15},
}
Document
Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)

Authors: Manfred Droste and Yuri Gurevich


Abstract

Cite as

Manfred Droste and Yuri Gurevich. Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126). Dagstuhl Seminar Report 16, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{droste_et_al:DagSemRep.16,
  author =	{Droste, Manfred and Gurevich, Yuri},
  title =	{{Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{16},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.16},
  URN =		{urn:nbn:de:0030-drops-149042},
  doi =		{10.4230/DagSemRep.16},
}
Document
Geometric Modelling (Dagstuhl Seminar 9127)

Authors: Gerald Farin, Hans Hagen, and Hartmut Noltemeier


Abstract

Cite as

Gerald Farin, Hans Hagen, and Hartmut Noltemeier. Geometric Modelling (Dagstuhl Seminar 9127). Dagstuhl Seminar Report 17, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{farin_et_al:DagSemRep.17,
  author =	{Farin, Gerald and Hagen, Hans and Noltemeier, Hartmut},
  title =	{{Geometric Modelling (Dagstuhl Seminar 9127)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{17},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.17},
  URN =		{urn:nbn:de:0030-drops-149054},
  doi =		{10.4230/DagSemRep.17},
}
Document
Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128)

Authors: Arthur I. Karshmer and Jürgen Nehmer


Abstract

Cite as

Arthur I. Karshmer and Jürgen Nehmer. Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128). Dagstuhl Seminar Report 18, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{karshmer_et_al:DagSemRep.18,
  author =	{Karshmer, Arthur I. and Nehmer, J\"{u}rgen},
  title =	{{Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{18},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.18},
  URN =		{urn:nbn:de:0030-drops-149060},
  doi =		{10.4230/DagSemRep.18},
}
Document
Scientific Visualization (Dagstuhl Seminar 9135)

Authors: Hans Hagen and Heinrich Müller


Abstract

Cite as

Hans Hagen and Heinrich Müller. Scientific Visualization (Dagstuhl Seminar 9135). Dagstuhl Seminar Report 19, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{hagen_et_al:DagSemRep.19,
  author =	{Hagen, Hans and M\"{u}ller, Heinrich},
  title =	{{Scientific Visualization (Dagstuhl Seminar 9135)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{19},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.19},
  URN =		{urn:nbn:de:0030-drops-149077},
  doi =		{10.4230/DagSemRep.19},
}
Document
Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136)

Authors: Thomas Lengauer, Rolf H. Möhring, and Bryan Preas


Abstract

Cite as

Thomas Lengauer, Rolf H. Möhring, and Bryan Preas. Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136). Dagstuhl Seminar Report 20, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{lengauer_et_al:DagSemRep.20,
  author =	{Lengauer, Thomas and M\"{o}hring, Rolf H. and Preas, Bryan},
  title =	{{Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{20},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.20},
  URN =		{urn:nbn:de:0030-drops-149088},
  doi =		{10.4230/DagSemRep.20},
}
Document
Directions of Future Database Research (Dagstuhl Seminar 9137)

Authors: Francois Bancilhon, Peter Lockemann, and Dionysis Tsichritzis


Abstract

Cite as

Francois Bancilhon, Peter Lockemann, and Dionysis Tsichritzis. Directions of Future Database Research (Dagstuhl Seminar 9137). Dagstuhl Seminar Report 21, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{bancilhon_et_al:DagSemRep.21,
  author =	{Bancilhon, Francois and Lockemann, Peter and Tsichritzis, Dionysis},
  title =	{{Directions of Future Database Research (Dagstuhl Seminar 9137)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{21},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.21},
  URN =		{urn:nbn:de:0030-drops-149091},
  doi =		{10.4230/DagSemRep.21},
}
Document
Computational Geometry (Dagstuhl Seminar 9141)

Authors: Helmut Alt, Bernard Chazelle, and Emo Welzl


Abstract

Cite as

Helmut Alt, Bernard Chazelle, and Emo Welzl. Computational Geometry (Dagstuhl Seminar 9141). Dagstuhl Seminar Report 22, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{alt_et_al:DagSemRep.22,
  author =	{Alt, Helmut and Chazelle, Bernard and Welzl, Emo},
  title =	{{Computational Geometry (Dagstuhl Seminar 9141)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{22},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.22},
  URN =		{urn:nbn:de:0030-drops-149101},
  doi =		{10.4230/DagSemRep.22},
}
Document
Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142)

Authors: Franz-Josef Brandenburg, Jean Berstel, and Detlef Wotschke


Abstract

Cite as

Franz-Josef Brandenburg, Jean Berstel, and Detlef Wotschke. Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142). Dagstuhl Seminar Report 23, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{brandenburg_et_al:DagSemRep.23,
  author =	{Brandenburg, Franz-Josef and Berstel, Jean and Wotschke, Detlef},
  title =	{{Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{23},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.23},
  URN =		{urn:nbn:de:0030-drops-149113},
  doi =		{10.4230/DagSemRep.23},
}
Document
Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)

Authors: Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka


Abstract

Cite as

Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka. Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143). Dagstuhl Seminar Report 24, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{comon_et_al:DagSemRep.24,
  author =	{Comon, Hubert and Ganzinger, Harald and Kirchner, Claude and Kirchner, H\'{e}l\`{e}ne and Lassez, Jean-Louis and Smolka, Gert},
  title =	{{Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{24},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.24},
  URN =		{urn:nbn:de:0030-drops-149127},
  doi =		{10.4230/DagSemRep.24},
}
Document
Data Structures (Dagstuhl Seminar 9145)

Authors: Hartmut Noltemeier, Thomas Ottmann, and Derick Wood


Abstract

Cite as

Hartmut Noltemeier, Thomas Ottmann, and Derick Wood. Data Structures (Dagstuhl Seminar 9145). Dagstuhl Seminar Report 25, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{noltemeier_et_al:DagSemRep.25,
  author =	{Noltemeier, Hartmut and Ottmann, Thomas and Wood, Derick},
  title =	{{Data Structures (Dagstuhl Seminar 9145)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{25},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.25},
  URN =		{urn:nbn:de:0030-drops-149139},
  doi =		{10.4230/DagSemRep.25},
}
Document
Efficient Interpolation Algorithms (Dagstuhl Seminar 9149)

Authors: Andreas Dress, Marek Karpinski, and Michael Singer


Abstract

Cite as

Andreas Dress, Marek Karpinski, and Michael Singer. Efficient Interpolation Algorithms (Dagstuhl Seminar 9149). Dagstuhl Seminar Report 26, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{dress_et_al:DagSemRep.26,
  author =	{Dress, Andreas and Karpinski, Marek and Singer, Michael},
  title =	{{Efficient Interpolation Algorithms (Dagstuhl Seminar 9149)}},
  pages =	{1--15},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{26},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.26},
  URN =		{urn:nbn:de:0030-drops-149141},
  doi =		{10.4230/DagSemRep.26},
}
Document
Algorithms of Computeralgebra (Dagstuhl Seminar 9151)

Authors: Bruno Buchberger, James Davenport, and Fritz Schwarz


Abstract

Cite as

Bruno Buchberger, James Davenport, and Fritz Schwarz. Algorithms of Computeralgebra (Dagstuhl Seminar 9151). Dagstuhl Seminar Report 27, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{buchberger_et_al:DagSemRep.27,
  author =	{Buchberger, Bruno and Davenport, James and Schwarz, Fritz},
  title =	{{Algorithms of Computeralgebra (Dagstuhl Seminar 9151)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{27},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.27},
  URN =		{urn:nbn:de:0030-drops-149151},
  doi =		{10.4230/DagSemRep.27},
}
Document
Automata Theory: Infinite Computations (Dagstuhl Seminar 9202)

Authors: Kevin Compton, Jean-Eric Pin, and Wolfgang Thomas


Abstract

Cite as

Kevin Compton, Jean-Eric Pin, and Wolfgang Thomas. Automata Theory: Infinite Computations (Dagstuhl Seminar 9202). Dagstuhl Seminar Report 28, pp. 1-29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{compton_et_al:DagSemRep.28,
  author =	{Compton, Kevin and Pin, Jean-Eric and Thomas, Wolfgang},
  title =	{{Automata Theory: Infinite Computations (Dagstuhl Seminar 9202)}},
  pages =	{1--29},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{28},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.28},
  URN =		{urn:nbn:de:0030-drops-149166},
  doi =		{10.4230/DagSemRep.28},
}
Document
Software Construction - Foundation and Application (Dagstuhl Seminar 9203)

Authors: Hans Langmaack, Erich Neuhold, and Manfred Paul


Abstract

Cite as

Hans Langmaack, Erich Neuhold, and Manfred Paul. Software Construction - Foundation and Application (Dagstuhl Seminar 9203). Dagstuhl Seminar Report 29, pp. 1-36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{langmaack_et_al:DagSemRep.29,
  author =	{Langmaack, Hans and Neuhold, Erich and Paul, Manfred},
  title =	{{Software Construction - Foundation and Application (Dagstuhl Seminar 9203)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{29},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.29},
  URN =		{urn:nbn:de:0030-drops-149172},
  doi =		{10.4230/DagSemRep.29},
}
Document
Structure and Complexity Theory (Dagstuhl Seminar 9206)

Authors: Klaus Ambos-Spies, Steven Homer, and Uwe Schöning


Abstract

Cite as

Klaus Ambos-Spies, Steven Homer, and Uwe Schöning. Structure and Complexity Theory (Dagstuhl Seminar 9206). Dagstuhl Seminar Report 30, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{ambosspies_et_al:DagSemRep.30,
  author =	{Ambos-Spies, Klaus and Homer, Steven and Sch\"{o}ning, Uwe},
  title =	{{Structure and Complexity Theory (Dagstuhl Seminar 9206)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{30},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.30},
  URN =		{urn:nbn:de:0030-drops-149183},
  doi =		{10.4230/DagSemRep.30},
}
Document
Limits of Information-technological Models (Dagstuhl Seminar 9207)

Authors: Bernhelm Booß, Wolfgang Coy, and Jörg-Martin Pflüger


Abstract

Cite as

Bernhelm Booß, Wolfgang Coy, and Jörg-Martin Pflüger. Limits of Information-technological Models (Dagstuhl Seminar 9207). Dagstuhl Seminar Report 31, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{boo_et_al:DagSemRep.31,
  author =	{Boo{\ss}, Bernhelm and Coy, Wolfgang and Pfl\"{u}ger, J\"{o}rg-Martin},
  title =	{{Limits of Information-technological Models (Dagstuhl Seminar 9207)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{31},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.31},
  URN =		{urn:nbn:de:0030-drops-149196},
  doi =		{10.4230/DagSemRep.31},
}
Document
Future Directions in Software Engineering (Dagstuhl Seminar 9208)

Authors: Nico Habermann and Walter Tichy


Abstract

Cite as

Nico Habermann and Walter Tichy. Future Directions in Software Engineering (Dagstuhl Seminar 9208). Dagstuhl Seminar Report 32, pp. 1-41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{habermann_et_al:DagSemRep.32,
  author =	{Habermann, Nico and Tichy, Walter},
  title =	{{Future Directions in Software Engineering (Dagstuhl Seminar 9208)}},
  pages =	{1--41},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{32},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.32},
  URN =		{urn:nbn:de:0030-drops-149206},
  doi =		{10.4230/DagSemRep.32},
}
Document
Parallel and Distributed Algorithms (Dagstuhl Seminar 9210)

Authors: Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide


Abstract

Cite as

Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide. Parallel and Distributed Algorithms (Dagstuhl Seminar 9210). Dagstuhl Seminar Report 33, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{cole_et_al:DagSemRep.33,
  author =	{Cole, Richard and Mayr, Ernst W. and Meyer auf der Heide, Friedhelm},
  title =	{{Parallel and Distributed Algorithms (Dagstuhl Seminar 9210)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{33},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.33},
  URN =		{urn:nbn:de:0030-drops-149216},
  doi =		{10.4230/DagSemRep.33},
}
Document
Programming Environments (Dagstuhl Seminar 9211)

Authors: Paul Klint, Thomas Reps, and Gregor Sneltig


Abstract

Cite as

Paul Klint, Thomas Reps, and Gregor Sneltig. Programming Environments (Dagstuhl Seminar 9211). Dagstuhl Seminar Report 34, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{klint_et_al:DagSemRep.34,
  author =	{Klint, Paul and Reps, Thomas and Sneltig, Gregor},
  title =	{{Programming Environments (Dagstuhl Seminar 9211)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{34},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.34},
  URN =		{urn:nbn:de:0030-drops-149222},
  doi =		{10.4230/DagSemRep.34},
}
Document
Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212)

Authors: Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas


Abstract

Cite as

Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas. Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212). Dagstuhl Seminar Report 35, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.35,
  author =	{Ehrich, Hans-Dieter and Goguen, Joseph A. and Sernadas, Amilcar},
  title =	{{Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{35},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.35},
  URN =		{urn:nbn:de:0030-drops-149231},
  doi =		{10.4230/DagSemRep.35},
}
Document
Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213)

Authors: Werner Damm, Chris Hankin, and John Hughes


Abstract

Cite as

Werner Damm, Chris Hankin, and John Hughes. Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213). Dagstuhl Seminar Report 36, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{damm_et_al:DagSemRep.36,
  author =	{Damm, Werner and Hankin, Chris and Hughes, John},
  title =	{{Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{36},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.36},
  URN =		{urn:nbn:de:0030-drops-149240},
  doi =		{10.4230/DagSemRep.36},
}
Document
System Security (Dagstuhl Seminar 9214)

Authors: Thomas Beth, Whithfield Diffie, and Gustavus J. Simmons


Abstract

Cite as

Thomas Beth, Whithfield Diffie, and Gustavus J. Simmons. System Security (Dagstuhl Seminar 9214). Dagstuhl Seminar Report 37, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{beth_et_al:DagSemRep.37,
  author =	{Beth, Thomas and Diffie, Whithfield and Simmons, Gustavus J.},
  title =	{{System Security (Dagstuhl Seminar 9214)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{37},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.37},
  URN =		{urn:nbn:de:0030-drops-149259},
  doi =		{10.4230/DagSemRep.37},
}
Document
Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215)

Authors: Clarence A. Ellis and Matthias Jarke


Abstract

Cite as

Clarence A. Ellis and Matthias Jarke. Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215). Dagstuhl Seminar Report 38, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{ellis_et_al:DagSemRep.38,
  author =	{Ellis, Clarence A. and Jarke, Matthias},
  title =	{{Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{38},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.38},
  URN =		{urn:nbn:de:0030-drops-149263},
  doi =		{10.4230/DagSemRep.38},
}
Document
Algorithms and Number Theory (Dagstuhl Seminar 9226)

Authors: Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst G. Zimmer


Abstract

Cite as

Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst G. Zimmer. Algorithms and Number Theory (Dagstuhl Seminar 9226). Dagstuhl Seminar Report 39, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{buchmann_et_al:DagSemRep.39,
  author =	{Buchmann, Johannes and Niederreiter, Harald and Odlyzko, Andrew M. and Zimmer, Horst G.},
  title =	{{Algorithms and Number Theory (Dagstuhl Seminar 9226)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{39},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.39},
  URN =		{urn:nbn:de:0030-drops-149278},
  doi =		{10.4230/DagSemRep.39},
}
Document
Computer Science Logic (Dagstuhl Seminar 9229)

Authors: Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter


Abstract

Cite as

Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter. Computer Science Logic (Dagstuhl Seminar 9229). Dagstuhl Seminar Report 40, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{borger_et_al:DagSemRep.40,
  author =	{B\"{o}rger, Egon and Gurevich, Yuri and Kleine-B\"{u}ning, Hans and Richter, M. M.},
  title =	{{Computer Science Logic (Dagstuhl Seminar 9229)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{40},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.40},
  URN =		{urn:nbn:de:0030-drops-149288},
  doi =		{10.4230/DagSemRep.40},
}
Document
Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230)

Authors: Joachim von zur Gathen, Marek Karpinski, and Dexter Kozen


Abstract

Cite as

Joachim von zur Gathen, Marek Karpinski, and Dexter Kozen. Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230). Dagstuhl Seminar Report 41, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{vonzurgathen_et_al:DagSemRep.41,
  author =	{von zur Gathen, Joachim and Karpinski, Marek and Kozen, Dexter},
  title =	{{Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{41},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.41},
  URN =		{urn:nbn:de:0030-drops-149291},
  doi =		{10.4230/DagSemRep.41},
}
Document
6th International Workshop on Unification (Dagstuhl Seminar 9231)

Authors: Franz Baader, Jörg Siekmann, and Wayne Snyder


Abstract

Cite as

Franz Baader, Jörg Siekmann, and Wayne Snyder. 6th International Workshop on Unification (Dagstuhl Seminar 9231). Dagstuhl Seminar Report 42, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{baader_et_al:DagSemRep.42,
  author =	{Baader, Franz and Siekmann, J\"{o}rg and Snyder, Wayne},
  title =	{{6th International Workshop on Unification (Dagstuhl Seminar 9231)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{42},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.42},
  URN =		{urn:nbn:de:0030-drops-149301},
  doi =		{10.4230/DagSemRep.42},
}
Document
Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)

Authors: James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump


Abstract

Cite as

James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump. Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232). Dagstuhl Seminar Report 43, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{davenport_et_al:DagSemRep.43,
  author =	{Davenport, James H. and Kr\"{u}ckeberg, Fritz and More, Ramon E. and Rump, Siegfried M.},
  title =	{{Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{43},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.43},
  URN =		{urn:nbn:de:0030-drops-149318},
  doi =		{10.4230/DagSemRep.43},
}
Document
Third International Workshop on User Modellng (UM'92) (Dagstuhl Seminar 9233)

Authors: Robin Cohen, Bob Kass, Cécile Paris, and Wolfgang Wahlster


Abstract

Cite as

Robin Cohen, Bob Kass, Cécile Paris, and Wolfgang Wahlster. Third International Workshop on User Modellng (UM'92) (Dagstuhl Seminar 9233). Dagstuhl Seminar Report 44, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{cohen_et_al:DagSemRep.44,
  author =	{Cohen, Robin and Kass, Bob and Paris, C\'{e}cile and Wahlster, Wolfgang},
  title =	{{Third International Workshop on User Modellng (UM'92) (Dagstuhl Seminar 9233)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{44},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.44},
  URN =		{urn:nbn:de:0030-drops-149327},
  doi =		{10.4230/DagSemRep.44},
}
Document
Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235)

Authors: Rüdiger Reischuk and Dietmar Uhlig


Abstract

Cite as

Rüdiger Reischuk and Dietmar Uhlig. Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235). Dagstuhl Seminar Report 45, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{reischuk_et_al:DagSemRep.45,
  author =	{Reischuk, R\"{u}diger and Uhlig, Dietmar},
  title =	{{Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{45},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.45},
  URN =		{urn:nbn:de:0030-drops-149332},
  doi =		{10.4230/DagSemRep.45},
}
Document
Molecular Bioinformatics (Dagstuhl Seminar 9237)

Authors: Thomas Lengauer, Dietmar Schomburg, and Michael S. Waterman


Abstract

Cite as

Thomas Lengauer, Dietmar Schomburg, and Michael S. Waterman. Molecular Bioinformatics (Dagstuhl Seminar 9237). Dagstuhl Seminar Report 46, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{lengauer_et_al:DagSemRep.46,
  author =	{Lengauer, Thomas and Schomburg, Dietmar and Waterman, Michael S.},
  title =	{{Molecular Bioinformatics (Dagstuhl Seminar 9237)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{46},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.46},
  URN =		{urn:nbn:de:0030-drops-149349},
  doi =		{10.4230/DagSemRep.46},
}
Document
Experimental Software Engineering Issues (Dagstuhl Seminar 9238)

Authors: Victor R. Basili, H. Dieter Rombach, and Richard W. Selby


Abstract

Cite as

Victor R. Basili, H. Dieter Rombach, and Richard W. Selby. Experimental Software Engineering Issues (Dagstuhl Seminar 9238). Dagstuhl Seminar Report 47, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{basili_et_al:DagSemRep.47,
  author =	{Basili, Victor R. and Rombach, H. Dieter and Selby, Richard W.},
  title =	{{Experimental Software Engineering Issues (Dagstuhl Seminar 9238)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{47},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.47},
  URN =		{urn:nbn:de:0030-drops-149356},
  doi =		{10.4230/DagSemRep.47},
}
Document
Informatik und Philosophie (Dagstuhl Seminar 9239)

Authors: Yvonne Dittrich, Heiner Hastedt, and Peter Schefe


Abstract

Cite as

Yvonne Dittrich, Heiner Hastedt, and Peter Schefe. Informatik und Philosophie (Dagstuhl Seminar 9239). Dagstuhl Seminar Report 48, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{dittrich_et_al:DagSemRep.48,
  author =	{Dittrich, Yvonne and Hastedt, Heiner and Schefe, Peter},
  title =	{{Informatik und Philosophie (Dagstuhl Seminar 9239)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{48},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.48},
  URN =		{urn:nbn:de:0030-drops-149369},
  doi =		{10.4230/DagSemRep.48},
}
Document
Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241)

Authors: Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke


Abstract

Cite as

Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke. Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241). Dagstuhl Seminar Report 49, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{daley_et_al:DagSemRep.49,
  author =	{Daley, Robert P. and Furbach, Ulrich and Jantke, Klaus Peter},
  title =	{{Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{49},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.49},
  URN =		{urn:nbn:de:0030-drops-149374},
  doi =		{10.4230/DagSemRep.49},
}
Document
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242)

Authors: Erich Novak, Steve Smale, and Joseph F. Traub


Abstract

Cite as

Erich Novak, Steve Smale, and Joseph F. Traub. Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242). Dagstuhl Seminar Report 50, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{novak_et_al:DagSemRep.50,
  author =	{Novak, Erich and Smale, Steve and Traub, Joseph F.},
  title =	{{Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{50},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.50},
  URN =		{urn:nbn:de:0030-drops-149383},
  doi =		{10.4230/DagSemRep.50},
}
Document
Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245)

Authors: José Encarnação and James Foley


Abstract

Cite as

José Encarnação and James Foley. Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245). Dagstuhl Seminar Report 51, pp. 1-87, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{encarnacao_et_al:DagSemRep.51,
  author =	{Encarna\c{c}\~{a}o, Jos\'{e} and Foley, James},
  title =	{{Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245)}},
  pages =	{1--87},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{51},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.51},
  URN =		{urn:nbn:de:0030-drops-149396},
  doi =		{10.4230/DagSemRep.51},
}
Document
Self-Timed Design (Dagstuhl Seminar 9249)

Authors: Franz J. Rammig, Jorgen Staunstrup, and Gerhard Zimmermann


Abstract

Cite as

Franz J. Rammig, Jorgen Staunstrup, and Gerhard Zimmermann. Self-Timed Design (Dagstuhl Seminar 9249). Dagstuhl Seminar Report 52, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{rammig_et_al:DagSemRep.52,
  author =	{Rammig, Franz J. and Staunstrup, Jorgen and Zimmermann, Gerhard},
  title =	{{Self-Timed Design (Dagstuhl Seminar 9249)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{52},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.52},
  URN =		{urn:nbn:de:0030-drops-149406},
  doi =		{10.4230/DagSemRep.52},
}
Document
Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)

Authors: Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider


Abstract

Cite as

Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider. Graph-Transformations in Computer Science (Dagstuhl Seminar 9301). Dagstuhl Seminar Report 53, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{courcelle_et_al:DagSemRep.53,
  author =	{Courcelle, Bruno and Ehrig, Hartmut and Rozenberg, Grzegorz and Schneider, Hans J\"{u}rgen},
  title =	{{Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{53},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.53},
  URN =		{urn:nbn:de:0030-drops-149411},
  doi =		{10.4230/DagSemRep.53},
}
Document
Automata Theory: Distributed Models (Dagstuhl Seminar 9302)

Authors: André Arnold, Lutz Priese, and Roland Vollmer


Abstract

Cite as

André Arnold, Lutz Priese, and Roland Vollmer. Automata Theory: Distributed Models (Dagstuhl Seminar 9302). Dagstuhl Seminar Report 54, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{arnold_et_al:DagSemRep.54,
  author =	{Arnold, Andr\'{e} and Priese, Lutz and Vollmer, Roland},
  title =	{{Automata Theory: Distributed Models (Dagstuhl Seminar 9302)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{54},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.54},
  URN =		{urn:nbn:de:0030-drops-149422},
  doi =		{10.4230/DagSemRep.54},
}
Document
Versioning in Database Management Systems (Dagstuhl Seminar 9305)

Authors: Wojciech Cellary, Krishnamurthy Vidyasankar, and Gottfried Vossen


Abstract

Cite as

Wojciech Cellary, Krishnamurthy Vidyasankar, and Gottfried Vossen. Versioning in Database Management Systems (Dagstuhl Seminar 9305). Dagstuhl Seminar Report 55, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{cellary_et_al:DagSemRep.55,
  author =	{Cellary, Wojciech and Vidyasankar, Krishnamurthy and Vossen, Gottfried},
  title =	{{Versioning in Database Management Systems (Dagstuhl Seminar 9305)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{55},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.55},
  URN =		{urn:nbn:de:0030-drops-149433},
  doi =		{10.4230/DagSemRep.55},
}
Document
Computer Aided Design and Test (Dagstuhl Seminar 9307)

Authors: Bernd Becker, Randal Bryant, and Christoph Meinel


Abstract

Cite as

Bernd Becker, Randal Bryant, and Christoph Meinel. Computer Aided Design and Test (Dagstuhl Seminar 9307). Dagstuhl Seminar Report 56, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.56,
  author =	{Becker, Bernd and Bryant, Randal and Meinel, Christoph},
  title =	{{Computer Aided Design and Test (Dagstuhl Seminar 9307)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{56},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.56},
  URN =		{urn:nbn:de:0030-drops-149448},
  doi =		{10.4230/DagSemRep.56},
}
Document
Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308)

Authors: Manfred Pinkal, Remko Scha, and Lenhart Schubert


Abstract

Cite as

Manfred Pinkal, Remko Scha, and Lenhart Schubert. Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308). Dagstuhl Seminar Report 57, pp. 1-119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{pinkal_et_al:DagSemRep.57,
  author =	{Pinkal, Manfred and Scha, Remko and Schubert, Lenhart},
  title =	{{Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308)}},
  pages =	{1--119},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{57},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.57},
  URN =		{urn:nbn:de:0030-drops-149454},
  doi =		{10.4230/DagSemRep.57},
}
Document
Deduction (Dagstuhl Seminar 9310)

Authors: Wolfgang Bibel, Koichi Furukawa, and Mark Stickel


Abstract

Cite as

Wolfgang Bibel, Koichi Furukawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9310). Dagstuhl Seminar Report 58, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.58,
  author =	{Bibel, Wolfgang and Furukawa, Koichi and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9310)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{58},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.58},
  URN =		{urn:nbn:de:0030-drops-149466},
  doi =		{10.4230/DagSemRep.58},
}
Document
Computational Geometry (Dagstuhl Seminar 9312)

Authors: Helmut Alt, Bernard Chazelle, and Emo Welzl


Abstract

Cite as

Helmut Alt, Bernard Chazelle, and Emo Welzl. Computational Geometry (Dagstuhl Seminar 9312). Dagstuhl Seminar Report 59, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{alt_et_al:DagSemRep.59,
  author =	{Alt, Helmut and Chazelle, Bernard and Welzl, Emo},
  title =	{{Computational Geometry (Dagstuhl Seminar 9312)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{59},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.59},
  URN =		{urn:nbn:de:0030-drops-149479},
  doi =		{10.4230/DagSemRep.59},
}
Document
Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313)

Authors: Hans Kamp and James Pustejovsky


Abstract

Cite as

Hans Kamp and James Pustejovsky. Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313). Dagstuhl Seminar Report 60, pp. 1-39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{kamp_et_al:DagSemRep.60,
  author =	{Kamp, Hans and Pustejovsky, James},
  title =	{{Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{60},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.60},
  URN =		{urn:nbn:de:0030-drops-149488},
  doi =		{10.4230/DagSemRep.60},
}
Document
Graphics & Robotics (Dagstuhl Seminar 9316)

Authors: Wolfgang Strasser and Friedrich Wahl


Abstract

Cite as

Wolfgang Strasser and Friedrich Wahl. Graphics & Robotics (Dagstuhl Seminar 9316). Dagstuhl Seminar Report 61, pp. 1-67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{strasser_et_al:DagSemRep.61,
  author =	{Strasser, Wolfgang and Wahl, Friedrich},
  title =	{{Graphics \& Robotics (Dagstuhl Seminar 9316)}},
  pages =	{1--67},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{61},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.61},
  URN =		{urn:nbn:de:0030-drops-149491},
  doi =		{10.4230/DagSemRep.61},
}
Document
Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317)

Authors: Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban


Abstract

Cite as

Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban. Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317). Dagstuhl Seminar Report 62, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{beeri_et_al:DagSemRep.62,
  author =	{Beeri, Catriel and Heuer, Andreas and Saake, Gunter and Urban, Susan},
  title =	{{Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{62},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.62},
  URN =		{urn:nbn:de:0030-drops-149501},
  doi =		{10.4230/DagSemRep.62},
}
Document
Descriptional Complexity (Dagstuhl Seminar 9318)

Authors: Ronald V. Book, Edwin Pednault, and Detlef Wotschke


Abstract

Cite as

Ronald V. Book, Edwin Pednault, and Detlef Wotschke. Descriptional Complexity (Dagstuhl Seminar 9318). Dagstuhl Seminar Report 63, pp. 1-36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{book_et_al:DagSemRep.63,
  author =	{Book, Ronald V. and Pednault, Edwin and Wotschke, Detlef},
  title =	{{Descriptional Complexity (Dagstuhl Seminar 9318)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{63},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.63},
  URN =		{urn:nbn:de:0030-drops-149513},
  doi =		{10.4230/DagSemRep.63},
}
Document
Specification and Semantics (Dagstuhl Seminar 9321)

Authors: Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing


Abstract

Cite as

Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9321). Dagstuhl Seminar Report 64, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.64,
  author =	{Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin},
  title =	{{Specification and Semantics (Dagstuhl Seminar 9321)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{64},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.64},
  URN =		{urn:nbn:de:0030-drops-149527},
  doi =		{10.4230/DagSemRep.64},
}
Document
Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)

Authors: Manfred Droste and Yuri Gurevich


Abstract

Cite as

Manfred Droste and Yuri Gurevich. Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323). Dagstuhl Seminar Report 65, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{droste_et_al:DagSemRep.65,
  author =	{Droste, Manfred and Gurevich, Yuri},
  title =	{{Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{65},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.65},
  URN =		{urn:nbn:de:0030-drops-149534},
  doi =		{10.4230/DagSemRep.65},
}
Document
Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325)

Authors: Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele


Abstract

Cite as

Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele. Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325). Dagstuhl Seminar Report 66, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{lengauer_et_al:DagSemRep.66,
  author =	{Lengauer, Christian and Quinton, Patrice and Robert, Yves and Thiele, Lothar},
  title =	{{Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{66},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.66},
  URN =		{urn:nbn:de:0030-drops-149547},
  doi =		{10.4230/DagSemRep.66},
}
Document
Geometric Modelling (Dagstuhl Seminar 9326)

Authors: Gerald Farin, Hans Hagen, and Hartmut Noltemeier


Abstract

Cite as

Gerald Farin, Hans Hagen, and Hartmut Noltemeier. Geometric Modelling (Dagstuhl Seminar 9326). Dagstuhl Seminar Report 67, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{farin_et_al:DagSemRep.67,
  author =	{Farin, Gerald and Hagen, Hans and Noltemeier, Hartmut},
  title =	{{Geometric Modelling (Dagstuhl Seminar 9326)}},
  pages =	{1--17},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{67},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.67},
  URN =		{urn:nbn:de:0030-drops-149551},
  doi =		{10.4230/DagSemRep.67},
}
Document
"Average-Case"-Analysis of Algorithms (Dagstuhl Seminar 9328)

Authors: Philippe Flajolet, Rainer Kemp, and Helmut Prodinger


Abstract

Cite as

Philippe Flajolet, Rainer Kemp, and Helmut Prodinger. "Average-Case"-Analysis of Algorithms (Dagstuhl Seminar 9328). Dagstuhl Seminar Report 68, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{flajolet_et_al:DagSemRep.68,
  author =	{Flajolet, Philippe and Kemp, Rainer and Prodinger, Helmut},
  title =	{{"Average-Case"-Analysis of Algorithms (Dagstuhl Seminar 9328)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{68},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.68},
  URN =		{urn:nbn:de:0030-drops-149562},
  doi =		{10.4230/DagSemRep.68},
}
Document
Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)

Authors: John W. Gray, Andrew M. Pitts, and Kurt Sieber


Abstract

Cite as

John W. Gray, Andrew M. Pitts, and Kurt Sieber. Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329). Dagstuhl Seminar Report 69, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{gray_et_al:DagSemRep.69,
  author =	{Gray, John W. and Pitts, Andrew M. and Sieber, Kurt},
  title =	{{Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{69},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.69},
  URN =		{urn:nbn:de:0030-drops-149575},
  doi =		{10.4230/DagSemRep.69},
}
Document
Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)

Authors: Dov M. Gabbay and Hans Jürgen Ohlbach


Abstract

Cite as

Dov M. Gabbay and Hans Jürgen Ohlbach. Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334). Dagstuhl Seminar Report 70, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{gabbay_et_al:DagSemRep.70,
  author =	{Gabbay, Dov M. and Ohlbach, Hans J\"{u}rgen},
  title =	{{Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{70},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.70},
  URN =		{urn:nbn:de:0030-drops-149583},
  doi =		{10.4230/DagSemRep.70},
}
Document
Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335)

Authors: André Danthine, Wofgang Effelsberg, and Otto Spaniol


Abstract

Cite as

André Danthine, Wofgang Effelsberg, and Otto Spaniol. Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335). Dagstuhl Seminar Report 71, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{danthine_et_al:DagSemRep.71,
  author =	{Danthine, Andr\'{e} and Effelsberg, Wofgang and Spaniol, Otto},
  title =	{{Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{71},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.71},
  URN =		{urn:nbn:de:0030-drops-149596},
  doi =		{10.4230/DagSemRep.71},
}
Document
Parallel and Distributed Algorithms (Dagstuhl Seminar 9337)

Authors: Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide


Abstract

Cite as

Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide. Parallel and Distributed Algorithms (Dagstuhl Seminar 9337). Dagstuhl Seminar Report 72, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{cole_et_al:DagSemRep.72,
  author =	{Cole, Richard and Mayr, Ernst W. and Meyer auf der Heide, Friedhelm},
  title =	{{Parallel and Distributed Algorithms (Dagstuhl Seminar 9337)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{72},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.72},
  URN =		{urn:nbn:de:0030-drops-149606},
  doi =		{10.4230/DagSemRep.72},
}
Document
Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)

Authors: Victor Marek, Anil Nerode, and Peter H. Schmitt


Abstract

Cite as

Victor Marek, Anil Nerode, and Peter H. Schmitt. Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338). Dagstuhl Seminar Report 73, pp. 1-36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{marek_et_al:DagSemRep.73,
  author =	{Marek, Victor and Nerode, Anil and Schmitt, Peter H.},
  title =	{{Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{73},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.73},
  URN =		{urn:nbn:de:0030-drops-149616},
  doi =		{10.4230/DagSemRep.73},
}
Document
Cryptography (Dagstuhl Seminar 9339)

Authors: Andrew M. Odlyzko, Claus P. Schnorr, and Adi Shamir


Abstract

Cite as

Andrew M. Odlyzko, Claus P. Schnorr, and Adi Shamir. Cryptography (Dagstuhl Seminar 9339). Dagstuhl Seminar Report 74, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{odlyzko_et_al:DagSemRep.74,
  author =	{Odlyzko, Andrew M. and Schnorr, Claus P. and Shamir, Adi},
  title =	{{Cryptography (Dagstuhl Seminar 9339)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{74},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.74},
  URN =		{urn:nbn:de:0030-drops-149622},
  doi =		{10.4230/DagSemRep.74},
}
Document
Computational Kinematics (Dagstuhl Seminar 9341)

Authors: Jorge Angeles, Günter Hommer, and Peter Kovacs


Abstract

Cite as

Jorge Angeles, Günter Hommer, and Peter Kovacs. Computational Kinematics (Dagstuhl Seminar 9341). Dagstuhl Seminar Report 75, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{angeles_et_al:DagSemRep.75,
  author =	{Angeles, Jorge and Hommer, G\"{u}nter and Kovacs, Peter},
  title =	{{Computational Kinematics (Dagstuhl Seminar 9341)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{75},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.75},
  URN =		{urn:nbn:de:0030-drops-149636},
  doi =		{10.4230/DagSemRep.75},
}
Document
Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342)

Authors: Thomas Lengauer, Majid Sarrafzadeh, and Dorothea Wagner


Abstract

Cite as

Thomas Lengauer, Majid Sarrafzadeh, and Dorothea Wagner. Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342). Dagstuhl Seminar Report 76, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{lengauer_et_al:DagSemRep.76,
  author =	{Lengauer, Thomas and Sarrafzadeh, Majid and Wagner, Dorothea},
  title =	{{Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{76},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.76},
  URN =		{urn:nbn:de:0030-drops-149646},
  doi =		{10.4230/DagSemRep.76},
}
Document
Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343)

Authors: Susanne Biundo and Richard Waldinger


Abstract

Cite as

Susanne Biundo and Richard Waldinger. Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343). Dagstuhl Seminar Report 77, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{biundo_et_al:DagSemRep.77,
  author =	{Biundo, Susanne and Waldinger, Richard},
  title =	{{Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{77},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.77},
  URN =		{urn:nbn:de:0030-drops-149659},
  doi =		{10.4230/DagSemRep.77},
}
Document
Counting Issues: Theory and Application (Dagstuhl Seminar 9349)

Authors: Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel


Abstract

Cite as

Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel. Counting Issues: Theory and Application (Dagstuhl Seminar 9349). Dagstuhl Seminar Report 78, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{gritzmann_et_al:DagSemRep.78,
  author =	{Gritzmann, Peter and Johnson, David and Klee, Victor and Meinel, Christoph},
  title =	{{Counting Issues: Theory and Application (Dagstuhl Seminar 9349)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{78},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.78},
  URN =		{urn:nbn:de:0030-drops-149668},
  doi =		{10.4230/DagSemRep.78},
}
Document
Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350)

Authors: Brigitte Endres-Niggermeyer, Jerry Hobbs, and Karen Sparck Jones


Abstract

Cite as

Brigitte Endres-Niggermeyer, Jerry Hobbs, and Karen Sparck Jones. Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350). Dagstuhl Seminar Report 79, pp. 1-36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{endresniggermeyer_et_al:DagSemRep.79,
  author =	{Endres-Niggermeyer, Brigitte and Hobbs, Jerry and Sparck Jones, Karen},
  title =	{{Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{79},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.79},
  URN =		{urn:nbn:de:0030-drops-149671},
  doi =		{10.4230/DagSemRep.79},
}
Document
Relational Methods in Computer Science (Dagstuhl Seminar 9403)

Authors: Chris Brink and Gunther Schmidt


Abstract

Cite as

Chris Brink and Gunther Schmidt. Relational Methods in Computer Science (Dagstuhl Seminar 9403). Dagstuhl Seminar Report 80, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{brink_et_al:DagSemRep.80,
  author =	{Brink, Chris and Schmidt, Gunther},
  title =	{{Relational Methods in Computer Science (Dagstuhl Seminar 9403)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{80},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.80},
  URN =		{urn:nbn:de:0030-drops-149688},
  doi =		{10.4230/DagSemRep.80},
}
Document
Algorithms in Automata Theory (Dagstuhl Seminar 9406)

Authors: André Arnold, Helmut Seidl, and Bernhard Steffen


Abstract

Cite as

André Arnold, Helmut Seidl, and Bernhard Steffen. Algorithms in Automata Theory (Dagstuhl Seminar 9406). Dagstuhl Seminar Report 81, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{arnold_et_al:DagSemRep.81,
  author =	{Arnold, Andr\'{e} and Seidl, Helmut and Steffen, Bernhard},
  title =	{{Algorithms in Automata Theory (Dagstuhl Seminar 9406)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{81},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.81},
  URN =		{urn:nbn:de:0030-drops-149691},
  doi =		{10.4230/DagSemRep.81},
}
Document
Structure and Complexity (Dagstuhl Seminar 9407)

Authors: Klaus Ambos-Spies, Steven Homer, and Uwe Schöning


Abstract

Cite as

Klaus Ambos-Spies, Steven Homer, and Uwe Schöning. Structure and Complexity (Dagstuhl Seminar 9407). Dagstuhl Seminar Report 82, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{ambosspies_et_al:DagSemRep.82,
  author =	{Ambos-Spies, Klaus and Homer, Steven and Sch\"{o}ning, Uwe},
  title =	{{Structure and Complexity (Dagstuhl Seminar 9407)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{82},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.82},
  URN =		{urn:nbn:de:0030-drops-149701},
  doi =		{10.4230/DagSemRep.82},
}
Document
Data Structures (Dagstuhl Seminar 9409)

Authors: Hartmut Noltemeier, Thomas Ottmann, and Derick Wood


Abstract

Cite as

Hartmut Noltemeier, Thomas Ottmann, and Derick Wood. Data Structures (Dagstuhl Seminar 9409). Dagstuhl Seminar Report 83, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{noltemeier_et_al:DagSemRep.83,
  author =	{Noltemeier, Hartmut and Ottmann, Thomas and Wood, Derick},
  title =	{{Data Structures (Dagstuhl Seminar 9409)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{83},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.83},
  URN =		{urn:nbn:de:0030-drops-149718},
  doi =		{10.4230/DagSemRep.83},
}
Document
Logical Theory for Program Construction (Dagstuhl Seminar 9410)

Authors: Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing


Abstract

Cite as

Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing. Logical Theory for Program Construction (Dagstuhl Seminar 9410). Dagstuhl Seminar Report 84, pp. 1-46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{finance_et_al:DagSemRep.84,
  author =	{Finance, Jean-Pierre and J\"{a}hnichen, Stefan and Loeckx, Jacques and Smith, Douglas and Wirsing, Martin},
  title =	{{Logical Theory for Program Construction (Dagstuhl Seminar 9410)}},
  pages =	{1--46},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{84},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.84},
  URN =		{urn:nbn:de:0030-drops-149727},
  doi =		{10.4230/DagSemRep.84},
}
Document
Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411)

Authors: Reinhard Klette, Walter G. Kropatsch, and Franc Solina


Abstract

Cite as

Reinhard Klette, Walter G. Kropatsch, and Franc Solina. Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411). Dagstuhl Seminar Report 85, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{klette_et_al:DagSemRep.85,
  author =	{Klette, Reinhard and Kropatsch, Walter G. and Solina, Franc},
  title =	{{Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{85},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.85},
  URN =		{urn:nbn:de:0030-drops-149737},
  doi =		{10.4230/DagSemRep.85},
}
Document
Active Databases (Dagstuhl Seminar 9412)

Authors: Alex Buchmann, Sharma Chakravarthy, and Klaus Dittrich


Abstract

Cite as

Alex Buchmann, Sharma Chakravarthy, and Klaus Dittrich. Active Databases (Dagstuhl Seminar 9412). Dagstuhl Seminar Report 86, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{buchmann_et_al:DagSemRep.86,
  author =	{Buchmann, Alex and Chakravarthy, Sharma and Dittrich, Klaus},
  title =	{{Active Databases (Dagstuhl Seminar 9412)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{86},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.86},
  URN =		{urn:nbn:de:0030-drops-149745},
  doi =		{10.4230/DagSemRep.86},
}
Document
Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415)

Authors: Fridhelm Meyer auf der Heide, Hans Jürgen Prömel, and Uli Upfal


Abstract

Cite as

Fridhelm Meyer auf der Heide, Hans Jürgen Prömel, and Uli Upfal. Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415). Dagstuhl Seminar Report 87, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{meyeraufderheide_et_al:DagSemRep.87,
  author =	{Meyer auf der Heide, Fridhelm and Pr\"{o}mel, Hans J\"{u}rgen and Upfal, Uli},
  title =	{{Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{87},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.87},
  URN =		{urn:nbn:de:0030-drops-149756},
  doi =		{10.4230/DagSemRep.87},
}
Document
Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)

Authors: Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps


Abstract

Cite as

Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps. Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418). Dagstuhl Seminar Report 88, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{vanleeuwen_et_al:DagSemRep.88,
  author =	{van Leeuwen, Jan and Mehlhorn, Kurt and Reps, Thomas},
  title =	{{Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{88},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.88},
  URN =		{urn:nbn:de:0030-drops-149765},
  doi =		{10.4230/DagSemRep.88},
}
Document
Functional Programming in the Real World (Dagstuhl Seminar 9420)

Authors: Robert Giegerich and John Hughes


Abstract

Cite as

Robert Giegerich and John Hughes. Functional Programming in the Real World (Dagstuhl Seminar 9420). Dagstuhl Seminar Report 89, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{giegerich_et_al:DagSemRep.89,
  author =	{Giegerich, Robert and Hughes, John},
  title =	{{Functional Programming in the Real World (Dagstuhl Seminar 9420)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{89},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.89},
  URN =		{urn:nbn:de:0030-drops-149776},
  doi =		{10.4230/DagSemRep.89},
}
Document
Scientific Visualization (Dagstuhl Seminar 9421)

Authors: Hans Hagen, Heinrich Müller, and Gregory N. Nielson


Abstract

Cite as

Hans Hagen, Heinrich Müller, and Gregory N. Nielson. Scientific Visualization (Dagstuhl Seminar 9421). Dagstuhl Seminar Report 90, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{hagen_et_al:DagSemRep.90,
  author =	{Hagen, Hans and M\"{u}ller, Heinrich and Nielson, Gregory N.},
  title =	{{Scientific Visualization (Dagstuhl Seminar 9421)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{90},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.90},
  URN =		{urn:nbn:de:0030-drops-149783},
  doi =		{10.4230/DagSemRep.90},
}
Document
Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426)

Authors: Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, and Manfred Warmuth


Abstract

Cite as

Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, and Manfred Warmuth. Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426). Dagstuhl Seminar Report 91, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{dietterich_et_al:DagSemRep.91,
  author =	{Dietterich, Thomas and Maass, Wolfgang and Simon, Hans-Ulrich and Warmuth, Manfred},
  title =	{{Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{91},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.91},
  URN =		{urn:nbn:de:0030-drops-149796},
  doi =		{10.4230/DagSemRep.91},
}
Document
Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427)

Authors: José Encarnação, James Foley, and Ralf Guido Herrtwich


Abstract

Cite as

José Encarnação, James Foley, and Ralf Guido Herrtwich. Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427). Dagstuhl Seminar Report 92, pp. 1-75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{encarnacao_et_al:DagSemRep.92,
  author =	{Encarna\c{c}\~{a}o, Jos\'{e} and Foley, James and Herrtwich, Ralf Guido},
  title =	{{Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427)}},
  pages =	{1--75},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{92},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.92},
  URN =		{urn:nbn:de:0030-drops-149806},
  doi =		{10.4230/DagSemRep.92},
}
Document
Principles of Natural Language Generation (Dagstuhl Seminar 9430)

Authors: Wolfgang Hoeppner, Helmut Horacek, and Johanna Moore


Abstract

Cite as

Wolfgang Hoeppner, Helmut Horacek, and Johanna Moore. Principles of Natural Language Generation (Dagstuhl Seminar 9430). Dagstuhl Seminar Report 93, pp. 1-62, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{hoeppner_et_al:DagSemRep.93,
  author =	{Hoeppner, Wolfgang and Horacek, Helmut and Moore, Johanna},
  title =	{{Principles of Natural Language Generation (Dagstuhl Seminar 9430)}},
  pages =	{1--62},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{93},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.93},
  URN =		{urn:nbn:de:0030-drops-149811},
  doi =		{10.4230/DagSemRep.93},
}
Document
Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431)

Authors: Alan Lesgold and Franz Schmalhofer


Abstract

Cite as

Alan Lesgold and Franz Schmalhofer. Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431). Dagstuhl Seminar Report 94, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{lesgold_et_al:DagSemRep.94,
  author =	{Lesgold, Alan and Schmalhofer, Franz},
  title =	{{Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{94},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.94},
  URN =		{urn:nbn:de:0030-drops-149822},
  doi =		{10.4230/DagSemRep.94},
}
Document
Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434)

Authors: Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner


Abstract

Cite as

Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner. Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434). Dagstuhl Seminar Report 95, pp. 1-47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.95,
  author =	{Ehrich, Hans-Dieter and Engels, Gregor and Paredaens, Jan and Wegner, Peter},
  title =	{{Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434)}},
  pages =	{1--47},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{95},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.95},
  URN =		{urn:nbn:de:0030-drops-149838},
  doi =		{10.4230/DagSemRep.95},
}
Document
Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436)

Authors: Kenneth Birman, Flaviu Cristian, Friedemann Mattern, and André Schiper


Abstract

Cite as

Kenneth Birman, Flaviu Cristian, Friedemann Mattern, and André Schiper. Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436). Dagstuhl Seminar Report 96, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{birman_et_al:DagSemRep.96,
  author =	{Birman, Kenneth and Cristian, Flaviu and Mattern, Friedemann and Schiper, Andr\'{e}},
  title =	{{Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{96},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.96},
  URN =		{urn:nbn:de:0030-drops-149844},
  doi =		{10.4230/DagSemRep.96},
}
Document
Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438)

Authors: Reinhard Keil-Slawik, Ina Wagner, and Liam Bannon


Abstract

Cite as

Reinhard Keil-Slawik, Ina Wagner, and Liam Bannon. Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438). Dagstuhl Seminar Report 97, pp. 1-56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{keilslawik_et_al:DagSemRep.97,
  author =	{Keil-Slawik, Reinhard and Wagner, Ina and Bannon, Liam},
  title =	{{Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438)}},
  pages =	{1--56},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{97},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.97},
  URN =		{urn:nbn:de:0030-drops-149854},
  doi =		{10.4230/DagSemRep.97},
}
Document
Specification Problem (Dagstuhl Seminar 9439)

Authors: Manfred Broy and Leslie Lamport


Abstract

Cite as

Manfred Broy and Leslie Lamport. Specification Problem (Dagstuhl Seminar 9439). Dagstuhl Seminar Report 98, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{broy_et_al:DagSemRep.98,
  author =	{Broy, Manfred and Lamport, Leslie},
  title =	{{Specification Problem (Dagstuhl Seminar 9439)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{98},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.98},
  URN =		{urn:nbn:de:0030-drops-149861},
  doi =		{10.4230/DagSemRep.98},
}
Document
System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)

Authors: Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe


Abstract

Cite as

Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe. System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440). Dagstuhl Seminar Report 99, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{jarke_et_al:DagSemRep.99,
  author =	{Jarke, Mattias and Loucopoulos, Peri and Mylopoulos, John and Sutcliffe, Alistair},
  title =	{{System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{99},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.99},
  URN =		{urn:nbn:de:0030-drops-149872},
  doi =		{10.4230/DagSemRep.99},
}
Document
Algorithms and Number Theory (Dagstuhl Seminar 9441)

Authors: Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst Günther Zimmer


Abstract

Cite as

Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst Günther Zimmer. Algorithms and Number Theory (Dagstuhl Seminar 9441). Dagstuhl Seminar Report 100, pp. 1-32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{buchmann_et_al:DagSemRep.100,
  author =	{Buchmann, Johannes and Niederreiter, Harald and Odlyzko, Andrew M. and Zimmer, Horst G\"{u}nther},
  title =	{{Algorithms and Number Theory (Dagstuhl Seminar 9441)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{100},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.100},
  URN =		{urn:nbn:de:0030-drops-149888},
  doi =		{10.4230/DagSemRep.100},
}
Document
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442)

Authors: Stefan Heinrich, Joseph F. Traub, and Henryk Wozniakowski


Abstract

Cite as

Stefan Heinrich, Joseph F. Traub, and Henryk Wozniakowski. Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442). Dagstuhl Seminar Report 101, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{heinrich_et_al:DagSemRep.101,
  author =	{Heinrich, Stefan and Traub, Joseph F. and Wozniakowski, Henryk},
  title =	{{Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{101},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.101},
  URN =		{urn:nbn:de:0030-drops-149891},
  doi =		{10.4230/DagSemRep.101},
}
Document
Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443)

Authors: Horst Bunke, Takeo Kanade, and Hartmut Noltemeier


Abstract

Cite as

Horst Bunke, Takeo Kanade, and Hartmut Noltemeier. Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443). Dagstuhl Seminar Report 102, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{bunke_et_al:DagSemRep.102,
  author =	{Bunke, Horst and Kanade, Takeo and Noltemeier, Hartmut},
  title =	{{Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{102},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.102},
  URN =		{urn:nbn:de:0030-drops-149908},
  doi =		{10.4230/DagSemRep.102},
}
Document
Neural Computing (Dagstuhl Seminar 9445)

Authors: Wolfgang Maass, Christoph von der Malsburg, Eduardo Sontag, and Ingo Wegener


Abstract

Cite as

Wolfgang Maass, Christoph von der Malsburg, Eduardo Sontag, and Ingo Wegener. Neural Computing (Dagstuhl Seminar 9445). Dagstuhl Seminar Report 103, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{maass_et_al:DagSemRep.103,
  author =	{Maass, Wolfgang and von der Malsburg, Christoph and Sontag, Eduardo and Wegener, Ingo},
  title =	{{Neural Computing (Dagstuhl Seminar 9445)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{103},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.103},
  URN =		{urn:nbn:de:0030-drops-149912},
  doi =		{10.4230/DagSemRep.103},
}
Document
Synchronous Languages (Dagstuhl Seminar 9448)

Authors: Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli


Abstract

Cite as

Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli. Synchronous Languages (Dagstuhl Seminar 9448). Dagstuhl Seminar Report 104, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{berry_et_al:DagSemRep.104,
  author =	{Berry, G\'{e}rard and de Roever, Willem-Paul and Poign\'{e}, Axel and Pnueli, Amir},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9448)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{104},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.104},
  URN =		{urn:nbn:de:0030-drops-149924},
  doi =		{10.4230/DagSemRep.104},
}
Document
Computer Aided Design and Test (Dagstuhl Seminar 9507)

Authors: Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel


Abstract

Cite as

Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel. Computer Aided Design and Test (Dagstuhl Seminar 9507). Dagstuhl Seminar Report 105, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.105,
  author =	{Becker, Bernd and Bryant, Randy and Coudert, Oliver and Meinel, Christoph},
  title =	{{Computer Aided Design and Test (Dagstuhl Seminar 9507)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{105},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.105},
  URN =		{urn:nbn:de:0030-drops-149934},
  doi =		{10.4230/DagSemRep.105},
}
Document
Software Architectures (Dagstuhl Seminar 9508)

Authors: David Garlan, Walter Tichy, and Frances Paulisch


Abstract

Cite as

David Garlan, Walter Tichy, and Frances Paulisch. Software Architectures (Dagstuhl Seminar 9508). Dagstuhl Seminar Report 106, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{garlan_et_al:DagSemRep.106,
  author =	{Garlan, David and Tichy, Walter and Paulisch, Frances},
  title =	{{Software Architectures (Dagstuhl Seminar 9508)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{106},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.106},
  URN =		{urn:nbn:de:0030-drops-149949},
  doi =		{10.4230/DagSemRep.106},
}
Document
High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)

Authors: William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer


Abstract

Cite as

William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer. High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509). Dagstuhl Seminar Report 107, pp. 1-39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{cullyer_et_al:DagSemRep.107,
  author =	{Cullyer, William John and Halang, Wolfgang A. and Kr\"{a}mer, Bernd J.},
  title =	{{High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{107},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.107},
  URN =		{urn:nbn:de:0030-drops-149955},
  doi =		{10.4230/DagSemRep.107},
}
Document
Cellular Automata (Dagstuhl Seminar 9510)

Authors: Jozef Gruska, Hiroshi Umeo, and Roland Vollmar


Abstract

Cite as

Jozef Gruska, Hiroshi Umeo, and Roland Vollmar. Cellular Automata (Dagstuhl Seminar 9510). Dagstuhl Seminar Report 108, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{gruska_et_al:DagSemRep.108,
  author =	{Gruska, Jozef and Umeo, Hiroshi and Vollmar, Roland},
  title =	{{Cellular Automata (Dagstuhl Seminar 9510)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{108},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.108},
  URN =		{urn:nbn:de:0030-drops-149967},
  doi =		{10.4230/DagSemRep.108},
}
Document
Computational Geometry (Dagstuhl Seminar 9511)

Authors: Helmut Alt, Bernard Chazelle, and Raimund Seidel


Abstract

Cite as

Helmut Alt, Bernard Chazelle, and Raimund Seidel. Computational Geometry (Dagstuhl Seminar 9511). Dagstuhl Seminar Report 109, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{alt_et_al:DagSemRep.109,
  author =	{Alt, Helmut and Chazelle, Bernard and Seidel, Raimund},
  title =	{{Computational Geometry (Dagstuhl Seminar 9511)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{109},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.109},
  URN =		{urn:nbn:de:0030-drops-149970},
  doi =		{10.4230/DagSemRep.109},
}
Document
Deduction (Dagstuhl Seminar 9512)

Authors: Wolfgang Bibel, Koichi Furukawa, and Mark Stickel


Abstract

Cite as

Wolfgang Bibel, Koichi Furukawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9512). Dagstuhl Seminar Report 110, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.110,
  author =	{Bibel, Wolfgang and Furukawa, Koichi and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9512)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{110},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.110},
  URN =		{urn:nbn:de:0030-drops-149989},
  doi =		{10.4230/DagSemRep.110},
}
Document
Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)

Authors: Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek


Abstract

Cite as

Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek. Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514). Dagstuhl Seminar Report 111, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{freitag_et_al:DagSemRep.111,
  author =	{Freitag, Burkhard and Jones, Clifford B. and Lengauer, Christian and Schek, Hans-J\"{o}rg},
  title =	{{Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{111},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.111},
  URN =		{urn:nbn:de:0030-drops-149997},
  doi =		{10.4230/DagSemRep.111},
}
Document
Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518)

Authors: Jim Doran, G. Nigel Gilbert, Ulrich Mueller, and Klaus G. Troitzsch


Abstract

Cite as

Jim Doran, G. Nigel Gilbert, Ulrich Mueller, and Klaus G. Troitzsch. Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518). Dagstuhl Seminar Report 112, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{doran_et_al:DagSemRep.112,
  author =	{Doran, Jim and Gilbert, G. Nigel and Mueller, Ulrich and Troitzsch, Klaus G.},
  title =	{{Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{112},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.112},
  URN =		{urn:nbn:de:0030-drops-150003},
  doi =		{10.4230/DagSemRep.112},
}
Document
Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519)

Authors: Rudi Studer and Mark A. Musen


Abstract

Cite as

Rudi Studer and Mark A. Musen. Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519). Dagstuhl Seminar Report 113, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{studer_et_al:DagSemRep.113,
  author =	{Studer, Rudi and Musen, Mark A.},
  title =	{{Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{113},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.113},
  URN =		{urn:nbn:de:0030-drops-150014},
  doi =		{10.4230/DagSemRep.113},
}
Document
Scheduling in Computer & Manufacturing Systems (Dagstuhl Seminar 9520)

Authors: Jacek Blazewicz and Klaus Ecker


Abstract

Cite as

Jacek Blazewicz and Klaus Ecker. Scheduling in Computer & Manufacturing Systems (Dagstuhl Seminar 9520). Dagstuhl Seminar Report 114, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{blazewicz_et_al:DagSemRep.114,
  author =	{Blazewicz, Jacek and Ecker, Klaus},
  title =	{{Scheduling in Computer \& Manufacturing Systems (Dagstuhl Seminar 9520)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{114},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.114},
  URN =		{urn:nbn:de:0030-drops-150027},
  doi =		{10.4230/DagSemRep.114},
}
Document
Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521)

Authors: Heniz Bilner, Gianfranco Ciardo, Christoph Lindemann, and Kishor S. Trivedi


Abstract

Cite as

Heniz Bilner, Gianfranco Ciardo, Christoph Lindemann, and Kishor S. Trivedi. Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521). Dagstuhl Seminar Report 115, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{bilner_et_al:DagSemRep.115,
  author =	{Bilner, Heniz and Ciardo, Gianfranco and Lindemann, Christoph and Trivedi, Kishor S.},
  title =	{{Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{115},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.115},
  URN =		{urn:nbn:de:0030-drops-150034},
  doi =		{10.4230/DagSemRep.115},
}
Document
Computing with Faulty Inputs (Dagstuhl Seminar 9522)

Authors: Martin Aigner, Joel Spencer, and Eberhard Triesch


Abstract

Cite as

Martin Aigner, Joel Spencer, and Eberhard Triesch. Computing with Faulty Inputs (Dagstuhl Seminar 9522). Dagstuhl Seminar Report 116, pp. 1-10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{aigner_et_al:DagSemRep.116,
  author =	{Aigner, Martin and Spencer, Joel and Triesch, Eberhard},
  title =	{{Computing with Faulty Inputs (Dagstuhl Seminar 9522)}},
  pages =	{1--10},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{116},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.116},
  URN =		{urn:nbn:de:0030-drops-150044},
  doi =		{10.4230/DagSemRep.116},
}
Document
Methods for Semantics and Specification (Dagstuhl Seminar 9523)

Authors: Jean-Raymond Abrial, Egon Börger, and Hans Langmaack


Abstract

Cite as

Jean-Raymond Abrial, Egon Börger, and Hans Langmaack. Methods for Semantics and Specification (Dagstuhl Seminar 9523). Dagstuhl Seminar Report 117, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{abrial_et_al:DagSemRep.117,
  author =	{Abrial, Jean-Raymond and B\"{o}rger, Egon and Langmaack, Hans},
  title =	{{Methods for Semantics and Specification (Dagstuhl Seminar 9523)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{117},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.117},
  URN =		{urn:nbn:de:0030-drops-150051},
  doi =		{10.4230/DagSemRep.117},
}
Document
Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525)

Authors: Wolfgang Effelsberg, Domenico Ferrari, Otto Spaniol, and André Danthine


Abstract

Cite as

Wolfgang Effelsberg, Domenico Ferrari, Otto Spaniol, and André Danthine. Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525). Dagstuhl Seminar Report 118, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{effelsberg_et_al:DagSemRep.118,
  author =	{Effelsberg, Wolfgang and Ferrari, Domenico and Spaniol, Otto and Danthine, Andr\'{e}},
  title =	{{Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{118},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.118},
  URN =		{urn:nbn:de:0030-drops-150060},
  doi =		{10.4230/DagSemRep.118},
}
Document
`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9527)

Authors: Philippe Flajolet, Rainer Kemp, Helmut Prodinger, and Robert Sedgewick


Abstract

Cite as

Philippe Flajolet, Rainer Kemp, Helmut Prodinger, and Robert Sedgewick. `Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9527). Dagstuhl Seminar Report 119, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{flajolet_et_al:DagSemRep.119,
  author =	{Flajolet, Philippe and Kemp, Rainer and Prodinger, Helmut and Sedgewick, Robert},
  title =	{{`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9527)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{119},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.119},
  URN =		{urn:nbn:de:0030-drops-150079},
  doi =		{10.4230/DagSemRep.119},
}
Document
Molecular Bioinformatics (Dagstuhl Seminar 9528)

Authors: Dan Gusfield, Thomas Lengauer, and Chris Sander


Abstract

Cite as

Dan Gusfield, Thomas Lengauer, and Chris Sander. Molecular Bioinformatics (Dagstuhl Seminar 9528). Dagstuhl Seminar Report 120, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{gusfield_et_al:DagSemRep.120,
  author =	{Gusfield, Dan and Lengauer, Thomas and Sander, Chris},
  title =	{{Molecular Bioinformatics (Dagstuhl Seminar 9528)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{120},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.120},
  URN =		{urn:nbn:de:0030-drops-150082},
  doi =		{10.4230/DagSemRep.120},
}
Document
Role of Logics in Information Systems (Dagstuhl Seminar 9529)

Authors: Jan Chomicki, Gunter Saake, and Christina Sernadas


Abstract

Cite as

Jan Chomicki, Gunter Saake, and Christina Sernadas. Role of Logics in Information Systems (Dagstuhl Seminar 9529). Dagstuhl Seminar Report 121, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{chomicki_et_al:DagSemRep.121,
  author =	{Chomicki, Jan and Saake, Gunter and Sernadas, Christina},
  title =	{{Role of Logics in Information Systems (Dagstuhl Seminar 9529)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{121},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.121},
  URN =		{urn:nbn:de:0030-drops-150094},
  doi =		{10.4230/DagSemRep.121},
}
Document
Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)

Authors: Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther


Abstract

Cite as

Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther. Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530). Dagstuhl Seminar Report 122, pp. 1-40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{bundy_et_al:DagSemRep.122,
  author =	{Bundy, Alan and Boyer, Robert S. and Kapur, Deepak and Walther, Christoph},
  title =	{{Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)}},
  pages =	{1--40},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{122},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.122},
  URN =		{urn:nbn:de:0030-drops-150107},
  doi =		{10.4230/DagSemRep.122},
}
Document
Abstract Interpretation (Dagstuhl Seminar 9535)

Authors: Patrick Cousot, Rhadia Cousot, and Alan Mycroft


Abstract

Cite as

Patrick Cousot, Rhadia Cousot, and Alan Mycroft. Abstract Interpretation (Dagstuhl Seminar 9535). Dagstuhl Seminar Report 123, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{cousot_et_al:DagSemRep.123,
  author =	{Cousot, Patrick and Cousot, Rhadia and Mycroft, Alan},
  title =	{{Abstract Interpretation (Dagstuhl Seminar 9535)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{123},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.123},
  URN =		{urn:nbn:de:0030-drops-150116},
  doi =		{10.4230/DagSemRep.123},
}
Document
CAD Tools for Products (Dagstuhl Seminar 9536)

Authors: Pere Brunet, Dieter Roller, and Jarek Rossignac


Abstract

Cite as

Pere Brunet, Dieter Roller, and Jarek Rossignac. CAD Tools for Products (Dagstuhl Seminar 9536). Dagstuhl Seminar Report 124, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{brunet_et_al:DagSemRep.124,
  author =	{Brunet, Pere and Roller, Dieter and Rossignac, Jarek},
  title =	{{CAD Tools for Products (Dagstuhl Seminar 9536)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{124},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.124},
  URN =		{urn:nbn:de:0030-drops-150122},
  doi =		{10.4230/DagSemRep.124},
}
Document
Parallel and Distributed Algorithms (Dagstuhl Seminar 9537)

Authors: Cynthia Dwork, Ernst W. Mayr, and Friedhelm Meyer auf der Heide


Abstract

Cite as

Cynthia Dwork, Ernst W. Mayr, and Friedhelm Meyer auf der Heide. Parallel and Distributed Algorithms (Dagstuhl Seminar 9537). Dagstuhl Seminar Report 125, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{dwork_et_al:DagSemRep.125,
  author =	{Dwork, Cynthia and Mayr, Ernst W. and Meyer auf der Heide, Friedhelm},
  title =	{{Parallel and Distributed Algorithms (Dagstuhl Seminar 9537)}},
  pages =	{1--17},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{125},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.125},
  URN =		{urn:nbn:de:0030-drops-150135},
  doi =		{10.4230/DagSemRep.125},
}
Document
New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538)

Authors: Chris Hankin and Hanne Riis Nielson


Abstract

Cite as

Chris Hankin and Hanne Riis Nielson. New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538). Dagstuhl Seminar Report 126, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{hankin_et_al:DagSemRep.126,
  author =	{Hankin, Chris and Riis Nielson, Hanne},
  title =	{{New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{126},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.126},
  URN =		{urn:nbn:de:0030-drops-150143},
  doi =		{10.4230/DagSemRep.126},
}
Document
Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539)

Authors: Ulrich Herzog, Guy Latouche, Phuoc Tran-Gia, and Vaydanat Ramaswami


Abstract

Cite as

Ulrich Herzog, Guy Latouche, Phuoc Tran-Gia, and Vaydanat Ramaswami. Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539). Dagstuhl Seminar Report 127, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{herzog_et_al:DagSemRep.127,
  author =	{Herzog, Ulrich and Latouche, Guy and Tran-Gia, Phuoc and Ramaswami, Vaydanat},
  title =	{{Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{127},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.127},
  URN =		{urn:nbn:de:0030-drops-150158},
  doi =		{10.4230/DagSemRep.127},
}
Document
Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540)

Authors: Greg R. Carmichael, Granino A. Korn, and Achim Sydow


Abstract

Cite as

Greg R. Carmichael, Granino A. Korn, and Achim Sydow. Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540). Dagstuhl Seminar Report 128, pp. 1-13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{carmichael_et_al:DagSemRep.128,
  author =	{Carmichael, Greg R. and Korn, Granino A. and Sydow, Achim},
  title =	{{Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540)}},
  pages =	{1--13},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{128},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.128},
  URN =		{urn:nbn:de:0030-drops-150166},
  doi =		{10.4230/DagSemRep.128},
}
Document
Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543)

Authors: Julio Collado-Vides, Ralf Hofestädt, Markus Löffler, and Michael Mavrovouniotis


Abstract

Cite as

Julio Collado-Vides, Ralf Hofestädt, Markus Löffler, and Michael Mavrovouniotis. Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543). Dagstuhl Seminar Report 130, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{colladovides_et_al:DagSemRep.130,
  author =	{Collado-Vides, Julio and Hofest\"{a}dt, Ralf and L\"{o}ffler, Markus and Mavrovouniotis, Michael},
  title =	{{Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{130},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.130},
  URN =		{urn:nbn:de:0030-drops-150175},
  doi =		{10.4230/DagSemRep.130},
}
Document
Real Computation and Complexity (Dagstuhl Seminar 9545)

Authors: Felipe Cucker, Thomas Lickteig, and Michael Shub


Abstract

Cite as

Felipe Cucker, Thomas Lickteig, and Michael Shub. Real Computation and Complexity (Dagstuhl Seminar 9545). Dagstuhl Seminar Report 131, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{cucker_et_al:DagSemRep.131,
  author =	{Cucker, Felipe and Lickteig, Thomas and Shub, Michael},
  title =	{{Real Computation and Complexity (Dagstuhl Seminar 9545)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{131},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.131},
  URN =		{urn:nbn:de:0030-drops-150187},
  doi =		{10.4230/DagSemRep.131},
}
Document
Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546)

Authors: Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss


Abstract

Cite as

Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss. Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546). Dagstuhl Seminar Report 132, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{echtle_et_al:DagSemRep.132,
  author =	{Echtle, Klaus and G\"{o}rke, Winfried and Laprie, Jean-Claude and Schneeweiss, Winfrid},
  title =	{{Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{132},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.132},
  URN =		{urn:nbn:de:0030-drops-150198},
  doi =		{10.4230/DagSemRep.132},
}
Document
Computeralgebra - Software (Dagstuhl Seminar 9606)

Authors: Johannes Buchmann, Rüdiger Loos, and Roman Mäder


Abstract

Cite as

Johannes Buchmann, Rüdiger Loos, and Roman Mäder. Computeralgebra - Software (Dagstuhl Seminar 9606). Dagstuhl Seminar Report 133, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{buchmann_et_al:DagSemRep.133,
  author =	{Buchmann, Johannes and Loos, R\"{u}diger and M\"{a}der, Roman},
  title =	{{Computeralgebra - Software (Dagstuhl Seminar 9606)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{133},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.133},
  URN =		{urn:nbn:de:0030-drops-150201},
  doi =		{10.4230/DagSemRep.133},
}
Document
Partial Evaluation (Dagstuhl Seminar 9607)

Authors: Olivier Danvy, Robert Glück, and Peter Thiemann


Abstract

Cite as

Olivier Danvy, Robert Glück, and Peter Thiemann. Partial Evaluation (Dagstuhl Seminar 9607). Dagstuhl Seminar Report 134, pp. 1-35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{danvy_et_al:DagSemRep.134,
  author =	{Danvy, Olivier and Gl\"{u}ck, Robert and Thiemann, Peter},
  title =	{{Partial Evaluation (Dagstuhl Seminar 9607)}},
  pages =	{1--35},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{134},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.134},
  URN =		{urn:nbn:de:0030-drops-150218},
  doi =		{10.4230/DagSemRep.134},
}
Document
Informatics and Semiotics (Dagstuhl Seminar 9608)

Authors: Peter B. Andersen, Mihai Nadin, and Frieder Nake


Abstract

Cite as

Peter B. Andersen, Mihai Nadin, and Frieder Nake. Informatics and Semiotics (Dagstuhl Seminar 9608). Dagstuhl Seminar Report 135, pp. 1-48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{andersen_et_al:DagSemRep.135,
  author =	{Andersen, Peter B. and Nadin, Mihai and Nake, Frieder},
  title =	{{Informatics and Semiotics (Dagstuhl Seminar 9608)}},
  pages =	{1--48},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{135},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.135},
  URN =		{urn:nbn:de:0030-drops-150227},
  doi =		{10.4230/DagSemRep.135},
}
Document
Data Structures (Dagstuhl Seminar 9609)

Authors: Stefan Näher, Hartmut Noltemeier, and Ian Munro


Abstract

Cite as

Stefan Näher, Hartmut Noltemeier, and Ian Munro. Data Structures (Dagstuhl Seminar 9609). Dagstuhl Seminar Report 136, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{naher_et_al:DagSemRep.136,
  author =	{N\"{a}her, Stefan and Noltemeier, Hartmut and Munro, Ian},
  title =	{{Data Structures (Dagstuhl Seminar 9609)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{136},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.136},
  URN =		{urn:nbn:de:0030-drops-150236},
  doi =		{10.4230/DagSemRep.136},
}
Document
New Trends in Database Languages (Dagstuhl Seminar 9610)

Authors: Anthony J. Bonner, Andreas Heuer, and Letizia Tanca


Abstract

Cite as

Anthony J. Bonner, Andreas Heuer, and Letizia Tanca. New Trends in Database Languages (Dagstuhl Seminar 9610). Dagstuhl Seminar Report 137, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{bonner_et_al:DagSemRep.137,
  author =	{Bonner, Anthony J. and Heuer, Andreas and Tanca, Letizia},
  title =	{{New Trends in Database Languages (Dagstuhl Seminar 9610)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{137},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.137},
  URN =		{urn:nbn:de:0030-drops-150242},
  doi =		{10.4230/DagSemRep.137},
}
Document
Time Services (Dagstuhl Seminar 9611)

Authors: Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, and H. Raymond Strong


Abstract

Cite as

Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, and H. Raymond Strong. Time Services (Dagstuhl Seminar 9611). Dagstuhl Seminar Report 138, pp. 1-19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{dolev_et_al:DagSemRep.138,
  author =	{Dolev, Danny and Reischuk, R\"{u}diger and Schneider, Fred B. and Strong, H. Raymond},
  title =	{{Time Services (Dagstuhl Seminar 9611)}},
  pages =	{1--19},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{138},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.138},
  URN =		{urn:nbn:de:0030-drops-150256},
  doi =		{10.4230/DagSemRep.138},
}
Document
Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612)

Authors: Ruzena Bajcsy, Reinhard Klette, Walter G. Kropatsch, and Franc Solina


Abstract

Cite as

Ruzena Bajcsy, Reinhard Klette, Walter G. Kropatsch, and Franc Solina. Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612). Dagstuhl Seminar Report 139, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{bajcsy_et_al:DagSemRep.139,
  author =	{Bajcsy, Ruzena and Klette, Reinhard and Kropatsch, Walter G. and Solina, Franc},
  title =	{{Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{139},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.139},
  URN =		{urn:nbn:de:0030-drops-150263},
  doi =		{10.4230/DagSemRep.139},
}
Document
Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613)

Authors: Volker Claus, Jörn Hopf, and Hans-Paul Schwefel


Abstract

Cite as

Volker Claus, Jörn Hopf, and Hans-Paul Schwefel. Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613). Dagstuhl Seminar Report 140, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{claus_et_al:DagSemRep.140,
  author =	{Claus, Volker and Hopf, J\"{o}rn and Schwefel, Hans-Paul},
  title =	{{Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{140},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.140},
  URN =		{urn:nbn:de:0030-drops-150270},
  doi =		{10.4230/DagSemRep.140},
}
Document
Performance Enhancement in Object Bases (Dagstuhl Seminar 9614)

Authors: Umeshwar Dayal, Alfons Kemper, Guido Moerkotte, and Gerhard Weikum


Abstract

Cite as

Umeshwar Dayal, Alfons Kemper, Guido Moerkotte, and Gerhard Weikum. Performance Enhancement in Object Bases (Dagstuhl Seminar 9614). Dagstuhl Seminar Report 141, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{dayal_et_al:DagSemRep.141,
  author =	{Dayal, Umeshwar and Kemper, Alfons and Moerkotte, Guido and Weikum, Gerhard},
  title =	{{Performance Enhancement in Object Bases (Dagstuhl Seminar 9614)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{141},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.141},
  URN =		{urn:nbn:de:0030-drops-150282},
  doi =		{10.4230/DagSemRep.141},
}
Document
Loop Parallelization (Dagstuhl Seminar 9616)

Authors: Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima


Abstract

Cite as

Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima. Loop Parallelization (Dagstuhl Seminar 9616). Dagstuhl Seminar Report 142, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{lengauer_et_al:DagSemRep.142,
  author =	{Lengauer, Christian and Thiele, Lothar and Wolfe, Michael and Zima, Hans},
  title =	{{Loop Parallelization (Dagstuhl Seminar 9616)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{142},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.142},
  URN =		{urn:nbn:de:0030-drops-150292},
  doi =		{10.4230/DagSemRep.142},
}
Document
Design Automation for Embedded Systems (Dagstuhl Seminar 9617)

Authors: Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele


Abstract

Cite as

Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele. Design Automation for Embedded Systems (Dagstuhl Seminar 9617). Dagstuhl Seminar Report 143, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{lee_et_al:DagSemRep.143,
  author =	{Lee, Edward A. and de Micheli, Giovanni and Rosenstiel, Wofgang and Thiele, Lothar},
  title =	{{Design Automation for Embedded Systems (Dagstuhl Seminar 9617)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{143},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.143},
  URN =		{urn:nbn:de:0030-drops-150305},
  doi =		{10.4230/DagSemRep.143},
}
Document
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)

Authors: Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel


Abstract

Cite as

Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel. Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619). Dagstuhl Seminar Report 144, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{droste_et_al:DagSemRep.144,
  author =	{Droste, Manfred and Olderog, Ernst-R\"{u}diger and Steffen, Bernhard and Winskel, Glynn},
  title =	{{Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{144},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.144},
  URN =		{urn:nbn:de:0030-drops-150310},
  doi =		{10.4230/DagSemRep.144},
}
Document
Graph Algorithms and Applications (Dagstuhl Seminar 9620)

Authors: Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner


Abstract

Cite as

Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner. Graph Algorithms and Applications (Dagstuhl Seminar 9620). Dagstuhl Seminar Report 145, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{nishizeki_et_al:DagSemRep.145,
  author =	{Nishizeki, Takao and Tamassia, Roberto and Wagner, Dorothea},
  title =	{{Graph Algorithms and Applications (Dagstuhl Seminar 9620)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{145},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.145},
  URN =		{urn:nbn:de:0030-drops-150321},
  doi =		{10.4230/DagSemRep.145},
}
Document
Integration of Functional and Logic Languages (Dagstuhl Seminar 9621)

Authors: Michael Hanus, John W. Lloyd, and Juan José Moreno Navarro


Abstract

Cite as

Michael Hanus, John W. Lloyd, and Juan José Moreno Navarro. Integration of Functional and Logic Languages (Dagstuhl Seminar 9621). Dagstuhl Seminar Report 146, pp. 1-2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{hanus_et_al:DagSemRep.146,
  author =	{Hanus, Michael and Lloyd, John W. and Moreno Navarro, Juan Jos\'{e}},
  title =	{{Integration of Functional and Logic Languages (Dagstuhl Seminar 9621)}},
  pages =	{1--2},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{146},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.146},
  URN =		{urn:nbn:de:0030-drops-150337},
  doi =		{10.4230/DagSemRep.146},
}
Document
Geometric Modelling (Dagstuhl Seminar 9622)

Authors: Hanspeter Bieri, Guido Brunnett, Tony DeRose, and Gerald Farin


Abstract

Cite as

Hanspeter Bieri, Guido Brunnett, Tony DeRose, and Gerald Farin. Geometric Modelling (Dagstuhl Seminar 9622). Dagstuhl Seminar Report 147, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{bieri_et_al:DagSemRep.147,
  author =	{Bieri, Hanspeter and Brunnett, Guido and DeRose, Tony and Farin, Gerald},
  title =	{{Geometric Modelling (Dagstuhl Seminar 9622)}},
  pages =	{1--17},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{147},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.147},
  URN =		{urn:nbn:de:0030-drops-150341},
  doi =		{10.4230/DagSemRep.147},
}
Document
Rendering (Dagstuhl Seminar 9624)

Authors: Patrick M. Hanrahan, Heinrich Müller, and Claude Puech


Abstract

Cite as

Patrick M. Hanrahan, Heinrich Müller, and Claude Puech. Rendering (Dagstuhl Seminar 9624). Dagstuhl Seminar Report 148, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{hanrahan_et_al:DagSemRep.148,
  author =	{Hanrahan, Patrick M. and M\"{u}ller, Heinrich and Puech, Claude},
  title =	{{Rendering (Dagstuhl Seminar 9624)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{148},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.148},
  URN =		{urn:nbn:de:0030-drops-150353},
  doi =		{10.4230/DagSemRep.148},
}
Document
On-line Algorithms (Dagstuhl Seminar 9626)

Authors: Amos Fiat and Gerhard Woeginger


Abstract

Cite as

Amos Fiat and Gerhard Woeginger. On-line Algorithms (Dagstuhl Seminar 9626). Dagstuhl Seminar Report 149, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{fiat_et_al:DagSemRep.149,
  author =	{Fiat, Amos and Woeginger, Gerhard},
  title =	{{On-line Algorithms (Dagstuhl Seminar 9626)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{149},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.149},
  URN =		{urn:nbn:de:0030-drops-150369},
  doi =		{10.4230/DagSemRep.149},
}
Document
Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)

Authors: Jürgen Dix, Don Loveland, Jack Minker, and David Warren


Abstract

Cite as

Jürgen Dix, Don Loveland, Jack Minker, and David Warren. Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627). Dagstuhl Seminar Report 150, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{dix_et_al:DagSemRep.150,
  author =	{Dix, J\"{u}rgen and Loveland, Don and Minker, Jack and Warren, David},
  title =	{{Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{150},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.150},
  URN =		{urn:nbn:de:0030-drops-150376},
  doi =		{10.4230/DagSemRep.150},
}
Document
Specification and Semantics (Dagstuhl Seminar 9628)

Authors: Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing


Abstract

Cite as

Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9628). Dagstuhl Seminar Report 151, pp. 1-38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.151,
  author =	{Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin},
  title =	{{Specification and Semantics (Dagstuhl Seminar 9628)}},
  pages =	{1--38},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{151},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.151},
  URN =		{urn:nbn:de:0030-drops-150387},
  doi =		{10.4230/DagSemRep.151},
}
Document
Transactional Workflows (Dagstuhl Seminar 9629)

Authors: Frank Leymann, Hans-Jörg Schek, and Gottfried Vossen


Abstract

Cite as

Frank Leymann, Hans-Jörg Schek, and Gottfried Vossen. Transactional Workflows (Dagstuhl Seminar 9629). Dagstuhl Seminar Report 152, pp. 1-39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{leymann_et_al:DagSemRep.152,
  author =	{Leymann, Frank and Schek, Hans-J\"{o}rg and Vossen, Gottfried},
  title =	{{Transactional Workflows (Dagstuhl Seminar 9629)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{152},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.152},
  URN =		{urn:nbn:de:0030-drops-150396},
  doi =		{10.4230/DagSemRep.152},
}
Document
The History of Software Engineering (Dagstuhl Seminar 9635)

Authors: Andreas Brennecke and Reinhard Keil-Slawik


Abstract

Cite as

Andreas Brennecke and Reinhard Keil-Slawik. The History of Software Engineering (Dagstuhl Seminar 9635). Dagstuhl Seminar Report 153, pp. 1-61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{brennecke_et_al:DagSemRep.153,
  author =	{Brennecke, Andreas and Keil-Slawik, Reinhard},
  title =	{{The History of Software Engineering (Dagstuhl Seminar 9635)}},
  pages =	{1--61},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{153},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.153},
  URN =		{urn:nbn:de:0030-drops-150409},
  doi =		{10.4230/DagSemRep.153},
}
Document
Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636)

Authors: Horst Bunke, Robert C. Bolles, and Hartmut Noltemeier


Abstract

Cite as

Horst Bunke, Robert C. Bolles, and Hartmut Noltemeier. Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636). Dagstuhl Seminar Report 154, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{bunke_et_al:DagSemRep.154,
  author =	{Bunke, Horst and Bolles, Robert C. and Noltemeier, Hartmut},
  title =	{{Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636)}},
  pages =	{1--17},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{154},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.154},
  URN =		{urn:nbn:de:0030-drops-150412},
  doi =		{10.4230/DagSemRep.154},
}
Document
Graph Transformations in Computer Science (Dagstuhl Seminar 9637)

Authors: Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider


Abstract

Cite as

Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider. Graph Transformations in Computer Science (Dagstuhl Seminar 9637). Dagstuhl Seminar Report 155, pp. 1-39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.155,
  author =	{Ehrig, Hartmut and Montanari, Ugo and Rozenberg, Grzegorz and Schneider, Hans J\"{u}rgen},
  title =	{{Graph Transformations in Computer Science (Dagstuhl Seminar 9637)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{155},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.155},
  URN =		{urn:nbn:de:0030-drops-150426},
  doi =		{10.4230/DagSemRep.155},
}
Document
Expressiveness in Concurrency (Dagstuhl Seminar 9638)

Authors: Rocco De Nicola, Ursula Goltz, and Frits Vaandrager


Abstract

Cite as

Rocco De Nicola, Ursula Goltz, and Frits Vaandrager. Expressiveness in Concurrency (Dagstuhl Seminar 9638). Dagstuhl Seminar Report 156, pp. 1-7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{denicola_et_al:DagSemRep.156,
  author =	{De Nicola, Rocco and Goltz, Ursula and Vaandrager, Frits},
  title =	{{Expressiveness in Concurrency (Dagstuhl Seminar 9638)}},
  pages =	{1--7},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{156},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.156},
  URN =		{urn:nbn:de:0030-drops-150438},
  doi =		{10.4230/DagSemRep.156},
}
Document
Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639)

Authors: Hendrik Decker, Jorge Bocca, Michael Kifer, and Andrei Voronkov


Abstract

Cite as

Hendrik Decker, Jorge Bocca, Michael Kifer, and Andrei Voronkov. Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639). Dagstuhl Seminar Report 157, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{decker_et_al:DagSemRep.157,
  author =	{Decker, Hendrik and Bocca, Jorge and Kifer, Michael and Voronkov, Andrei},
  title =	{{Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{157},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.157},
  URN =		{urn:nbn:de:0030-drops-150449},
  doi =		{10.4230/DagSemRep.157},
}
Document
Structure and Complexity (Dagstuhl Seminar 9640)

Authors: Eric Allender, Uwe Schöning, and Klaus W. Wagner


Abstract

Cite as

Eric Allender, Uwe Schöning, and Klaus W. Wagner. Structure and Complexity (Dagstuhl Seminar 9640). Dagstuhl Seminar Report 158, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{allender_et_al:DagSemRep.158,
  author =	{Allender, Eric and Sch\"{o}ning, Uwe and Wagner, Klaus W.},
  title =	{{Structure and Complexity (Dagstuhl Seminar 9640)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{158},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.158},
  URN =		{urn:nbn:de:0030-drops-150450},
  doi =		{10.4230/DagSemRep.158},
}
Document
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643)

Authors: Erich Nowak, Joseph F. Traub, and Grzegorz W. Wasilkowski


Abstract

Cite as

Erich Nowak, Joseph F. Traub, and Grzegorz W. Wasilkowski. Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643). Dagstuhl Seminar Report 159, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{nowak_et_al:DagSemRep.159,
  author =	{Nowak, Erich and Traub, Joseph F. and Wasilkowski, Grzegorz W.},
  title =	{{Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{159},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.159},
  URN =		{urn:nbn:de:0030-drops-150465},
  doi =		{10.4230/DagSemRep.159},
}
Document
Computational Cartography (Dagstuhl Seminar 9645)

Authors: Christopher Gold, Jack Snoeyink, and Frank Wagner


Abstract

Cite as

Christopher Gold, Jack Snoeyink, and Frank Wagner. Computational Cartography (Dagstuhl Seminar 9645). Dagstuhl Seminar Report 160, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{gold_et_al:DagSemRep.160,
  author =	{Gold, Christopher and Snoeyink, Jack and Wagner, Frank},
  title =	{{Computational Cartography (Dagstuhl Seminar 9645)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{160},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.160},
  URN =		{urn:nbn:de:0030-drops-150471},
  doi =		{10.4230/DagSemRep.160},
}
Document
Control of Search in AI Planning (Dagstuhl Seminar 9647)

Authors: Jim Hendler and Jana Koehler


Abstract

Cite as

Jim Hendler and Jana Koehler. Control of Search in AI Planning (Dagstuhl Seminar 9647). Dagstuhl Seminar Report 161, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{hendler_et_al:DagSemRep.161,
  author =	{Hendler, Jim and Koehler, Jana},
  title =	{{Control of Search in AI Planning (Dagstuhl Seminar 9647)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{161},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.161},
  URN =		{urn:nbn:de:0030-drops-150482},
  doi =		{10.4230/DagSemRep.161},
}
Document
Synchronous Languages (Dagstuhl Seminar 9650)

Authors: Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann


Abstract

Cite as

Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 9650). Dagstuhl Seminar Report 162, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{deroever_et_al:DagSemRep.162,
  author =	{de Roever, Willem-Paul and Halbwachs, Nicolas and Winkelmann, Klaus},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9650)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{162},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.162},
  URN =		{urn:nbn:de:0030-drops-150490},
  doi =		{10.4230/DagSemRep.162},
}
Document
Theory and Practice of Machine Learning (Dagstuhl Seminar 9702)

Authors: Thomas G. Dietterich, Wolfgang Maass, Hans Ulrich Simon, and Robert S. Sutton


Abstract

Cite as

Thomas G. Dietterich, Wolfgang Maass, Hans Ulrich Simon, and Robert S. Sutton. Theory and Practice of Machine Learning (Dagstuhl Seminar 9702). Dagstuhl Seminar Report 163, pp. 1-33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{dietterich_et_al:DagSemRep.163,
  author =	{Dietterich, Thomas G. and Maass, Wolfgang and Simon, Hans Ulrich and Sutton, Robert S.},
  title =	{{Theory and Practice of Machine Learning (Dagstuhl Seminar 9702)}},
  pages =	{1--33},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{163},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.163},
  URN =		{urn:nbn:de:0030-drops-150503},
  doi =		{10.4230/DagSemRep.163},
}
Document
High-Level Concurrent Languages (Dagstuhl Seminar 97041)

Authors: Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolla, and Philip Wadler


Abstract

Cite as

Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolla, and Philip Wadler. High-Level Concurrent Languages (Dagstuhl Seminar 97041). Dagstuhl Seminar Report 164, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{honda_et_al:DagSemRep.164,
  author =	{Honda, Kohei and Odersky, Martin and Pierce, Benjamin and Smolla, Gert and Wadler, Philip},
  title =	{{High-Level Concurrent Languages (Dagstuhl Seminar 97041)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{164},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.164},
  URN =		{urn:nbn:de:0030-drops-150514},
  doi =		{10.4230/DagSemRep.164},
}
Document
Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042)

Authors: Peter Grtizmann and Maurice Nivat


Abstract

Cite as

Peter Grtizmann and Maurice Nivat. Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042). Dagstuhl Seminar Report 165, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{grtizmann_et_al:DagSemRep.165,
  author =	{Grtizmann, Peter and Nivat, Maurice},
  title =	{{Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042)}},
  pages =	{1--17},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{165},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.165},
  URN =		{urn:nbn:de:0030-drops-150521},
  doi =		{10.4230/DagSemRep.165},
}
Document
Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)

Authors: Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel


Abstract

Cite as

Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel. Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705). Dagstuhl Seminar Report 166, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.166,
  author =	{Becker, Bernd and Bryant, Randy and Fujita, Masahiro and Meinel, Christoph},
  title =	{{Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{166},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.166},
  URN =		{urn:nbn:de:0030-drops-150539},
  doi =		{10.4230/DagSemRep.166},
}
Document
Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706)

Authors: Nils Dahlbäck, Norbert Reithinger, and Marilyn Walker


Abstract

Cite as

Nils Dahlbäck, Norbert Reithinger, and Marilyn Walker. Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706). Dagstuhl Seminar Report 167, pp. 1-41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{dahlback_et_al:DagSemRep.167,
  author =	{Dahlb\"{a}ck, Nils and Reithinger, Norbert and Walker, Marilyn},
  title =	{{Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706)}},
  pages =	{1--41},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{167},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.167},
  URN =		{urn:nbn:de:0030-drops-150548},
  doi =		{10.4230/DagSemRep.167},
}
Document
Computational Geometry (Dagstuhl Seminar 9707)

Authors: Rolf Klein, Raimund Seidel, and Seth Teller


Abstract

Cite as

Rolf Klein, Raimund Seidel, and Seth Teller. Computational Geometry (Dagstuhl Seminar 9707). Dagstuhl Seminar Report 168, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{klein_et_al:DagSemRep.168,
  author =	{Klein, Rolf and Seidel, Raimund and Teller, Seth},
  title =	{{Computational Geometry (Dagstuhl Seminar 9707)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{168},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.168},
  URN =		{urn:nbn:de:0030-drops-150558},
  doi =		{10.4230/DagSemRep.168},
}
Document
Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708)

Authors: Murray Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn


Abstract

Cite as

Murray Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn. Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708). Dagstuhl Seminar Report 169, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{cole_et_al:DagSemRep.169,
  author =	{Cole, Murray and Gorlatch, Sergei and Lengauer, Christian and Skillicorn, David},
  title =	{{Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{169},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.169},
  URN =		{urn:nbn:de:0030-drops-150561},
  doi =		{10.4230/DagSemRep.169},
}
Document
Deduction (Dagstuhl Seminar 9709)

Authors: Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel


Abstract

Cite as

Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9709). Dagstuhl Seminar Report 170, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.170,
  author =	{Bibel, Wolfgang and Furbach, Ulrich and Hasegawa, Ryuzo and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9709)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{170},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.170},
  URN =		{urn:nbn:de:0030-drops-150577},
  doi =		{10.4230/DagSemRep.170},
}
Document
Logic for System Engineering (Dagstuhl Seminar 9710)

Authors: Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing


Abstract

Cite as

Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing. Logic for System Engineering (Dagstuhl Seminar 9710). Dagstuhl Seminar Report 171, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{jahnichen_et_al:DagSemRep.171,
  author =	{J\"{a}hnichen, Stefan and Loeckx, Jacques and Wirsing, Martin},
  title =	{{Logic for System Engineering (Dagstuhl Seminar 9710)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{171},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.171},
  URN =		{urn:nbn:de:0030-drops-150587},
  doi =		{10.4230/DagSemRep.171},
}
Document
Complexity of Boolean Functions (Dagstuhl Seminar 9711)

Authors: David Mix Barrington, Noam Nisan, Rüdiger Reischuk, and Ingo Wegener


Abstract

Cite as

David Mix Barrington, Noam Nisan, Rüdiger Reischuk, and Ingo Wegener. Complexity of Boolean Functions (Dagstuhl Seminar 9711). Dagstuhl Seminar Report 172, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{barrington_et_al:DagSemRep.172,
  author =	{Barrington, David Mix and Nisan, Noam and Reischuk, R\"{u}diger and Wegener, Ingo},
  title =	{{Complexity of Boolean Functions (Dagstuhl Seminar 9711)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{172},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.172},
  URN =		{urn:nbn:de:0030-drops-150594},
  doi =		{10.4230/DagSemRep.172},
}
Document
Software Engineering and Database Technology (Dagstuhl Seminar 9712)

Authors: Naser S. Barghouti, Klaus Dittrich, David Maier, and Wilhelm Schäfer


Abstract

Cite as

Naser S. Barghouti, Klaus Dittrich, David Maier, and Wilhelm Schäfer. Software Engineering and Database Technology (Dagstuhl Seminar 9712). Dagstuhl Seminar Report 173, pp. 1-12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{barghouti_et_al:DagSemRep.173,
  author =	{Barghouti, Naser S. and Dittrich, Klaus and Maier, David and Sch\"{a}fer, Wilhelm},
  title =	{{Software Engineering and Database Technology (Dagstuhl Seminar 9712)}},
  pages =	{1--12},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{173},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.173},
  URN =		{urn:nbn:de:0030-drops-150607},
  doi =		{10.4230/DagSemRep.173},
}
Document
Object-Oriented Software Development (Dagstuhl Seminar 9715)

Authors: Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker


Abstract

Cite as

Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker. Object-Oriented Software Development (Dagstuhl Seminar 9715). Dagstuhl Seminar Report 174, pp. 1-35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{erich_et_al:DagSemRep.174,
  author =	{Erich, Hans-Dieter and Feng, Yulin and Kung, David and Denker, Grit},
  title =	{{Object-Oriented Software Development (Dagstuhl Seminar 9715)}},
  pages =	{1--35},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{174},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.174},
  URN =		{urn:nbn:de:0030-drops-150616},
  doi =		{10.4230/DagSemRep.174},
}
Document
Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716)

Authors: Norbert Fuhr, Alan F. Smeaton, and Keith van Rijsbergen


Abstract

Cite as

Norbert Fuhr, Alan F. Smeaton, and Keith van Rijsbergen. Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716). Dagstuhl Seminar Report 175, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{fuhr_et_al:DagSemRep.175,
  author =	{Fuhr, Norbert and Smeaton, Alan F. and van Rijsbergen, Keith},
  title =	{{Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{175},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.175},
  URN =		{urn:nbn:de:0030-drops-150625},
  doi =		{10.4230/DagSemRep.175},
}
Document
Computability and Complexity in Analysis (Dagstuhl Seminar 9717)

Authors: Ker-I Ko, Anil Nerode, and Klaus Weihrauch


Abstract

Cite as

Ker-I Ko, Anil Nerode, and Klaus Weihrauch. Computability and Complexity in Analysis (Dagstuhl Seminar 9717). Dagstuhl Seminar Report 176, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{ko_et_al:DagSemRep.176,
  author =	{Ko, Ker-I and Nerode, Anil and Weihrauch, Klaus},
  title =	{{Computability and Complexity in Analysis (Dagstuhl Seminar 9717)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{176},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.176},
  URN =		{urn:nbn:de:0030-drops-150630},
  doi =		{10.4230/DagSemRep.176},
}
Document
Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719)

Authors: G. Nigel Gilbert, Ulrich Mueller, Klaus G. Troitzsch, and Ramzi Suleiman


Abstract

Cite as

G. Nigel Gilbert, Ulrich Mueller, Klaus G. Troitzsch, and Ramzi Suleiman. Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719). Dagstuhl Seminar Report 177, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{gilbert_et_al:DagSemRep.177,
  author =	{Gilbert, G. Nigel and Mueller, Ulrich and Troitzsch, Klaus G. and Suleiman, Ramzi},
  title =	{{Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{177},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.177},
  URN =		{urn:nbn:de:0030-drops-150647},
  doi =		{10.4230/DagSemRep.177},
}
Document
Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720)

Authors: Egon Börger, Paul Joannou, and Dave Parnas


Abstract

Cite as

Egon Börger, Paul Joannou, and Dave Parnas. Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720). Dagstuhl Seminar Report 178, pp. 1-20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{borger_et_al:DagSemRep.178,
  author =	{B\"{o}rger, Egon and Joannou, Paul and Parnas, Dave},
  title =	{{Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{178},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.178},
  URN =		{urn:nbn:de:0030-drops-150655},
  doi =		{10.4230/DagSemRep.178},
}
Document
Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)

Authors: Eberhard Becker, Wolfram Decker, David Eisenbud, Hendrik W. Lenstra, and Barry Trager


Abstract

Cite as

Eberhard Becker, Wolfram Decker, David Eisenbud, Hendrik W. Lenstra, and Barry Trager. Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722). Dagstuhl Seminar Report 179, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1999)


Copy BibTex To Clipboard

@TechReport{becker_et_al:DagSemRep.179,
  author =	{Becker, Eberhard and Decker, Wolfram and Eisenbud, David and Lenstra, Hendrik W. and Trager, Barry},
  title =	{{Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)}},
  pages =	{1--15},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{179},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.179},
  URN =		{urn:nbn:de:0030-drops-150668},
  doi =		{10.4230/DagSemRep.179},
}
Document
Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723)

Authors: Jacek Blazewicz, Klaus H. Ecker, Wieslaw Kubiak, and Denis Trystram


Abstract

Cite as

Jacek Blazewicz, Klaus H. Ecker, Wieslaw Kubiak, and Denis Trystram. Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723). Dagstuhl Seminar Report 180, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{blazewicz_et_al:DagSemRep.180,
  author =	{Blazewicz, Jacek and Ecker, Klaus H. and Kubiak, Wieslaw and Trystram, Denis},
  title =	{{Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{180},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.180},
  URN =		{urn:nbn:de:0030-drops-150672},
  doi =		{10.4230/DagSemRep.180},
}
Document
Scientific Visualization (Dagstuhl Seminar 9724)

Authors: Hans Hagen, Gregory Nielson, and Frits Post


Abstract

Cite as

Hans Hagen, Gregory Nielson, and Frits Post. Scientific Visualization (Dagstuhl Seminar 9724). Dagstuhl Seminar Report 181, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1999)


Copy BibTex To Clipboard

@TechReport{hagen_et_al:DagSemRep.181,
  author =	{Hagen, Hans and Nielson, Gregory and Post, Frits},
  title =	{{Scientific Visualization (Dagstuhl Seminar 9724)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{181},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.181},
  URN =		{urn:nbn:de:0030-drops-150681},
  doi =		{10.4230/DagSemRep.181},
}
Document
High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725)

Authors: André Danthine, Wolfgang Effelsberg, Domenico Ferrari, and Otto Spaniol


Abstract

Cite as

André Danthine, Wolfgang Effelsberg, Domenico Ferrari, and Otto Spaniol. High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725). Dagstuhl Seminar Report 182, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{danthine_et_al:DagSemRep.182,
  author =	{Danthine, Andr\'{e} and Effelsberg, Wolfgang and Ferrari, Domenico and Spaniol, Otto},
  title =	{{High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{182},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.182},
  URN =		{urn:nbn:de:0030-drops-150698},
  doi =		{10.4230/DagSemRep.182},
}
Document
Temporal Databases (Dagstuhl Seminar 9726)

Authors: Opher Etzion, Sushil Jajodia, and Suryanarayana Sripada


Abstract

Cite as

Opher Etzion, Sushil Jajodia, and Suryanarayana Sripada. Temporal Databases (Dagstuhl Seminar 9726). Dagstuhl Seminar Report 183, pp. 1-38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{etzion_et_al:DagSemRep.183,
  author =	{Etzion, Opher and Jajodia, Sushil and Sripada, Suryanarayana},
  title =	{{Temporal Databases (Dagstuhl Seminar 9726)}},
  pages =	{1--38},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{183},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.183},
  URN =		{urn:nbn:de:0030-drops-150701},
  doi =		{10.4230/DagSemRep.183},
}
Document
Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727)

Authors: Nicolas Georganas, Thomas C. Little, Kurt Rothermel, and Ralf Steinmetz


Abstract

Cite as

Nicolas Georganas, Thomas C. Little, Kurt Rothermel, and Ralf Steinmetz. Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727). Dagstuhl Seminar Report 184, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{georganas_et_al:DagSemRep.184,
  author =	{Georganas, Nicolas and Little, Thomas C. and Rothermel, Kurt and Steinmetz, Ralf},
  title =	{{Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{184},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.184},
  URN =		{urn:nbn:de:0030-drops-150718},
  doi =		{10.4230/DagSemRep.184},
}
Document
`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9728)

Authors: Philippe Flajolet, Rainer Kemp, Hosam M. Mahmoud, and Helmut Prodinger


Abstract

Cite as

Philippe Flajolet, Rainer Kemp, Hosam M. Mahmoud, and Helmut Prodinger. `Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9728). Dagstuhl Seminar Report 185, pp. 1-23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{flajolet_et_al:DagSemRep.185,
  author =	{Flajolet, Philippe and Kemp, Rainer and Mahmoud, Hosam M. and Prodinger, Helmut},
  title =	{{`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9728)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{185},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.185},
  URN =		{urn:nbn:de:0030-drops-150720},
  doi =		{10.4230/DagSemRep.185},
}
Document
Parallel Scheduling (Dagstuhl Seminar 9729)

Authors: Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn


Abstract

Cite as

Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn. Parallel Scheduling (Dagstuhl Seminar 9729). Dagstuhl Seminar Report 186, p. 1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{coffman_et_al:DagSemRep.186,
  author =	{Coffman, Ed and Mayr, Ernst W. and Schwiegelshohn, Uwe},
  title =	{{Parallel Scheduling (Dagstuhl Seminar 9729)}},
  pages =	{1--1},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{186},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.186},
  URN =		{urn:nbn:de:0030-drops-150731},
  doi =		{10.4230/DagSemRep.186},
}
Document
Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734)

Authors: Yuval Rabani, David Shmoys, and Gerhard Woeginger


Abstract

Cite as

Yuval Rabani, David Shmoys, and Gerhard Woeginger. Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734). Dagstuhl Seminar Report 187, pp. 1-33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{rabani_et_al:DagSemRep.187,
  author =	{Rabani, Yuval and Shmoys, David and Woeginger, Gerhard},
  title =	{{Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734)}},
  pages =	{1--33},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{187},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.187},
  URN =		{urn:nbn:de:0030-drops-150746},
  doi =		{10.4230/DagSemRep.187},
}
Document
Parallel and Distributed Algorithms (Dagstuhl Seminar 9737)

Authors: Ernst W. Mayr, Friedhelm Meyer auf der Heide, and Larry Rudolph


Abstract

Cite as

Ernst W. Mayr, Friedhelm Meyer auf der Heide, and Larry Rudolph. Parallel and Distributed Algorithms (Dagstuhl Seminar 9737). Dagstuhl Seminar Report 188, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{mayr_et_al:DagSemRep.188,
  author =	{Mayr, Ernst W. and Meyer auf der Heide, Friedhelm and Rudolph, Larry},
  title =	{{Parallel and Distributed Algorithms (Dagstuhl Seminar 9737)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{188},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.188},
  URN =		{urn:nbn:de:0030-drops-150752},
  doi =		{10.4230/DagSemRep.188},
}
Document
Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738)

Authors: Günter Haring, Christoph Lindemann, and Martin Reiser


Abstract

Cite as

Günter Haring, Christoph Lindemann, and Martin Reiser. Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738). Dagstuhl Seminar Report 189, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{haring_et_al:DagSemRep.189,
  author =	{Haring, G\"{u}nter and Lindemann, Christoph and Reiser, Martin},
  title =	{{Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738)}},
  pages =	{1--21},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{189},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.189},
  URN =		{urn:nbn:de:0030-drops-150764},
  doi =		{10.4230/DagSemRep.189},
}
Document
Cryptography (Dagstuhl Seminar 9739)

Authors: Andrew Odlyzko, Claus Peter Schnorr, Adi Shamir, and Jacques Stern


Abstract

Cite as

Andrew Odlyzko, Claus Peter Schnorr, Adi Shamir, and Jacques Stern. Cryptography (Dagstuhl Seminar 9739). Dagstuhl Seminar Report 190, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{odlyzko_et_al:DagSemRep.190,
  author =	{Odlyzko, Andrew and Schnorr, Claus Peter and Shamir, Adi and Stern, Jacques},
  title =	{{Cryptography (Dagstuhl Seminar 9739)}},
  pages =	{1--15},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{190},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.190},
  URN =		{urn:nbn:de:0030-drops-150778},
  doi =		{10.4230/DagSemRep.190},
}
Document
Mobile Software-Agents (Dagstuhl Seminar 9742)

Authors: Friedemann Mattern, Kurt Rothermel, Fred B. Schneider, and Brent Welch


Abstract

Cite as

Friedemann Mattern, Kurt Rothermel, Fred B. Schneider, and Brent Welch. Mobile Software-Agents (Dagstuhl Seminar 9742). Dagstuhl Seminar Report 192, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{mattern_et_al:DagSemRep.192,
  author =	{Mattern, Friedemann and Rothermel, Kurt and Schneider, Fred B. and Welch, Brent},
  title =	{{Mobile Software-Agents (Dagstuhl Seminar 9742)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{192},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.192},
  URN =		{urn:nbn:de:0030-drops-150786},
  doi =		{10.4230/DagSemRep.192},
}
Document
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)

Authors: Hubert Comon, Dexter Kozen, Helmut Seidl, and Mosche Y. Vardi


Abstract

Cite as

Hubert Comon, Dexter Kozen, Helmut Seidl, and Mosche Y. Vardi. Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743). Dagstuhl Seminar Report 193, pp. 1-34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{comon_et_al:DagSemRep.193,
  author =	{Comon, Hubert and Kozen, Dexter and Seidl, Helmut and Vardi, Mosche Y.},
  title =	{{Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{193},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.193},
  URN =		{urn:nbn:de:0030-drops-150792},
  doi =		{10.4230/DagSemRep.193},
}
Document
Multiple Valued Logic (Dagstuhl Seminar 9744)

Authors: Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh


Abstract

Cite as

Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh. Multiple Valued Logic (Dagstuhl Seminar 9744). Dagstuhl Seminar Report 194, pp. 1-29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{mundici_et_al:DagSemRep.194,
  author =	{Mundici, Daniele and Schmitt, Peter H. and Zadeh, Lotfi},
  title =	{{Multiple Valued Logic (Dagstuhl Seminar 9744)}},
  pages =	{1--29},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{194},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.194},
  URN =		{urn:nbn:de:0030-drops-150805},
  doi =		{10.4230/DagSemRep.194},
}
Document
Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)

Authors: Götz Alefeld, O. Mahrenholtz, and Roland Vollmar


Abstract

Cite as

Götz Alefeld, O. Mahrenholtz, and Roland Vollmar. Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745). Dagstuhl Seminar Report 195, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{alefeld_et_al:DagSemRep.195,
  author =	{Alefeld, G\"{o}tz and Mahrenholtz, O. and Vollmar, Roland},
  title =	{{Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{195},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.195},
  URN =		{urn:nbn:de:0030-drops-150810},
  doi =		{10.4230/DagSemRep.195},
}
Document
Knowledge-Based Computer Vision (Dagstuhl Seminar 9750)

Authors: Henrik I. Christensen, David Hogg, and Bernd Neumann


Abstract

Cite as

Henrik I. Christensen, David Hogg, and Bernd Neumann. Knowledge-Based Computer Vision (Dagstuhl Seminar 9750). Dagstuhl Seminar Report 196, pp. 1-61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{christensen_et_al:DagSemRep.196,
  author =	{Christensen, Henrik I. and Hogg, David and Neumann, Bernd},
  title =	{{Knowledge-Based Computer Vision (Dagstuhl Seminar 9750)}},
  pages =	{1--61},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{196},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.196},
  URN =		{urn:nbn:de:0030-drops-150825},
  doi =		{10.4230/DagSemRep.196},
}
Document
Algorithmic Techniques in Physics (Dagstuhl Seminar 9751)

Authors: Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi


Abstract

Cite as

Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi. Algorithmic Techniques in Physics (Dagstuhl Seminar 9751). Dagstuhl Seminar Report 197, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{junger_et_al:DagSemRep.197,
  author =	{J\"{u}nger, Michael and Reinelt, Gerhard and Rieger, Heiko and Rinaldi, Giovanni},
  title =	{{Algorithmic Techniques in Physics (Dagstuhl Seminar 9751)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{197},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.197},
  URN =		{urn:nbn:de:0030-drops-150832},
  doi =		{10.4230/DagSemRep.197},
}
Document
New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051)

Authors: Peter A. Gloor, Robert D. Harding, and Thomas Ottmann


Abstract

Cite as

Peter A. Gloor, Robert D. Harding, and Thomas Ottmann. New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051). Dagstuhl Seminar Report 198, pp. 1-26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{gloor_et_al:DagSemRep.198,
  author =	{Gloor, Peter A. and Harding, Robert D. and Ottmann, Thomas},
  title =	{{New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{198},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.198},
  URN =		{urn:nbn:de:0030-drops-150845},
  doi =		{10.4230/DagSemRep.198},
}
Document
Scenario-Management (Dagstuhl Seminar 98061)

Authors: Matthias Jarke, X. Tung Bui, and John M. Carroll


Abstract

Cite as

Matthias Jarke, X. Tung Bui, and John M. Carroll. Scenario-Management (Dagstuhl Seminar 98061). Dagstuhl Seminar Report 199, pp. 1-55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1999)


Copy BibTex To Clipboard

@TechReport{jarke_et_al:DagSemRep.199,
  author =	{Jarke, Matthias and Bui, X. Tung and Carroll, John M.},
  title =	{{Scenario-Management (Dagstuhl Seminar 98061)}},
  pages =	{1--55},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{199},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.199},
  URN =		{urn:nbn:de:0030-drops-150850},
  doi =		{10.4230/DagSemRep.199},
}
Document
Information Systems as Reactive Systems (Dagstuhl Seminar 98071)

Authors: Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer


Abstract

Cite as

Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer. Information Systems as Reactive Systems (Dagstuhl Seminar 98071). Dagstuhl Seminar Report 200, pp. 1-31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.200,
  author =	{Ehrich, Hand-Dieter and Goltz, Ursula and Meseguer, Jos\'{e}},
  title =	{{Information Systems as Reactive Systems (Dagstuhl Seminar 98071)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{200},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.200},
  URN =		{urn:nbn:de:0030-drops-150860},
  doi =		{10.4230/DagSemRep.200},
}
Document
Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081)

Authors: Karl-Heinz Brenner, Hossam ElGindy, Hartmut Schmeck, and Heiko Schröder


Abstract

Cite as

Karl-Heinz Brenner, Hossam ElGindy, Hartmut Schmeck, and Heiko Schröder. Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081). Dagstuhl Seminar Report 201, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{brenner_et_al:DagSemRep.201,
  author =	{Brenner, Karl-Heinz and ElGindy, Hossam and Schmeck, Hartmut and Schr\"{o}der, Heiko},
  title =	{{Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{201},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.201},
  URN =		{urn:nbn:de:0030-drops-150873},
  doi =		{10.4230/DagSemRep.201},
}
Document
Data Structures (Dagstuhl Seminar 98091)

Authors: Ian Munro, Stefan Näher, and Peter Widmayer


Abstract

Cite as

Ian Munro, Stefan Näher, and Peter Widmayer. Data Structures (Dagstuhl Seminar 98091). Dagstuhl Seminar Report 202, pp. 1-25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{munro_et_al:DagSemRep.202,
  author =	{Munro, Ian and N\"{a}her, Stefan and Widmayer, Peter},
  title =	{{Data Structures (Dagstuhl Seminar 98091)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{202},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.202},
  URN =		{urn:nbn:de:0030-drops-150881},
  doi =		{10.4230/DagSemRep.202},
}
Document
Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092)

Authors: Hausi Müller and Herbert Weber


Abstract

Cite as

Hausi Müller and Herbert Weber. Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092). Dagstuhl Seminar Report 203, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{muller_et_al:DagSemRep.203,
  author =	{M\"{u}ller, Hausi and Weber, Herbert},
  title =	{{Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{203},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.203},
  URN =		{urn:nbn:de:0030-drops-150896},
  doi =		{10.4230/DagSemRep.203},
}
Document
Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)

Authors: Hausi Müller, Thomas Reps, and Gergor Snelting


Abstract

Cite as

Hausi Müller, Thomas Reps, and Gergor Snelting. Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101). Dagstuhl Seminar Report 204, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{muller_et_al:DagSemRep.204,
  author =	{M\"{u}ller, Hausi and Reps, Thomas and Snelting, Gergor},
  title =	{{Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{204},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.204},
  URN =		{urn:nbn:de:0030-drops-150901},
  doi =		{10.4230/DagSemRep.204},
}
Document
Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111)

Authors: Robert M. Haralick, Reinhard Klette, M. Siegfried Stiehl, and Max A. Viergever


Abstract

Cite as

Robert M. Haralick, Reinhard Klette, M. Siegfried Stiehl, and Max A. Viergever. Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111). Dagstuhl Seminar Report 205, pp. 1-33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{haralick_et_al:DagSemRep.205,
  author =	{Haralick, Robert M. and Klette, Reinhard and Stiehl, M. Siegfried and Viergever, Max A.},
  title =	{{Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111)}},
  pages =	{1--33},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{205},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.205},
  URN =		{urn:nbn:de:0030-drops-150913},
  doi =		{10.4230/DagSemRep.205},
}
Document
Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131)

Authors: Ulrich Herzog, Guy Latouche, Vaidyanat Ramaswami, and Phuoc Tran-Gia


Abstract

Cite as

Ulrich Herzog, Guy Latouche, Vaidyanat Ramaswami, and Phuoc Tran-Gia. Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131). Dagstuhl Seminar Report 206, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{herzog_et_al:DagSemRep.206,
  author =	{Herzog, Ulrich and Latouche, Guy and Ramaswami, Vaidyanat and Tran-Gia, Phuoc},
  title =	{{Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{206},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.206},
  URN =		{urn:nbn:de:0030-drops-150927},
  doi =		{10.4230/DagSemRep.206},
}