Isaac Mackey

According to our database, Isaac Mackey authored at least 6 papers between 2018 and 2023.

Collaborative distances:

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

2023

Mapping singly-linked rules to linear temporal logic formulas.

Isaac Mackey, Jianwen Su

Inf. Syst., July, 2023

Early Detection of Business Rule Violations

Isaac Mackey

PhD thesis, 2023

2022

Early Detection of Temporal Constraint Violations.

Isaac Mackey, Raghubir Chimni, Jianwen Su

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 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