W. M. Van-der-aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011.

D. Fahland, J. Mendling, H. A. Reijers, B. Weber, M. Weidlich et al., Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability, In: BPM Workshops, pp.477-488, 2009.
DOI : 10.1007/978-3-642-12186-9_45

D. Fahland, D. Lübke, J. Mendling, H. A. Reijers, B. Weber et al., Declarative versus Imperative Process Modeling Languages: The Issue of Understandability, pp.353-366, 2009.
DOI : 10.1145/177492.177726

P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling et al., Imperative versus Declarative Process Modeling Languages: An Empirical Investigation, In: BPM Workshops, vol.15, issue.3, pp.383-394, 2011.
DOI : 10.1007/978-3-540-75183-0_4

A. J. Weijters and W. M. Van-der-aalst, Rediscovering workflow models from eventbased data using little thumb, Integrated Computer-Aided Engineering, vol.10, issue.2, pp.151-162, 2003.

C. W. Günther and W. M. Van-der-aalst, Fuzzy Mining ??? Adaptive Process Simplification Based on Multi-perspective Metrics, In: BPM, pp.328-343, 2007.
DOI : 10.1007/978-3-540-75183-0_24

A. K. De-medeiros, A. J. Weijters, and W. M. Van-der-aalst, Genetic process mining: an experimental evaluation, Data Mining and Knowledge Discovery, vol.10, issue.2, pp.245-304, 2007.
DOI : 10.1007/978-3-662-05094-1

D. Ciccio, C. Mecella, M. Scannapieco, M. Zardetto, D. Catarci et al., MailOfMine ??? Analyzing Mail Messages for Mining Artful Collaborative Processes, pp.55-81, 2012.
DOI : 10.1145/1380572.1380578
URL : https://hal.archives-ouvertes.fr/hal-01515541

M. Pesic and W. M. Van-der-aalst, A Declarative Approach for Flexible Business Processes Management, In: BPM Workshops, pp.169-180, 2006.
DOI : 10.1007/11837862_18

M. Pesic, Constraint-based Workflow Management Systems: Shifting Control to Users, 2008.

W. M. Van-der-aalst, M. Pesic, and H. Schonenberg, Declarative workflows: Balancing between flexibility and support, Computer Science - Research and Development, vol.66, issue.3, pp.99-113, 2009.
DOI : 10.1016/j.datak.2008.05.001

W. M. Van-der-aalst and M. Pesic, DecSerFlow: Towards a Truly Declarative Service Flow Language, WS-FM, pp.1-23, 2006.
DOI : 10.1007/11841197_1

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

D. Ciccio, C. Mecella, and M. , A two-step fast algorithm for the automated discovery of declarative workflows, 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp.135-142, 2013.
DOI : 10.1109/CIDM.2013.6597228

D. Ciccio, C. Mecella, and M. , On the Discovery of Declarative Control Flows for Artful Processes, ACM Transactions on Management Information Systems, vol.5, issue.4, 2014.
DOI : 10.1007/s10618-007-0065-y

D. Giacomo, G. Vardi, and M. Y. , Linear temporal logic and linear dynamic logic on finite traces, In: IJCAI, pp.854-860, 2013.

J. Prescher, D. Ciccio, C. Mendling, and J. , From declarative processes to imperative models, pp.162-173, 2014.

W. M. Van-der-aalst, B. F. Van-dongen, C. W. Günther, A. Rozinat, E. Verbeek et al., ProM: The process mining toolkit, In: BPM (Demos), 2009.

R. Agrawal, D. Gunopulos, and F. Leymann, Mining process models from workflow logs, Advances in Database Technology ? EDBT'98, pp.467-483, 1998.
DOI : 10.1007/BFb0101003
URL : http://www.lido.dist.unige.it/LavoriStudenti/DM/doc/edbt98_flowmk_rj.pdf

W. M. Van-der-aalst, T. Weijters, and L. Maruster, Workflow mining: discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1128-1142, 2004.
DOI : 10.1109/TKDE.2004.47

L. Wen, W. M. Van-der-aalst, J. Wang, and J. Sun, Mining process models with non-free-choice constructs, Data Mining and Knowledge Discovery, vol.10, issue.2, pp.145-180, 2007.
DOI : 10.1017/CBO9780511815478
URL : http://is.tm.tue.nl/staff/wvdaalst/publications/p394.pdf

