Search the dblp DataBase

Publications of Author

1. Frank Puhlmann
   Why Do We Actually Need the Pi-Calculus for Business Process Management? [Citation Graph (0, 0)][DBLP]
   BIS, 2006, pp:77-89 [Conf]
   
2. Arnd Schnieders, Frank Puhlmann
   Variability Mechanisms in E-Business Process Families. [Citation Graph (0, 0)][DBLP]
   BIS, 2006, pp:583-601 [Conf]
   
3. Gero Decker, Frank Puhlmann, Mathias Weske
   Formalizing Service Interactions. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2006, pp:414-419 [Conf]
   
4. Frank Puhlmann, Mathias Weske
   Using the pi-Calculus for Formalizing Workflow Patterns. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2005, pp:153-168 [Conf]
   
5. Frank Puhlmann, Mathias Weske
   Investigations on Soundness Regarding Lazy Activities. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2006, pp:145-160 [Conf]
   
6. Frank Puhlmann
   A Unified Formal Foundation for Service Oriented Architectures. [Citation Graph (0, 0)][DBLP]
   EMISA, 2006, pp:7-19 [Conf]
   
7. Frank Puhlmann, Mathias Weske
   Interaction Soundness for Service Orchestrations. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2006, pp:302-313 [Conf]
   
8. Gero Decker, Frank Puhlmann
   Extending BPMN for Modeling Complex Choreographies. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (1), 2007, pp:24-40 [Conf]
   
9. Frank Puhlmann
   Soundness Verification of Business Processes Specified in the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (1), 2007, pp:6-23 [Conf]
   
10. 
    Structural Detection of Deadlocks in Business Process Models. [Citation Graph (, )][DBLP]
    
    
11. 
    The PiVizTool: Simulating Choreographies with Dynamic Binding. [Citation Graph (, )][DBLP]