Querying Workflow Logs. - Yan Tang; Isaac Mackey; Jianwen Su (Inf., 2018)

The worst parallel Hanoi graphs. - Ernst L. Leiss; Isaac Mackey (Theor. Comput. Sci., 2018)

A Rule-Based Constraint Language for Event Streams. - Isaac Mackey; Jianwen Su (Datalog, 2022)

Early Detection of Business Rule Violations - Isaac Mackey (2023)

Mapping singly-linked rules to linear temporal logic formulas. - Isaac Mackey; Jianwen Su (Inf. Syst., 2023)

Early detection of temporal constraint violations. - Isaac Mackey; Raghubir Chimni; Jianwen Su (Inf. Comput., 2024)