Isaac Mackey

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Early Detection

Constraint Violations

Top Venues

Publications

Isaac Mackey, Raghubir Chimni, Jianwen Su
Early detection of temporal constraint violations. Inf. Comput. 296 (2024)
Isaac Mackey, Jianwen Su
Mapping singly-linked rules to linear temporal logic formulas. Inf. Syst. 117 (2023)
Isaac Mackey, Jianwen Su
A Rule-Based Constraint Language for Event Streams. Datalog (2022)
Isaac Mackey, Raghubir Chimni, Jianwen Su
Early Detection of Temporal Constraint Violations. TIME (2022)
Yan Tang, Isaac Mackey, Jianwen Su
Querying Workflow Logs. Inf. 9 (2) (2018)
Ernst L. Leiss, Isaac Mackey
The worst parallel Hanoi graphs. Theor. Comput. Sci. 705 (2018)