172 citations · 370 across the 39 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.DB2020★ 2 cited
Hiperfact: In-Memory High Performance Fact Processing -- Rethinking the Rete Inference Algorithm
Conrad Indiono, Stefanie Rinderle-Ma
The Rete forward inference algorithm forms the basis for many rule engines deployed today, but it exhibits the following problems: (1) the caching of all intermediate join results,…
cs.SE2020★ 2 cited
Temporal Conformance Checking at Runtime based on Time-infused Process Models
Florian Stertz, Juergen Mangler, Stefanie Rinderle-Ma
Conformance checking quantifies the deviations between a set of traces in a given process log and a set of possible traces defined by a process model. Current approaches mostly foc…