Author:
Christfort Axel Kjeld Fjelrad,Slaats Tijs
Publisher
Springer Nature Switzerland
Reference26 articles.
1. van der Aalst, W.M., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) Proceedings of Web Services and Formal Methods (WS-FM 2006), vol. 4184, pp. 1–23 (2006)
2. Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Mathematics and Computer Science (2014)
3. Awad, A., Raun, K., Weidlich, M.: Efficient approximate conformance checking using trie data structures. In: 2021 3rd International Conference on Process Mining (ICPM), pp. 1–8 (2021)
4. Back, C.O., Slaats, T., Hildebrandt, T.T., Marquard, M.: Discover: accurate and efficient discovery of declarative process models. Int. J. Softw. Tools Technol. Transf. 24, 1–25 (2021)
5. Boltenhagen, M., Chatain, T., Carmona, J.: Optimized sat encoding of conformance checking artefacts. Computing 103(1), 29–50 (2021)