BibTeX records: Britta Kehden

download as .bib file

@article{DBLP:journals/jlp/BerghammerK10,
  author       = {Rudolf Berghammer and
                  Britta Kehden},
  title        = {Relation-algebraic specification and solution of special university
                  timetabling problems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {79},
  number       = {8},
  pages        = {722--739},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jlap.2010.07.013},
  doi          = {10.1016/J.JLAP.2010.07.013},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BerghammerK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FronkK09,
  author       = {Alexander Fronk and
                  Britta Kehden},
  title        = {State space analysis of Petri nets with relation-algebraic methods},
  journal      = {J. Symb. Comput.},
  volume       = {44},
  number       = {1},
  pages        = {15--47},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jsc.2008.04.005},
  doi          = {10.1016/J.JSC.2008.04.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/FronkK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kehden08,
  author       = {Britta Kehden},
  title        = {Vektoren und Vektorpr{\"{a}}dikate und ihre Verwendung bei der
                  Entwicklung relationaler Algorithmen (Vectors and vector predicates
                  and their use in the development of relational algorithms)},
  school       = {Kiel University, Germany},
  year         = {2008},
  url          = {https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-30326},
  urn          = {urn:nbn:de:gbv:8-diss-30326},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kehden08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BerghammerK08,
  author       = {Rudolf Berghammer and
                  Britta Kehden},
  editor       = {Rudolf Berghammer and
                  Bernhard M{\"{o}}ller and
                  Georg Struth},
  title        = {Relation Algebra and RelViewin Practical Use: Construction of Special
                  University Timetables},
  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{\"{o}}rth,
                  Germany, April 7-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4988},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78913-0\_4},
  doi          = {10.1007/978-3-540-78913-0\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DiedrichKN08,
  author       = {Florian Diedrich and
                  Britta Kehden and
                  Frank Neumann},
  editor       = {Rudolf Berghammer and
                  Bernhard M{\"{o}}ller and
                  Georg Struth},
  title        = {Multi-objective Problems in Terms of Relational Algebra},
  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{\"{o}}rth,
                  Germany, April 7-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4988},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78913-0\_8},
  doi          = {10.1007/978-3-540-78913-0\_8},
  timestamp    = {Mon, 30 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DiedrichKN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/BerghammerK07,
  author       = {Rudolf Berghammer and
                  Britta Kehden},
  editor       = {J{\"{o}}rg Kalcsics and
                  Stefan Nickel},
  title        = {Relational Construction of Specific Timetables},
  booktitle    = {Operations Research, Proceedings 2007, Selected Papers of the Annual
                  International Conference of the German Operations Research Society
                  (GOR), Saarbr{\"{u}}cken, Germany, September 5-7, 2007},
  series       = {Operations Research Proceedings},
  pages        = {397--402},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77903-2\_61},
  doi          = {10.1007/978-3-540-77903-2\_61},
  timestamp    = {Fri, 28 Jun 2019 11:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/or/BerghammerK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kehden06,
  author       = {Britta Kehden},
  editor       = {Renate A. Schmidt},
  title        = {Evaluating Sets of Search Points Using Relational Algebra},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 9th International
                  Conference on Relational Methods in Computer Science and 4th International
                  Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
                  UK, August 29-September 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4136},
  pages        = {266--280},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11828563\_18},
  doi          = {10.1007/11828563\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Kehden06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/KehdenN06,
  author       = {Britta Kehden and
                  Frank Neumann},
  editor       = {Jens Gottlieb and
                  G{\"{u}}nther R. Raidl},
  title        = {A Relation-Algebraic View on Evolutionary Algorithms for Some Graph
                  Problems},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization, 6th European
                  Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3906},
  pages        = {147--158},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11730095\_13},
  doi          = {10.1007/11730095\_13},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/KehdenN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KehdenNB05,
  author       = {Britta Kehden and
                  Frank Neumann and
                  Rudolf Berghammer},
  editor       = {Wendy MacCaull and
                  Michael Winter and
                  Ivo D{\"{u}}ntsch},
  title        = {Relational Implementation of Simple Parallel Evolutionary Algorithms},
  booktitle    = {Relational Methods in Computer Science, 8th International Seminar
                  on Relational Methods in Computer Science, 3rd International Workshop
                  on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
                  TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3929},
  pages        = {161--172},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11734673\_13},
  doi          = {10.1007/11734673\_13},
  timestamp    = {Wed, 01 Apr 2020 16:14:32 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KehdenNB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics