BibTeX records: Ralf Scheidhauer

• > Home > Persons > Ralf Scheidhauer

@article{DBLP:journals/ki/Scheidhauer99,
  author       = {Ralf Scheidhauer},
  title        = {Design, Implementierung und Evaluierung einer virtuellen Maschine
                  f{\"{u}}r Oz},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {13},
  number       = {3},
  pages        = {52--54},
  year         = {1999},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/Scheidhauer99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaridiRBMSS99,
  author       = {Seif Haridi and
                  Peter Van Roy and
                  Per Brand and
                  Michael Mehl and
                  Ralf Scheidhauer and
                  Gert Smolka},
  title        = {Efficient logic variables for distributed computing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {21},
  number       = {3},
  pages        = {569--626},
  year         = {1999},
  url          = {https://doi.org/10.1145/319301.319347},
  doi          = {10.1145/319301.319347},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HaridiRBMSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Scheidhauer98,
  author       = {Ralf Scheidhauer},
  title        = {Design, Implementierung und Evaluierung einer virtuellen Maschine
                  f{\"{u}}r Oz},
  school       = {Saarland University, Saarbr{\"{u}}cken, Germany},
  year         = {1998},
  url          = {http://scidok.sulb.uni-saarland.de/volltexte/2004/223/index.html},
  urn          = {urn:nbn:de:bsz:291-scidok-2235},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Scheidhauer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RoyHBSMS97,
  author       = {Peter Van Roy and
                  Seif Haridi and
                  Per Brand and
                  Gert Smolka and
                  Michael Mehl and
                  Ralf Scheidhauer},
  title        = {Mobile Objects in Distributed Oz},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {5},
  pages        = {804--851},
  year         = {1997},
  url          = {https://doi.org/10.1145/265943.265972},
  doi          = {10.1145/265943.265972},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RoyHBSMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/RoyMS96,
  author       = {Peter Van Roy and
                  Michael Mehl and
                  Ralf Scheidhauer},
  editor       = {Herbert Kuchen and
                  S. Doaitse Swierstra},
  title        = {Integrating Efficient Records into Concurrent Constraint Programming},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 8th
                  International Symposium, PLILP'96, Aachen, Germany, September 24-27,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1140},
  pages        = {438--453},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61756-6\_102},
  doi          = {10.1007/3-540-61756-6\_102},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/RoyMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/MehlSS95,
  author       = {Michael Mehl and
                  Ralf Scheidhauer and
                  Christian Schulte},
  editor       = {Manuel V. Hermenegildo and
                  S. Doaitse Swierstra},
  title        = {An Abstract Machine for Oz},
  booktitle    = {Programming Languages: Implementations, Logics and Programs, 7th International
                  Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {982},
  pages        = {151--168},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0026819},
  doi          = {10.1007/BFB0026819},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/MehlSS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/AltRS90,
  author       = {Martin Helmut Alt and
                  Robert Rehbold and
                  Ralf Scheidhauer},
  editor       = {Heinz Marburger},
  title        = {{QUASIMODIS:} Modellbasierte Diagnose dynamischer Systeme mit qualitativer
                  Simulation},
  booktitle    = {GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld,
                  Germany, 10.-14. September 1990, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {251},
  pages        = {95--104},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/978-3-642-76071-6\_11},
  doi          = {10.1007/978-3-642-76071-6\_11},
  timestamp    = {Mon, 23 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/AltRS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}