| BPMN for healthcare processes R Müller, A Rogge-Solti Proceedings of the 3th Central-European Workshop on Services and their …, 2011 | 140 | 2011 |
| Conformance Checking of Services Using the Best Matching Private View R Müller, WMP van der Aalst, C Stahl 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 …, 2012 | 14 | 2012 |
| Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations R Müller, C Stahl, WMP van der Aalst, M Westergaard Service-Oriented Computing, 358-373, 2013 | 10 | 2013 |
| A BPMN Model of the Charity Stroke Treatment Process K Duske, R Müller, R Prüfer, D Stöhr Professoren des Institutes für Informatik, 2014 | 8 | 2014 |
| A Trace-Based Semantics for Responsiveness W Vogler, C Stahl, R Müller Proceedings of the 12th International Conference on Application of …, 2012 | 7 | 2012 |
| A Survey on Approaches for Timed Services K Duske, R Müller Proceedings of the 4th Central-European Workshop on Services and their …, 2012 | 6 | 2012 |
| On the Notion of Deadlocks in Open Nets R Müller Proceedings of the 17th German Workshop on Algorithms and Tools for Petri …, 2010 | 6 | 2010 |
| Trace-and failure-based semantics for bounded responsiveness W Vogler, C Stahl, R Müller European Conference on Service-Oriented and Cloud Computing, 129-143, 2013 | 5 | 2013 |
| Trace-and failure-based semantics for responsiveness W Vogler, C Stahl, R Müller BPM Center Report BPM-13-14, BPMcenter.org, 2013 | 5 | 2013 |
| Verifying Responsiveness for Open Systems by Means of Conformance Checking R Müller Eindhoven University of Technology, Humboldt-Universität zu Berlin, 2014 | 4 | 2014 |
| Undecidability of accordance for open systems with unbounded message queues R Müller, C Stahl, W Vogler Information Processing Letters 114 (12), 663-669, 2014 | 2 | 2014 |
| Formal Characterisation of Partners of an Open Net R Müller Humboldt-Universität zu Berlin, 2010 | 2 | 2010 |
| Deciding conformance for bounded responsiveness R Müller, C Stahl, W Vogler Science of Computer Programming 138, 1-25, 2017 | 1 | 2017 |
| Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines R Müller, C Stahl 2nd workshop on Petri nets compositions CompoNet 2012, 2012 | | 2012 |
| Strukturelle Reduktion von Verhaltensadaptern R Müller Humboldt-Universität zu Berlin, 2009 | | 2009 |
Christian StahlDepartment of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
