Diagnosing behavioral differences between business process models: An approach based on event structures

A Formal Basis for the Heuristic Determination of Minimum Cost Paths

Peter Hart, Nils J. Nilsson, Bertram Raphael · IEEE Transactions on Systems Science and Cybernetics · 1968 · 12.3K citations

Computing, Decision Sciences, Algorithms +15

Workflow Patterns

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski et al. · Distributed and Parallel Databases · 2003 · 2.6K citations · Full text

Workflow mining: discovering process models from event logs

Wil M. P. van der Aalst, Ton Weijters, Laura Măruşter · IEEE Transactions on Knowledge and Data Engineering · 2004 · 2.2K citations

Engineering, Computer Science, Information Systems +16

Practical graph isomorphism, II

Brendan D. McKay, Adolfo Piperno · Journal of Symbolic Computation · 2013 · 1.6K citations

Computing, Computer Science, Algorithms +10

Generalized best-first search strategies and the optimality of A*

Rina Dechter, Judea Pearl · Journal of the ACM · 1985 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16