Bridging abstraction layers in process mining

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Enriching the knowledge sources used in a maximum entropy part-of-speech tagger

Kristina Toutanova, Christopher D. Manning · 2000 · 948 citations · Full text

Computing, Computer Science, Linguistics +12

Similarity of business process models: Metrics and evaluation

Remco Dijkman, Marlon Dumas, Boudewijn F. van Dongen et al. · Information Systems · 2010 · 607 citations · Full text

Business, Information Systems, Management Information Systems +12

Activity Discovery and Activity Recognition: A New Partnership

Diane J. Cook, Narayanan C. Krishnan, Parisa Rashidi · IEEE Transactions on Cybernetics · 2012 · 235 citations · Full text

Computing, Computer Science, Data Mining +13

Event correlation for process discovery from web service interaction logs

Hamid Reza Motahari‐Nezhad, Régis Saint-Paul, Fabio Casati et al. · The VLDB Journal · 2010 · 143 citations

Business, Computer Science, Information Systems +8