BibTeX records: Frank Puhlmann

download as .bib file

@inproceedings{DBLP:conf/edoc/0001HPW14,
  author    = {Andreas Meyer and
               Nico Herzberg and
               Frank Puhlmann and
               Mathias Weske},
  title     = {Implementation Framework for Production Case Management: Modeling
               and Execution},
  booktitle = {18th {IEEE} International Enterprise Distributed Object Computing
               Conference, {EDOC} 2014, Ulm, Germany, September 1-5, 2014},
  pages     = {190--199},
  year      = {2014},
  crossref  = {DBLP:conf/edoc/2014},
  url       = {https://doi.org/10.1109/EDOC.2014.34},
  doi       = {10.1109/EDOC.2014.34},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edoc/0001HPW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ThiemichP13,
  author    = {Christian Thiemich and
               Frank Puhlmann},
  title     = {An Agile {BPM} Project Methodology},
  booktitle = {Business Process Management - 11th International Conference, {BPM}
               2013, Beijing, China, August 26-30, 2013. Proceedings},
  pages     = {291--306},
  year      = {2013},
  crossref  = {DBLP:conf/bpm/2013},
  url       = {https://doi.org/10.1007/978-3-642-40176-3\_25},
  doi       = {10.1007/978-3-642-40176-3\_25},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/ThiemichP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FriedrichMP11,
  author    = {Fabian Friedrich and
               Jan Mendling and
               Frank Puhlmann},
  title     = {Process Model Generation from Natural Language Text},
  booktitle = {Advanced Information Systems Engineering - 23rd International Conference,
               CAiSE 2011, London, UK, June 20-24, 2011. Proceedings},
  pages     = {482--496},
  year      = {2011},
  crossref  = {DBLP:conf/caise/2011},
  url       = {https://doi.org/10.1007/978-3-642-21640-4\_36},
  doi       = {10.1007/978-3-642-21640-4\_36},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/FriedrichMP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PuhlmannW09,
  author    = {Frank Puhlmann and
               Mathias Weske},
  title     = {A Look Around the Corner: The Pi-Calculus},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {2},
  pages     = {64--78},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_4},
  doi       = {10.1007/978-3-642-00899-3\_4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/PuhlmannW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AwadP08,
  author    = {Ahmed Awad and
               Frank Puhlmann},
  title     = {Structural Detection of Deadlocks in Business Process Models},
  booktitle = {Business Information Systems, 11th International Conference, {BIS}
               2008, Innsbruck, Austria, May 5-7, 2008. Proceedings},
  pages     = {239--250},
  year      = {2008},
  crossref  = {DBLP:conf/bis/2008},
  url       = {https://doi.org/10.1007/978-3-540-79396-0\_21},
  doi       = {10.1007/978-3-540-79396-0\_21},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bis/AwadP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BogPW07,
  author    = {Anja Bog and
               Frank Puhlmann and
               Mathias Weske},
  title     = {The PiVizTool: Simulating Choreographies with Dynamic Binding},
  booktitle = {Proceedings of the {BPM} Demonstration Program at the Fifth International
               Conference on Business Process Management (BPM'07), Brisbane, Australia,
               24-27 September 2007},
  year      = {2007},
  crossref  = {DBLP:conf/bpm/2007d},
  url       = {http://ceur-ws.org/Vol-272/BPM07DemoProgramPaper2.pdf},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/BogPW07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/Puhlmann07,
  author    = {Frank Puhlmann},
  title     = {Soundness Verification of Business Processes Specified in the Pi-Calculus},
  booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
               GADA, and IS, {OTM} Confederated International Conferences CoopIS,
               DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
               2007, Proceedings, Part {I}},
  pages     = {6--23},
  year      = {2007},
  crossref  = {DBLP:conf/otm/2007-1},
  url       = {https://doi.org/10.1007/978-3-540-76848-7\_3},
  doi       = {10.1007/978-3-540-76848-7\_3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/otm/Puhlmann07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/DeckerP07,
  author    = {Gero Decker and
               Frank Puhlmann},
  title     = {Extending {BPMN} for Modeling Complex Choreographies},
  booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
               GADA, and IS, {OTM} Confederated International Conferences CoopIS,
               DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
               2007, Proceedings, Part {I}},
  pages     = {24--40},
  year      = {2007},
  crossref  = {DBLP:conf/otm/2007-1},
  url       = {https://doi.org/10.1007/978-3-540-76848-7\_4},
  doi       = {10.1007/978-3-540-76848-7\_4},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/otm/DeckerP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/Puhlmann06,
  author    = {Frank Puhlmann},
  title     = {Why Do We Actually Need the Pi-Calculus for Business Process Management?},
  booktitle = {Business Information Systems, 9th International Conference on Business
               Information Systems, {BIS} 2006, May 31 - June 2, 2006, Klagenfurt,
               Austria},
  pages     = {77--89},
  year      = {2006},
  crossref  = {DBLP:conf/bis/2006},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings85/article4258.html},
  timestamp = {Tue, 31 May 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bis/Puhlmann06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/SchniedersP06,
  author    = {Arnd Schnieders and
               Frank Puhlmann},
  title     = {Variability Mechanisms in E-Business Process Families},
  booktitle = {Business Information Systems, 9th International Conference on Business
               Information Systems, {BIS} 2006, May 31 - June 2, 2006, Klagenfurt,
               Austria},
  pages     = {583--601},
  year      = {2006},
  crossref  = {DBLP:conf/bis/2006},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings85/article4299.html},
  timestamp = {Tue, 31 May 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bis/SchniedersP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Puhlmann06,
  author    = {Frank Puhlmann},
  title     = {A Tool Chain for Lazy Soundness},
  booktitle = {Proceedings of the {BPM} Demo Session at the Fourth International
               Conference on Business Process Management, {BPM} 2006, Vienna, Austria,
               5-7 Sept 2006.},
  year      = {2006},
  crossref  = {DBLP:conf/bpm/2006d},
  url       = {http://ceur-ws.org/Vol-203/paper2.pdf},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/Puhlmann06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/PuhlmannW06,
  author    = {Frank Puhlmann and
               Mathias Weske},
  title     = {Investigations on Soundness Regarding Lazy Activities},
  booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  pages     = {145--160},
  year      = {2006},
  crossref  = {DBLP:conf/bpm/2006},
  url       = {https://doi.org/10.1007/11841760\_11},
  doi       = {10.1007/11841760\_11},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/PuhlmannW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DeckerPW06,
  author    = {Gero Decker and
               Frank Puhlmann and
               Mathias Weske},
  title     = {Formalizing Service Interactions},
  booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  pages     = {414--419},
  year      = {2006},
  crossref  = {DBLP:conf/bpm/2006},
  url       = {https://doi.org/10.1007/11841760\_32},
  doi       = {10.1007/11841760\_32},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/DeckerPW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/Puhlmann06,
  author    = {Frank Puhlmann},
  title     = {A Unified Formal Foundation for Service Oriented Architectures},
  booktitle = {{EMISA} 2006 - Methoden, Konzepte und Technologien f{\"{u}}r
               die Entwicklung von dienstbasierten Informationssystemen, Beitr{\"{a}}ge
               des Workshops der GI-Fachgruppe Entwicklungsmethoden f{\"{u}}r
               Informationssysteme und deren Anwendung (EMISA), 17.-18. Oktober 2006
               in Hamburg},
  pages     = {7--19},
  year      = {2006},
  crossref  = {DBLP:conf/emisa/2006},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings95/article4901.html},
  timestamp = {Tue, 31 May 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emisa/Puhlmann06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PuhlmannW06,
  author    = {Frank Puhlmann and
               Mathias Weske},
  title     = {Interaction Soundness for Service Orchestrations},
  booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
               Chicago, IL, USA, December 4-7, 2006, Proceedings},
  pages     = {302--313},
  year      = {2006},
  crossref  = {DBLP:conf/icsoc/2006},
  url       = {https://doi.org/10.1007/11948148\_25},
  doi       = {10.1007/11948148\_25},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/PuhlmannW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/PuhlmannW05,
  author    = {Frank Puhlmann and
               Mathias Weske},
  title     = {Using the \emph{pi}-Calculus for Formalizing Workflow Patterns},
  booktitle = {Business Process Management, 3rd International Conference, {BPM} 2005,
               Nancy, France, September 5-8, 2005, Proceedings},
  pages     = {153--168},
  year      = {2005},
  crossref  = {DBLP:conf/bpm/2005},
  url       = {https://doi.org/10.1007/11538394\_11},
  doi       = {10.1007/11538394\_11},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/PuhlmannW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edoc/2014,
  editor    = {Manfred Reichert and
               Stefanie Rinderle{-}Ma and
               Georg Grossmann},
  title     = {18th {IEEE} International Enterprise Distributed Object Computing
               Conference, {EDOC} 2014, Ulm, Germany, September 1-5, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6970365},
  isbn      = {978-1-4799-5470-4},
  timestamp = {Thu, 25 Jun 2015 17:37:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edoc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2013,
  editor    = {Florian Daniel and
               Jianmin Wang and
               Barbara Weber},
  title     = {Business Process Management - 11th International Conference, {BPM}
               2013, Beijing, China, August 26-30, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8094},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40176-3},
  doi       = {10.1007/978-3-642-40176-3},
  isbn      = {978-3-642-40175-6},
  timestamp = {Sun, 21 May 2017 00:21:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2011,
  editor    = {Haralambos Mouratidis and
               Colette Rolland},
  title     = {Advanced Information Systems Engineering - 23rd International Conference,
               CAiSE 2011, London, UK, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6741},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21640-4},
  doi       = {10.1007/978-3-642-21640-4},
  isbn      = {978-3-642-21639-8},
  timestamp = {Wed, 24 May 2017 08:29:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2009-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bis/2008,
  editor    = {Witold Abramowicz and
               Dieter Fensel},
  title     = {Business Information Systems, 11th International Conference, {BIS}
               2008, Innsbruck, Austria, May 5-7, 2008. Proceedings},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {7},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-79395-3},
  timestamp = {Fri, 16 May 2008 09:36:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bis/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2007d,
  editor    = {Michael Adams and
               Shazia Wasim Sadiq},
  title     = {Proceedings of the {BPM} Demonstration Program at the Fifth International
               Conference on Business Process Management (BPM'07), Brisbane, Australia,
               24-27 September 2007},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {272},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-272},
  urn       = {urn:nbn:de:0074-272-8},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2007d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/otm/2007-1,
  editor    = {Robert Meersman and
               Zahir Tari},
  title     = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
               GADA, and IS, {OTM} Confederated International Conferences CoopIS,
               DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
               2007, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4803},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76848-7},
  doi       = {10.1007/978-3-540-76848-7},
  isbn      = {978-3-540-76846-3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/otm/2007-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bis/2006,
  editor    = {Witold Abramowicz and
               Heinrich C. Mayr},
  title     = {Business Information Systems, 9th International Conference on Business
               Information Systems, {BIS} 2006, May 31 - June 2, 2006, Klagenfurt,
               Austria},
  series    = {{LNI}},
  volume    = {85},
  publisher = {{GI}},
  year      = {2006},
  isbn      = {3-88579-179-X},
  timestamp = {Wed, 26 Jul 2006 13:39:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bis/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2006d,
  editor    = {Jan Mendling},
  title     = {Proceedings of the {BPM} Demo Session at the Fourth International
               Conference on Business Process Management, {BPM} 2006, Vienna, Austria,
               5-7 Sept 2006},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {203},
  publisher = {CEUR-WS.org},
  year      = {2006},
  url       = {http://ceur-ws.org/Vol-203},
  urn       = {urn:nbn:de:0074-203-8},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2006d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2006,
  editor    = {Schahram Dustdar and
               Jos{\'{e}} Luiz Fiadeiro and
               Amit P. Sheth},
  title     = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4102},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841760},
  doi       = {10.1007/11841760},
  isbn      = {3-540-38901-6},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emisa/2006,
  editor    = {Mathias Weske and
               Markus N{\"{u}}ttgens},
  title     = {{EMISA} 2006 - Methoden, Konzepte und Technologien f{\"{u}}r
               die Entwicklung von dienstbasierten Informationssystemen, Beitr{\"{a}}ge
               des Workshops der GI-Fachgruppe Entwicklungsmethoden f{\"{u}}r
               Informationssysteme und deren Anwendung (EMISA), 17.-18. Oktober 2006
               in Hamburg},
  series    = {{LNI}},
  volume    = {95},
  publisher = {{GI}},
  year      = {2006},
  isbn      = {978-3-88579-189-8},
  timestamp = {Tue, 08 May 2007 14:54:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emisa/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2006,
  editor    = {Asit Dan and
               Winfried Lamersdorf},
  title     = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
               Chicago, IL, USA, December 4-7, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4294},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11948148},
  doi       = {10.1007/11948148},
  isbn      = {3-540-68147-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2005,
  editor    = {Wil M. P. van der Aalst and
               Boualem Benatallah and
               Fabio Casati and
               Francisco Curbera},
  title     = {Business Process Management, 3rd International Conference, {BPM} 2005,
               Nancy, France, September 5-8, 2005, Proceedings},
  volume    = {3649},
  year      = {2005},
  url       = {https://doi.org/10.1007/11538394},
  doi       = {10.1007/11538394},
  isbn      = {3-540-28238-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier