Efficient Checking of Timed Ordered Anti-patterns over Graph-Encoded Event Logs. - Nesma M. Zaki; Iman M. A. Helal; Ehab E. Hassanein; Ahmed Awad 001 (MEDI, 2022)

Efficient Checking of Timed Order Compliance Rules over Graph-encoded Event Logs. - Nesma M. Zaki; Iman M. A. Helal; Ahmed Awad 001; Ehab E. Hassanein (CoRR, 2022)

Validating Temporal Compliance Patterns: A Unified Approach with MTLf over various Data Models. - Nesma M. Zaki; Iman M. A. Helal; Ehab E. Hassanein; Ahmed Awad 001 (CoRR, 2024)