A. Adriansyah, B. F. Van-dongen, and W. M. Van-der-aalst, Conformance Checking Using Cost-Based Fitness Analysis, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, pp.55-64, 2011.
DOI : 10.1109/EDOC.2011.12
URL : http://wwwis.win.tue.nl/%7Ewvdaalst/publications/p630.pdf

A. Adriansyah, B. F. Van-dongen, and W. M. Van-der-aalst, Towards Robust Conformance Checking, Business Process Management Workshops, pp.122-133, 2011.
DOI : 10.1007/978-3-642-12186-9_15
URL : http://wwwis.win.tue.nl/%7Ewvdaalst/publications/p610.pdf

M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello et al., Verifiable agent interaction in abductive logic programming, ACM Transactions on Computational Logic, vol.9, issue.4, pp.1-2943, 2008.
DOI : 10.1145/1380572.1380578

J. C. Buijs, B. F. Van-dongen, and W. M. Van-der-aalst, A genetic algorithm for discovering process trees, 2012 IEEE Congress on Evolutionary Computation, pp.1-8, 2012.
DOI : 10.1109/CEC.2012.6256458

J. C. Buijs, B. F. Van-dongen, and W. M. Van-der-aalst, Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity, International Journal of Cooperative Information Systems, vol.28, issue.01, pp.2014-2024
DOI : 10.1007/BF00264611

F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi et al., Exploiting Inductive Logic Programming Techniques for Declarative Process Mining, chapter Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems, pp.278-29510, 2009.

C. Ciccio and M. Mecella, Mining Constraints for Artful Processes, chapter Business Information Systems: 15th International Conference, BIS 2012, Proceedings, pp.11-23978, 2012.
DOI : 10.1007/978-3-642-30359-3_2

M. De-leoni, F. M. Maggi, and W. M. Van-der-aalst, Aligning Event Logs and Declarative Process Models for Conformance Checking, Business Process Management, pp.82-97, 2012.
DOI : 10.1007/978-3-642-32885-5_6

M. De-leoni and F. Mannhardt, Road traffic fine management process, pp.270-440

P. M. Dixit, J. C. Buijs, W. M. Van-der-aalst, B. F. Hompes, and J. Buurman, Enhancing process mining results using domain knowledge

D. Fahland and W. M. Van-der-aalst, Repairing Process Models to Reflect Reality, Business process management, pp.229-245, 2012.
DOI : 10.1007/978-3-642-32885-5_19

L. Giordano, A. Martelli, M. Spiotta, and D. T. Dupre, Business process verification with constraint temporal answer set programming. Theory and Practice of Logic Programming, pp.641-65510, 2013.

S. Goedertier, D. Martens, J. Vanthienen, and B. Baesens, Robust process discovery with artificial negative events, J. Mach. Learn. Res, vol.10, pp.1305-1340, 2009.

G. Greco, A. Guzzo, F. Lupa, and P. Luigi, Process Discovery under Precedence Constraints, ACM Transactions on Knowledge Discovery from Data, vol.9, issue.4, pp.1-3239, 2015.
DOI : 10.1016/j.datak.2010.06.001

E. Lamma, P. Mello, F. Riguzzi, and S. Storari, Applying Inductive Logic Programming to Process Mining, chapter Inductive Logic Programming, 17th International Conference, pp.132-146, 2007.
DOI : 10.1007/978-3-540-78469-2_16

S. J. Leemans, D. Fahland, and W. M. Van-der-aalst, Discovering blockstructured process models from event logs containing infrequent behaviour, Business Process Management Workshops, pp.66-78, 2014.
DOI : 10.1007/978-3-319-06257-0_6

F. M. Maggi, A. J. Mooij, and W. M. Van-der-aalst, User-guided discovery of declarative process models, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp.192-199, 2011.
DOI : 10.1109/CIDM.2011.5949297

M. Pesic, H. Schonenberg, and W. M. Van-der-aalst, DECLARE: Full Support for Loosely-Structured Processes, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.287-287, 2007.
DOI : 10.1109/EDOC.2007.14
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p419.pdf

E. Ramezani, D. Fahland, and W. M. Van-der-aalst, Where Did I Misbehave? Diagnostic Information in Compliance Checking, Business Process Management, pp.262-278, 2012.
DOI : 10.1007/978-3-642-32885-5_21
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p682.pdf

J. Aubrey, A. Rembert, P. Omokpo, . Mazzoleni, T. Richard et al., Process discovery using prior knowledge, Service-Oriented Computing, pp.328-342, 2013.

W. Runte and M. Kharbili, Constraint checking for business process management, GI Jahrestagung, pp.4093-4103, 2009.

W. M. Van-der-aalst, Process Mining -Data Science in Action, 2016.

J. M. Werf, B. F. Van-dongen, C. A. Hurkens, and A. Serebrenik, Process Discovery Using Integer Linear Programming, chapter Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS, Proceedings, pp.368-387, 2008.