Cited By
View all- Mackey IChimni RSu J(2024)Early detection of temporal constraint violationsInformation and Computation10.1016/j.ic.2023.105114296(105114)Online publication date: Jan-2024
- Aghasadeghi AVan den Bussche JStoyanovich J(2024)Temporal graph patterns by timed automataThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-023-00795-z33:1(25-47)Online publication date: 1-Jan-2024
- Zhang XHu PNenov YHorrocks IElkind E(2023)Enhancing datalog reasoning with hypertree decompositionsProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/377(3383-3393)Online publication date: 19-Aug-2023
- Show More Cited By