4 Search Results for "Nielson, Gregory"

Abstract

Cite as

Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

@InProceedings{batt_et_al:DagSemProc.06161.3,
  author =	{Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, Fran\c{c}ois and Hermans, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.},
  title =	{{06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification}},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6161},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3},
  URN =		{urn:nbn:de:0030-drops-7249},
  doi =		{10.4230/DagSemProc.06161.3},
  annote =	{Keywords: Modelling, Simulation, Verification, Systemsbiology}
}

Abstract

Cite as

George-Pierre Bonneau, Thomas Ertl, and Gregory M. Nielson. Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231). Dagstuhl Seminar Report 381, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

@TechReport{bonneau_et_al:DagSemRep.381,
  author =	{Bonneau, George-Pierre and Ertl, Thomas and Nielson, Gregory M.},
  title =	{{Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{381},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.381},
  URN =		{urn:nbn:de:0030-drops-152619},
  doi =		{10.4230/DagSemRep.381},
}

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)

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.181},
  URN =		{urn:nbn:de:0030-drops-150681},
  doi =		{10.4230/DagSemRep.181},
}

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)

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.90},
  URN =		{urn:nbn:de:0030-drops-149783},
  doi =		{10.4230/DagSemRep.90},
}