BibTeX records: Anna-Maria Emde

download as .bib file

@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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/EmdeS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/EmdeD90,
  author    = {Anna{-}Maria Emde and
               Mireille Ducass{\'{e}}},
  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},
  crossref  = {DBLP:conf/jfplc/1990},
  timestamp = {Mon, 06 Sep 2004 15:30:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/EmdeD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/EmdeD90,
  author    = {Anna{-}Maria Emde and
               Mireille Ducass{\'{e}}},
  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},
  crossref  = {DBLP:conf/lpe/1990},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpe/EmdeD90},
  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/bib/conf/lpe/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DucasseE88,
  author    = {Mireille Ducass{\'{e}} and
               Anna{-}Maria Emde},
  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},
  year      = {1988},
  crossref  = {DBLP:conf/icse/1988},
  url       = {http://dl.acm.org/citation.cfm?id=55841},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/DucasseE88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1990,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
               en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
  year      = {1990},
  timestamp = {Mon, 06 Sep 2004 15:30:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/1990},
  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 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpe/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1988,
  editor    = {Tan Chin Nam and
               Larry E. Druffel and
               Bertrand Meyer},
  title     = {Proceedings, 10th International Conference on Software Engineering,
               Singapore, Singapore, April 11-15, 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://dl.acm.org/citation.cfm?id=55823},
  isbn      = {0-8186-0849-8},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics