1. Process Mining
2. Workflow mining: Discovering process models from event logs;W Van Der Aalst;IEEE transactions on knowledge and data engineering,2004
3. Process mining and verification of properties: An approach based on temporal logic;W M Van Der Aalst;On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005,2005
4. Discovering workflow performance models from timed logs;W M Van Der Aalst;International Conference on Engineering and Employment of Cooperative Information Systems,2002
5. Aligning observed and modeled behavior;A Adriansyah;Mathematics and Computer Science,2014