Search the dblp DataBase

Publications of Author

1. Ralf Laue, Volker Gruhn
   Complexity Metrics for business Process Models. [Citation Graph (0, 0)][DBLP]
   BIS, 2006, pp:1-12 [Conf]
   
2. Volker Gruhn, Ralf Laue
   Using Timed Model Checking for Verifying Workflows. [Citation Graph (0, 0)][DBLP]
   Computer Supported Activity Coordination, 2005, pp:75-88 [Conf]
   
3. Volker Gruhn, Ralf Laue
   Komplexitätsmetriken für Geschäftsprozessmodelle. [Citation Graph (0, 0)][DBLP]
   Modellierung, 2006, pp:289-292 [Conf]
   
4. Volker Gruhn, Ralf Laue
   Specification Patterns for Time-Related Properties. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:189-191 [Conf]
   
5. Volker Gruhn, Ralf Laue
   How Style Checking Can Improve Business Process Models. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2006, pp:47-56 [Conf]
   
6. Volker Gruhn, Ralf Laue
   Patterns for Timed Property Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:117-133 [Journal]
   
7. Volker Gruhn, Ralf Laue
   What business process modelers can learn from programmers. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:4-13 [Journal]
   
8. 
   Adopting the Cognitive Complexity Measure for Business Process Models. [Citation Graph (, )][DBLP]
   
   
9. 
   On Experiments for Measuring Cognitive Weights for Software Control Structures. [Citation Graph (, )][DBLP]
   
   
10. 
    Reducing the cognitive complexity of business process models. [Citation Graph (, )][DBLP]
    
    
11. 
    Business Process Modelling with Continuous Validation. [Citation Graph (, )][DBLP]
    
    
12. 
    A Comparison of Soundness Results Obtained by Different Approaches. [Citation Graph (, )][DBLP]
    
    
13. 
    A Heuristic Method for Business Process Model Evaluation. [Citation Graph (, )][DBLP]
    
    
14. 
    Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. [Citation Graph (, )][DBLP]
    
    
15. 
    Berechnung von Komplexitätsmetriken für ereignisgesteuerte Prozessketten. [Citation Graph (, )][DBLP]
    
    
16. 
    Forderungen an hierarchische EPK-Schemata. [Citation Graph (, )][DBLP]
    
    
17. 
    The Impact of Structuredness on Error Probability of Process Models. [Citation Graph (, )][DBLP]
    
    
18. 
    EPK-Validierung zur Modellierungszeit in der bflow* Toolbox. [Citation Graph (, )][DBLP]
    
    
19. 
    Checking Properties of Business Process Models with Logic Programming. [Citation Graph (, )][DBLP]