Isaac Mackey

According to our database, Isaac Mackey authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Early detection of temporal constraint violations.

Isaac Mackey, Raghubir Chimni, Jianwen Su

Inf. Comput., January, 2024

2023

Mapping singly-linked rules to linear temporal logic formulas.

Isaac Mackey, Jianwen Su

Inf. Syst., July, 2023

2022

A Rule-Based Constraint Language for Event Streams.

Isaac Mackey, Jianwen Su

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2018

The worst parallel Hanoi graphs.

Ernst L. Leiss, Isaac Mackey

Theor. Comput. Sci., 2018

Querying Workflow Logs.

Yan Tang, Isaac Mackey, Jianwen Su

Inf., 2018