Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs65.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1109-0113,
  author       = {Martin Gebser and
                  Roland Kaminski and
                  Torsten Schaub},
  editor       = {Conrad Drescher and
                  In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {aspcud: {A} Linux Package Configuration Tool Based on Answer Set Programming},
  booktitle    = {Proceedings Second Workshop on Logics for Component Configuration,
                  LoCoCo 2011, Perugia, Italy, 12th September 2011},
  series       = {{EPTCS}},
  volume       = {65},
  pages        = {12--25},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.65.2},
  doi          = {10.4204/EPTCS.65.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-0113.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0114,
  author       = {Gerhard Friedrich and
                  Anna Ryabokon and
                  Andreas A. Falkner and
                  Alois Haselb{\"{o}}ck and
                  Gottfried Schenner and
                  Herwig Schreiner},
  editor       = {Conrad Drescher and
                  In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {(Re)configuration based on model generation},
  booktitle    = {Proceedings Second Workshop on Logics for Component Configuration,
                  LoCoCo 2011, Perugia, Italy, 12th September 2011},
  series       = {{EPTCS}},
  volume       = {65},
  pages        = {26--35},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.65.3},
  doi          = {10.4204/EPTCS.65.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-0114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0115,
  author       = {Markus Aschinger and
                  Conrad Drescher and
                  Georg Gottlob},
  editor       = {Conrad Drescher and
                  In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {Introducing LoCo, a Logic for Configuration Problems},
  booktitle    = {Proceedings Second Workshop on Logics for Component Configuration,
                  LoCoCo 2011, Perugia, Italy, 12th September 2011},
  series       = {{EPTCS}},
  volume       = {65},
  pages        = {36--45},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.65.4},
  doi          = {10.4204/EPTCS.65.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-0115.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0456,
  author       = {Roberto Di Cosmo and
                  Olivier Lhomme and
                  Claude Michel},
  editor       = {Conrad Drescher and
                  In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {Aligning component upgrades},
  booktitle    = {Proceedings Second Workshop on Logics for Component Configuration,
                  LoCoCo 2011, Perugia, Italy, 12th September 2011},
  series       = {{EPTCS}},
  volume       = {65},
  pages        = {1--11},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.65.1},
  doi          = {10.4204/EPTCS.65.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-0456.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-6097,
  editor       = {Conrad Drescher and
                  In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {Proceedings Second Workshop on Logics for Component Configuration,
                  LoCoCo 2011, Perugia, Italy, 12th September 2011},
  series       = {{EPTCS}},
  volume       = {65},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.65},
  doi          = {10.4204/EPTCS.65},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-6097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics