Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Puhlmann
@inproceedings{DBLP:conf/edoc/0001HPW14,
author = {Andreas Meyer and
Nico Herzberg and
Frank Puhlmann and
Mathias Weske},
editor = {Manfred Reichert and
Stefanie Rinderle{-}Ma and
Georg Grossmann},
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},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDOC.2014.34},
doi = {10.1109/EDOC.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/0001HPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ThiemichP13,
author = {Christian Thiemich and
Frank Puhlmann},
editor = {Florian Daniel and
Jianmin Wang and
Barbara Weber},
title = {An Agile {BPM} Project Methodology},
booktitle = {Business Process Management - 11th International Conference, {BPM}
2013, Beijing, China, August 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8094},
pages = {291--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40176-3\_25},
doi = {10.1007/978-3-642-40176-3\_25},
timestamp = {Mon, 28 Aug 2023 21:17:13 +0200},
biburl = {https://dblp.org/rec/conf/bpm/ThiemichP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FriedrichMP11,
author = {Fabian Friedrich and
Jan Mendling and
Frank Puhlmann},
editor = {Haralambos Mouratidis and
Colette Rolland},
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},
series = {Lecture Notes in Computer Science},
volume = {6741},
pages = {482--496},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21640-4\_36},
doi = {10.1007/978-3-642-21640-4\_36},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/FriedrichMP11.bib},
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 Other Model. Concurr.},
volume = {2},
pages = {64--78},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_4},
doi = {10.1007/978-3-642-00899-3\_4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/PuhlmannW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AwadP08,
author = {Ahmed Awad and
Frank Puhlmann},
editor = {Witold Abramowicz and
Dieter Fensel},
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},
series = {Lecture Notes in Business Information Processing},
volume = {7},
pages = {239--250},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79396-0\_21},
doi = {10.1007/978-3-540-79396-0\_21},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bis/AwadP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BogPW07,
author = {Anja Bog and
Frank Puhlmann and
Mathias Weske},
editor = {Michael Adams and
Shazia Wasim Sadiq},
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},
series = {{CEUR} Workshop Proceedings},
volume = {272},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-272/BPM07DemoProgramPaper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BogPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/Puhlmann07,
author = {Frank Puhlmann},
editor = {Robert Meersman and
Zahir Tari},
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}},
series = {Lecture Notes in Computer Science},
volume = {4803},
pages = {6--23},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76848-7\_3},
doi = {10.1007/978-3-540-76848-7\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/Puhlmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/DeckerP07,
author = {Gero Decker and
Frank Puhlmann},
editor = {Robert Meersman and
Zahir Tari},
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}},
series = {Lecture Notes in Computer Science},
volume = {4803},
pages = {24--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76848-7\_4},
doi = {10.1007/978-3-540-76848-7\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/DeckerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/Puhlmann06,
author = {Frank Puhlmann},
editor = {Witold Abramowicz and
Heinrich C. Mayr},
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},
series = {{LNI}},
volume = {{P-85}},
pages = {77--89},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24175},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bis/Puhlmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/SchniedersP06,
author = {Arnd Schnieders and
Frank Puhlmann},
editor = {Witold Abramowicz and
Heinrich C. Mayr},
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},
series = {{LNI}},
volume = {{P-85}},
pages = {583--601},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24172},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bis/SchniedersP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/PuhlmannW06,
author = {Frank Puhlmann and
Mathias Weske},
editor = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {Investigations on Soundness Regarding Lazy Activities},
booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
Vienna, Austria, September 5-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4102},
pages = {145--160},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841760\_11},
doi = {10.1007/11841760\_11},
timestamp = {Sun, 02 Jun 2019 21:21:27 +0200},
biburl = {https://dblp.org/rec/conf/bpm/PuhlmannW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DeckerPW06,
author = {Gero Decker and
Frank Puhlmann and
Mathias Weske},
editor = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {Formalizing Service Interactions},
booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
Vienna, Austria, September 5-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4102},
pages = {414--419},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841760\_32},
doi = {10.1007/11841760\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/DeckerPW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Puhlmann06,
author = {Frank Puhlmann},
editor = {Jan Mendling},
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},
series = {{CEUR} Workshop Proceedings},
volume = {203},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-203/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/Puhlmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/Puhlmann06,
author = {Frank Puhlmann},
editor = {Mathias Weske and
Markus N{\"{u}}ttgens},
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},
series = {{LNI}},
volume = {{P-95}},
pages = {7--19},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/23479},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emisa/Puhlmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PuhlmannW06,
author = {Frank Puhlmann and
Mathias Weske},
editor = {Asit Dan and
Winfried Lamersdorf},
title = {Interaction Soundness for Service Orchestrations},
booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
Chicago, IL, USA, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4294},
pages = {302--313},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11948148\_25},
doi = {10.1007/11948148\_25},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/PuhlmannW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/06/WeskeVP06,
author = {Mathias Weske and
Gottfried Vossen and
Frank Puhlmann},
editor = {Peter Bernus and
Kai Mertins and
G{\"{u}}nter Schmidt},
title = {Workflow and Service Composition Languages},
booktitle = {Handbook on Architectures of Information Systems},
series = {International handbooks on information systems},
pages = {369--390},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-26661-5\_16},
doi = {10.1007/3-540-26661-5\_16},
timestamp = {Wed, 17 Jul 2019 12:32:00 +0200},
biburl = {https://dblp.org/rec/books/sp/06/WeskeVP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/PuhlmannW05,
author = {Frank Puhlmann and
Mathias Weske},
editor = {Wil M. P. van der Aalst and
Boualem Benatallah and
Fabio Casati and
Francisco Curbera},
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},
volume = {3649},
pages = {153--168},
year = {2005},
url = {https://doi.org/10.1007/11538394\_11},
doi = {10.1007/11538394\_11},
timestamp = {Thu, 14 Oct 2021 10:23:39 +0200},
biburl = {https://dblp.org/rec/conf/bpm/PuhlmannW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