W. M. Van-der-aalst, R. , V. Verbeek, E. Van-dongen, B. F. Kindler et al., Process mining: a two-step approach to balance between underfitting and overfitting. Software and Systems Modeling, pp.87-111, 2010.

J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, Deriving Petri nets from finite transition systems, IEEE Transactions on Computers, vol.47, issue.8, pp.47-859, 1998.
DOI : 10.1109/12.707587

J. Desel and W. Reisig, The synthesis problem of Petri nets, Acta Informatica, vol.254, issue.1, pp.297-315, 1996.
DOI : 10.1016/0304-3975(92)90180-N

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

D. Fahland and W. M. Van-der-aalst, Model repair ??? aligning process models to reality, Information Systems, vol.47, 2013.
DOI : 10.1016/j.is.2013.12.007

D. Ciccio, C. Marrella, A. Russo, and A. , Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches, Journal on Data Semantics, vol.18, issue.1, pp.1-29, 2014.
DOI : 10.1142/S0218843009001999

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-300, 2007.
DOI : 10.1109/EDOC.2007.14
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p419.pdf

F. M. Maggi, R. P. Bose, and W. M. Van-der-aalst, Efficient Discovery of Understandable Declarative Process Models from Event Logs, CAiSE, pp.270-285, 2012.
DOI : 10.1007/978-3-642-31095-9_18

E. Lamma, P. Mello, F. Riguzzi, and S. Storari, Applying Inductive Logic Programming to Process Mining, In: ILP, pp.132-146, 2007.
DOI : 10.1007/978-3-540-78469-2_16
URL : http://ftp.cs.wisc.edu/machine-learning/shavlik-group/ilp07wip/ilp07_lamma.pdf

F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi et al., Exploiting inductive logic programming techniques for declarative process mining. T. Petri Nets and Other Models of Concurrency, pp.278-295, 2009.
DOI : 10.1007/978-3-642-00899-3_16

E. Bellodi, F. Riguzzi, and E. Lamma, Probabilistic logic-based process mining, In: CILC, 2010.

E. Bellodi, F. Riguzzi, and E. Lamma, Probabilistic Declarative Process Mining, In: KSEM, pp.292-303, 2010.
DOI : 10.1007/978-3-642-15280-1_28

M. Montali, Specification and Verification of Declarative Open Interaction Models: a Logic- Based Approach, 2010.
DOI : 10.1007/978-3-642-14538-4

D. Ciccio, C. Mecella, and M. , Mining Constraints for Artful Processes, In: BIS, vol.117, pp.11-23, 2012.
DOI : 10.1007/978-3-642-30359-3_2

M. De-leoni, F. M. Maggi, and W. M. Van-der-aalst, An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data, Information Systems, vol.47, 2014.
DOI : 10.1016/j.is.2013.12.005

A. Rogge-solti, R. Mans, W. M. Van-der-aalst, and M. Weske, Repairing Event Logs Using Timed Process Models, In: OTM Workshops, pp.705-708, 2013.
DOI : 10.1007/978-3-642-41033-8_89
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p740.pdf

A. Rogge-solti, R. Mans, W. M. Van-der-aalst, and M. Weske, Improving Documentation by Repairing Event Logs, In: PoEM, vol.42, issue.2, pp.129-144, 2013.
DOI : 10.1007/978-3-642-36438-9_9
URL : https://hal.archives-ouvertes.fr/hal-01474744

A. Rogge-solti, Probabilistic Estimation of Unobserved Process Events, 2014.

F. M. Maggi, R. P. Bose, and W. M. Van-der-aalst, A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps, CAiSE, pp.433-448, 2013.
DOI : 10.1007/978-3-642-38709-8_28

D. M. Schunselaar, F. M. Maggi, and N. Sidorova, Patterns for a Log-Based Strengthening of Declarative Compliance Models, In: IFM, pp.327-342, 2012.
DOI : 10.1007/978-3-642-30729-4_23

S. Van-der-spoel, M. Van-keulen, and C. Amrit, Process Prediction in Noisy Data Sets: A Case Study in a Dutch Hospital, In: SIMPDA, pp.60-83, 2012.
DOI : 10.1007/978-3-642-40919-6_4