Alessandro Gianola

3 papers in the IJCAI proceedings

IJCAI 2026

Monitoring Data-aware Temporal Properties

with Marco Montali, Sarah Winkler

doi:10.24963/ijcai.2026/13

Details PDF

IJCAI 2023

Safety Verification and Universal Invariants for Relational Action Bases

with Silvio Ghilardi, Marco Montali, Andrey Rivkin

doi:10.24963/ijcai.2023/362

Details PDF

IJCAI 2022

Linear Temporal Logic Modulo Theories over Finite Traces

with Luca Geatti, Nicola Gigante

doi:10.24963/ijcai.2022/366

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings