![]() |
Universität Leipzig, Germany
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| * | 2009 | |
|---|---|---|
| 17 | EE | Volker Gruhn, Ralf Laue: A Heuristic Method for Business Process Model Evaluation. CIAO! / EOMAS 2009: 28-39 |
| 2008 | ||
| 16 | EE | Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf Laue: Business Process Modelling with Continuous Validation. Business Process Management Workshops 2008: 212-223 |
| 15 | Volker Gruhn, Ralf Laue, Heiko Kern, Stefan Kühne: EPK-Validierung zur Modellierungszeit in der bflow* Toolbox. MobIS 2008: 181-194 | |
| 14 | EE | Ralf Laue, Jan Mendling: The Impact of Structuredness on Error Probability of Process Models. UNISCON 2008: 585-590 |
| 2007 | ||
| 13 | EE | Volker Gruhn, Ralf Laue: Forderungen an hierarchische EPK-Schemata. EPK 2007: 59-76 |
| 12 | EE | Volker Gruhn, Ralf Laue: On Experiments for Measuring Cognitive Weights for Software Control Structures. IEEE ICCI 2007: 116-119 |
| 11 | Volker Gruhn, Ralf Laue: Checking Properties of Business Process Models with Logic Programming. MSVVEIS 2007: 84-93 | |
| 10 | EE | Volker Gruhn, Ralf Laue: What business process modelers can learn from programmers. Sci. Comput. Program. 65(1): 4-13 (2007) |
| 2006 | ||
| 9 | Ralf Laue, Volker Gruhn: Complexity Metrics for business Process Models. BIS 2006: 1-12 | |
| 8 | EE | Volker Gruhn, Ralf Laue, Frank Meyer: Berechnung von Komplexitätsmetriken für ereignisgesteuerte Prozessketten. EPK 2006: 189-202 |
| 7 | EE | Volker Gruhn, Ralf Laue: Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. EPK 2006: 69-84 |
| 6 | EE | Volker Gruhn, Ralf Laue: Adopting the Cognitive Complexity Measure for Business Process Models. IEEE ICCI 2006: 236-241 |
| 5 | Volker Gruhn, Ralf Laue: How Style Checking Can Improve Business Process Models. MSVVEIS 2006: 47-56 | |
| 4 | Volker Gruhn, Ralf Laue: Komplexitätsmetriken für Geschäftsprozessmodelle. Modellierung 2006: 289-292 | |
| 3 | EE | Volker Gruhn, Ralf Laue: Patterns for Timed Property Specifications. Electr. Notes Theor. Comput. Sci. 153(2): 117-133 (2006) |
| 2005 | ||
| 2 | Volker Gruhn, Ralf Laue: Using Timed Model Checking for Verifying Workflows. Computer Supported Activity Coordination 2005: 75-88 | |
| 1 | EE | Volker Gruhn, Ralf Laue: Specification Patterns for Time-Related Properties. TIME 2005: 189-191 |
| 1 | Volker Gruhn | [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] |
| 2 | Heiko Kern | [15] [16] |
| 3 | Stefan Kühne | [15] [16] |
| 4 | Jan Mendling | [14] |
| 5 | Frank Meyer | [8] |