Alessandro Gianola
Orcid: 0000-0003-4216-5199
According to our database1,
Alessandro Gianola
authored at least 61 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
ACM Trans. Comput. Log., October, 2023
Softw. Syst. Model., April, 2023
Lecture Notes in Business Information Processing 470, Springer, ISBN: 978-3-031-42745-9, 2023
CoRR, 2023
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version).
CoRR, 2023
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Business Process Management - 21st International Conference, 2023
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining.
Proceedings of the Best Dissertation Award, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Log. Methods Comput. Sci., 2022
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).
CoRR, 2022
CoRR, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Best Dissertation Award, 2022
Proceedings of the Business Process Management - 20th International Conference, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes.
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
J. Autom. Reason., 2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
CoRR, 2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).
CoRR, 2021
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Math. Struct. Comput. Sci., 2020
Fundam. Informaticae, 2020
CoRR, 2020
CoRR, 2020
CoRR, 2020
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations.
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Proceedings of the Business Process Management - 18th International Conference, 2020
2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).
CoRR, 2019
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.
CoRR, 2019
Model Completeness, Covers and Superposition (Abridged Version).
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
CoRR, 2018
Ann. Pure Appl. Log., 2018
2017
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017