Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/aaip/Dostal07,
  author       = {Martin Dost{\'{a}}l},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {A Functional Approach to Evolving Recursive Programs},
  booktitle    = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  pages        = {27--38},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=35},
  timestamp    = {Wed, 09 Nov 2022 17:23:36 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/Dostal07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/HamelS07,
  author       = {Lutz Hamel and
                  Chi Shen},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {An Inductive Programming Approach to Algebraic Specification},
  booktitle    = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  pages        = {3--14},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=11},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/HamelS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/ItaiS07,
  author       = {Alon Itai and
                  Michael Slavkin},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {Detecting Data Structures from Traces},
  booktitle    = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  pages        = {39--50},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=47},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/ItaiS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Kitzelmann07,
  author       = {Emanuel Kitzelmann},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {Data-Driven Induction of Recursive Functions from Input/Output-Examples},
  booktitle    = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  pages        = {15--26},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=23},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/Kitzelmann07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Olsson07,
  author       = {Roland Olsson},
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {Automatic Design of Algorithms through Evolution {(ADATE)}},
  booktitle    = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  pages        = {1},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=9},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/Olsson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaip/2007,
  editor       = {Emanuel Kitzelmann and
                  Ute Schmid},
  title        = {Proceedings of the Workshop on Approaches and Applications of Inductive
                  Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
  year         = {2007},
  url          = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaip/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}