Richard Mrasek

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 5

Top Topics

Interactive Data Mining

Face Verification

Top Venues

OTM Conferences

CAiSE (Doctoral Consortium)

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst. 56 (2016)
Richard Mrasek, Jutta A. Mülle, Klemens Böhm
Process Synthesis with Sequential and Parallel Constraints. OTM Conferences (2016)
Richard Mrasek
Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry. CAiSE (Doctoral Consortium) (2015)
Richard Mrasek, Jutta A. Mülle, Klemens Böhm
Automatic Generation of Optimized Process Models from Declarative Specifications. CAiSE (2015)
Richard Mrasek, Jutta A. Mülle, Klemens Böhm
A new verification technique for large processes based on identification of relevant tasks. Inf. Syst. 47 (2015)
Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. BPM (2014)