Richard Mrasek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2024
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | WEBIST | Speaking the Same Language or Automated Translation? Designing Semantic Interoperability Tools for Data Spaces. | Maximilian Stbler, Tobias Guggenberger, DanDan Wang, Richard Mrasek, Frank Kster, Chris Schlueter Langdon |
| 2015 | CaiSE | Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry. | Richard Mrasek |
| 2015 | CaiSE | Automatic Generation of Optimized Process Models from Declarative Specifications. | Richard Mrasek, Jutta A. Mlle, Klemens Bhm |
| 2014 | BPM | User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. | Richard Mrasek, Jutta A. Mlle, Klemens Bhm, Michael Becker, Christian Allmann |