@article{Brassel07,
  title = {A Framework for Interpreting Traces of Functional Logic Computations},
  author = {Bernd Braßel},
  year = {2007},
  doi = {10.1016/j.entcs.2007.01.006},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.01.006},
  tags = {logic},
  researchr = {https://researchr.org/publication/Brassel07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {177},
  pages = {91-106},
}

@inproceedings{BrasselH05,
  title = {Translating curry to haskell system demo},
  author = {Bernd Braßel and Frank Huch},
  year = {2005},
  doi = {10.1145/1085099.1085112},
  url = {http://doi.acm.org/10.1145/1085099.1085112},
  tags = {translation, Haskell},
  researchr = {https://researchr.org/publication/BrasselH05},
  cites = {0},
  citedby = {0},
  pages = {60-65},
  booktitle = {Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005},
  editor = {Sergio Antoy and Michael Hanus},
  publisher = {ACM},
  isbn = {1-59593-069-8},
}

@article{BrasselFH08,
  title = {Declaring Numbers},
  author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.037},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.06.037},
  researchr = {https://researchr.org/publication/BrasselFH08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {216},
  pages = {111-124},
}

@inproceedings{BrasselH07,
  title = {On a Tighter Integration of Functional and Logic Programming},
  author = {Bernd Braßel and Frank Huch},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_9},
  url = {http://dx.doi.org/10.1007/978-3-540-76637-7_9},
  tags = {functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/BrasselH07},
  cites = {0},
  citedby = {0},
  pages = {122-138},
  booktitle = {Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings},
  editor = {Zhong Shao},
  volume = {4807},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76636-0},
}

@inproceedings{BrasselH05:0,
  title = {Nondeterminism Analysis of Functional Logic Programs},
  author = {Bernd Braßel and Michael Hanus},
  year = {2005},
  doi = {10.1007/11562931_21},
  url = {http://dx.doi.org/10.1007/11562931_21},
  tags = {program analysis, functional programming, analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/BrasselH05%3A0},
  cites = {0},
  citedby = {0},
  pages = {265-279},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings},
  editor = {Maurizio Gabbrielli and Gopal Gupta},
  volume = {3668},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29208-X},
}

@inproceedings{BrasselHFHV07,
  title = {Lazy call-by-value evaluation},
  author = {Bernd Braßel and Michael Hanus and Sebastian Fischer and Frank Huch and Germán Vidal},
  year = {2007},
  doi = {10.1145/1291151.1291193},
  url = {http://doi.acm.org/10.1145/1291151.1291193},
  tags = {laziness},
  researchr = {https://researchr.org/publication/BrasselHFHV07},
  cites = {0},
  citedby = {0},
  pages = {265-276},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@inproceedings{AntoyB07,
  title = {Computing with subspaces},
  author = {Sergio Antoy and Bernd Braßel},
  year = {2007},
  doi = {10.1145/1273920.1273936},
  url = {http://doi.acm.org/10.1145/1273920.1273936},
  researchr = {https://researchr.org/publication/AntoyB07},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
  editor = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}

@inproceedings{BrasselHM08,
  title = {High-Level Database Programming in Curry},
  author = {Bernd Braßel and Michael Hanus and Marion Müller},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_21},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_21},
  tags = {programming, database},
  researchr = {https://researchr.org/publication/BrasselHM08},
  cites = {0},
  citedby = {0},
  pages = {316-332},
  booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
  editor = {Paul Hudak and David Scott Warren},
  volume = {4902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77441-9},
}

@inproceedings{BrasselC08,
  title = {A Relation Algebraic Semantics for a Lazy Functional Logic Language},
  author = {Bernd Braßel and Jan Christiansen},
  year = {2008},
  doi = {10.1007/978-3-540-78913-0_5},
  url = {http://dx.doi.org/10.1007/978-3-540-78913-0_5},
  tags = {laziness, semantics,  algebra, logic},
  researchr = {https://researchr.org/publication/BrasselC08},
  cites = {0},
  citedby = {0},
  pages = {37-53},
  booktitle = {Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P},
  editor = {Rudolf Berghammer and Bernhard Möller and Georg Struth},
  volume = {4988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78912-3},
}

@inproceedings{BrasselS07,
  title = {Debugging Lazy Functional Programs by Asking the Oracle},
  author = {Bernd Braßel and Holger Siegel},
  year = {2007},
  doi = {10.1007/978-3-540-85373-2_11},
  url = {http://dx.doi.org/10.1007/978-3-540-85373-2_11},
  tags = {laziness, functional programming, debugging},
  researchr = {https://researchr.org/publication/BrasselS07},
  cites = {0},
  citedby = {0},
  pages = {183-200},
  booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers},
  editor = {Olaf Chitil and Zoltán Horváth and Viktória Zsók},
  volume = {5083},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85372-5},
}

@inproceedings{BrasselC07,
  title = {Denotation by Transformation},
  author = {Bernd Braßel and Jan Christiansen},
  year = {2007},
  doi = {10.1007/978-3-540-78769-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-78769-3_7},
  tags = {transformation},
  researchr = {https://researchr.org/publication/BrasselC07},
  cites = {0},
  citedby = {0},
  pages = {90-105},
  booktitle = {Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
  editor = {Andy King},
  volume = {4915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78768-6},
}