Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/dagstuhl/2009P9471,
  editor       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  title        = {Computer-assisted proofs - tools, methods and applications, 15.11.
                  - 20.11.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/portals/09471/},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2009P9471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/AuerCDKL09,
  author       = {Ekaterina Auer and
                  Roger Cuypers and
                  Eva Dyllong and
                  Stefan Kiel and
                  Wolfram Luther},
  editor       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  title        = {Verification and Validation for Femur Prosthesis Surgery},
  booktitle    = {Computer-assisted proofs - tools, methods and applications, 15.11.
                  - 20.11.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2513/},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AuerCDKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BrownKOR09,
  author       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  editor       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  title        = {09471 Abstracts Collection - Computer-assisted proofs - tools, methods
                  and applications},
  booktitle    = {Computer-assisted proofs - tools, methods and applications, 15.11.
                  - 20.11.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2532/},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BrownKOR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BrownKOR09a,
  author       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  editor       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  title        = {09471 Executive Summary - Computer-assisted proofs - tools, methods
                  and applications},
  booktitle    = {Computer-assisted proofs - tools, methods and applications, 15.11.
                  - 20.11.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2531/},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BrownKOR09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/RauhA09,
  author       = {Andreas Rauh and
                  Ekaterina Auer},
  editor       = {B. Malcolm Brown and
                  Erich L. Kaltofen and
                  Shin'ichi Oishi and
                  Siegfried M. Rump},
  title        = {Interval Approaches to Reliable Control of Dynamical Systems},
  booktitle    = {Computer-assisted proofs - tools, methods and applications, 15.11.
                  - 20.11.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2512/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/RauhA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}