Frank Puhlmann

Affiliations:
  • Hasso Plattner Institute, Potsdam, Germany


According to our database1, Frank Puhlmann authored at least 17 papers between 2005 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Implementation Framework for Production Case Management: Modeling and Execution.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014

2013
An Agile BPM Project Methodology.
Proceedings of the Business Process Management - 11th International Conference, 2013

2011
Process Model Generation from Natural Language Text.
Proceedings of the Advanced Information Systems Engineering, 2011

2009
A Look Around the Corner: The Pi-Calculus.
Trans. Petri Nets Other Model. Concurr., 2009

2008
Structural Detection of Deadlocks in Business Process Models.
Proceedings of the Business Information Systems, 11th International Conference, 2008

2007
Soundness Verification of Business Processes Specified in the Pi-Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Extending BPMN for Modeling Complex Choreographies.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

The PiVizTool: Simulating Choreographies with Dynamic Binding.
Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07), 2007

2006
Interaction Soundness for Service Orchestrations.
Proceedings of the Service-Oriented Computing, 2006

A Unified Formal Foundation for Service Oriented Architectures.
Proceedings of the EMISA 2006, 2006

Investigations on Soundness Regarding Lazy Activities.
Proceedings of the Business Process Management, 4th International Conference, 2006

A Tool Chain for Lazy Soundness.
Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management, 2006

Formalizing Service Interactions.
Proceedings of the Business Process Management, 4th International Conference, 2006

Variability Mechanisms in E-Business Process Families.
Proceedings of the Business Information Systems, 2006

Why Do We Actually Need the Pi-Calculus for Business Process Management?
Proceedings of the Business Information Systems, 2006

Workflow and Service Composition Languages.
Proceedings of the Handbook on Architectures of Information Systems, 2006

2005
Using the <i>pi</i>-Calculus for Formalizing Workflow Patterns.
Proceedings of the Business Process Management, 3rd International Conference, 2005


  Loading...