publications:
- title: "A Framework for Interpreting Traces of Functional Logic Computations"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.006"
  links:
    doi: "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"
  kind: "article"
  key: "Brassel07"
- title: "Translating curry to haskell system demo"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085112"
  links:
    doi: "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:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "inproceedings"
  key: "BrasselH05"
- title: "Declaring Numbers"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.037"
  links:
    doi: "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"
  kind: "article"
  key: "BrasselFH08"
- title: "On a Tighter Integration of Functional and Logic Programming"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_9"
  links:
    doi: "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:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  volume: "4807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76636-0"
  kind: "inproceedings"
  key: "BrasselH07"
- title: "Nondeterminism Analysis of Functional Logic Programs"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562931_21"
  links:
    doi: "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:
  - name: "Maurizio Gabbrielli"
    link: "https://researchr.org/alias/maurizio-gabbrielli"
  - name: "Gopal Gupta"
    link: "https://researchr.org/alias/gopal-gupta"
  volume: "3668"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29208-X"
  kind: "inproceedings"
  key: "BrasselH05:0"
- title: "Lazy call-by-value evaluation"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291193"
  links:
    doi: "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:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "BrasselHFHV07"
- title: "Computing with subspaces"
  author:
  - name: "Sergio Antoy"
    link: "https://researchr.org/alias/sergio-antoy"
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1273920.1273936"
  links:
    doi: "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:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  publisher: "ACM"
  isbn: "978-1-59593-769-8"
  kind: "inproceedings"
  key: "AntoyB07"
- title: "High-Level Database Programming in Curry"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Marion Müller"
    link: "https://researchr.org/alias/marion-m%C3%BCller"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-77442-6_21"
  links:
    doi: "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:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  volume: "4902"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77441-9"
  kind: "inproceedings"
  key: "BrasselHM08"
- title: "A Relation Algebraic Semantics for a Lazy Functional Logic Language"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Jan Christiansen"
    link: "http://korsika.informatik.uni-kiel.de/~jac/wordpress/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78913-0_5"
  links:
    doi: "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:
  - name: "Rudolf Berghammer"
    link: "https://researchr.org/alias/rudolf-berghammer"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Georg Struth"
    link: "https://researchr.org/alias/georg-struth"
  volume: "4988"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78912-3"
  kind: "inproceedings"
  key: "BrasselC08"
- title: "Debugging Lazy Functional Programs by Asking the Oracle"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Holger Siegel"
    link: "https://researchr.org/alias/holger-siegel"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_11"
  links:
    doi: "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:
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "5083"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85372-5"
  kind: "inproceedings"
  key: "BrasselS07"
- title: "Denotation by Transformation"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Jan Christiansen"
    link: "http://korsika.informatik.uni-kiel.de/~jac/wordpress/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_7"
  links:
    doi: "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:
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  volume: "4915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78768-6"
  kind: "inproceedings"
  key: "BrasselC07"