BibTeX records: Frank Michael Kraft

• > Home > Persons > Frank Michael Kraft

@article{DBLP:journals/corr/HoffmanWK14,
  author       = {J{\"{o}}rg Hoffmann and
                  Ingo Weber and
                  Frank Michael Kraft},
  title        = {{SAP} Speaks {PDDL:} Exploiting a Software-Engineering Model for Planning
                  in Business Process Management},
  journal      = {CoRR},
  volume       = {abs/1401.5858},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.5858},
  eprinttype    = {arXiv},
  eprint       = {1401.5858},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HoffmanWK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/HoffmannWK12,
  author       = {J{\"{o}}rg Hoffmann and
                  Ingo Weber and
                  Frank Michael Kraft},
  title        = {{SAP} Speaks {PDDL:} Exploiting a Software-Engineering Model for Planning
                  in Business Process Management},
  journal      = {J. Artif. Intell. Res.},
  volume       = {44},
  pages        = {587--632},
  year         = {2012},
  url          = {https://doi.org/10.1613/jair.3636},
  doi          = {10.1613/JAIR.3636},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/HoffmannWK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/HoffmannWK10,
  author       = {J{\"{o}}rg Hoffmann and
                  Ingo Weber and
                  Frank Michael Kraft},
  editor       = {Maria Fox and
                  David Poole},
  title        = {{SAP} Speaks {PDDL}},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {1096--1101},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7737},
  doi          = {10.1609/AAAI.V24I1.7737},
  timestamp    = {Mon, 04 Sep 2023 16:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HoffmannWK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wicsa/WieczorekRSKCKS09,
  author       = {Sebastian Wieczorek and
                  Andreas Roth and
                  Alin Stefanescu and
                  Vitaly Kozyura and
                  Anis Charfi and
                  Frank Michael Kraft and
                  Ina Schieferdecker},
  title        = {Viewpoints for modeling choreographies in service-oriented architectures},
  booktitle    = {Joint Working {IEEE/IFIP} Conference on Software Architecture 2009
                  and European Conference on Software Architecture 2009, {WICSA/ECSA}
                  2009, Cambridge, UK, 14-17 September 2009},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WICSA.2009.5290787},
  doi          = {10.1109/WICSA.2009.5290787},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/WieczorekRSKCKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoc/DeckerBKL08,
  author       = {Gero Decker and
                  Alistair Barros and
                  Frank Michael Kraft and
                  Niels Lohmann},
  editor       = {Athman Bouguettaya and
                  Ingolf Kr{\"{u}}ger and
                  Tiziana Margaria},
  title        = {Non-desynchronizable Service Choreographies},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
                  Sydney, Australia, December 1-5, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5364},
  pages        = {331--346},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89652-4\_26},
  doi          = {10.1007/978-3-540-89652-4\_26},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/DeckerBKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}