BibTeX records: Anna-Maria Emde

• > Home > Persons > Anna-Maria Emde

@article{DBLP:journals/iandc/EmdeS92,
  author       = {Anna{-}Maria Emde and
                  Britta Schinzel},
  title        = {Aggregating Inductive Expertise on Partial Recursive Functions},
  journal      = {Inf. Comput.},
  volume       = {96},
  number       = {2},
  pages        = {139--167},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90045-H},
  doi          = {10.1016/0890-5401(92)90045-H},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EmdeS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/DucasseE91,
  author       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde},
  title        = {{OPIUM:} a debugging environment for Prolog development and debugging
                  research},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {16},
  number       = {1},
  pages        = {54--59},
  year         = {1991},
  url          = {https://doi.org/10.1145/126496.126500},
  doi          = {10.1145/126496.126500},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DucasseE91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/DucasseE91a,
  author       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde},
  title        = {{OPIUM:} a debugging environment for Prolog development and debugging
                  research},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {16},
  number       = {2},
  pages        = {67--72},
  year         = {1991},
  url          = {https://doi.org/10.1145/122538.122549},
  doi          = {10.1145/122538.122549},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DucasseE91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/EmdeD90,
  author       = {Anna{-}Maria Emde and
                  Mireille Ducass{\'{e}}},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Automated debugging of non-terminating Prolog programs},
  booktitle    = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
  pages        = {89},
  year         = {1990},
  timestamp    = {Mon, 06 Sep 2004 15:30:15 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/EmdeD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/EmdeD90,
  author       = {Anna{-}Maria Emde and
                  Mireille Ducass{\'{e}}},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Automated Debugging of Non-Terminating Prolog Programs},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {35--39},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/EmdeD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpe/1990,
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/DucasseE88,
  author       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde},
  editor       = {Tan Chin Nam and
                  Larry E. Druffel and
                  Bertrand Meyer},
  title        = {A Review of Automated Debugging Systems: Knowledge, Strategies, and
                  Techniques},
  booktitle    = {Proceedings, 10th International Conference on Software Engineering,
                  Singapore, Singapore, April 11-15, 1988},
  pages        = {162--173},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {http://dl.acm.org/citation.cfm?id=55841},
  timestamp    = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DucasseE88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}