Alessandro Gianola

Computer Science · Physical Sciences

12h-index455citations97works1.72yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(41), Business Process Modeling and Analysis(41), Service-Oriented Architecture and Web Services(25), Logic, programming, and type systems(23), Semantic Web and Ontologies(20)

Publications97 total

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
ArXiv.org·2026Open Access
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
arXiv (Cornell University)·2026Open Access
To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes
Lecture notes in computer science·2025
Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue
Lecture notes in computer science·2025
Efficient Conformance Checking of Rich Data-Aware Declare Specifications
Lecture notes in computer science·2025· 1 cited
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
arXiv (Cornell University)·2025Open Access
Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)
arXiv (Cornell University)·2025· 1 citedOpen Access
SMT Techniques for Data-Aware Process Mining
KI - Künstliche Intelligenz·2025· 2 citedOpen Access
First-Order Automata
Proceedings of the AAAI Conference on Artificial Intelligence·2025Open Access
Object-Centric Processes with Structured Data and Exact Synchronization
Lecture notes in computer science·2025
Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments
Information Systems·2024· 2 citedOpen Access
A General Automata Model for First-Order Temporal Logics (Extended Version)
arXiv (Cornell University)·2024· 1 citedOpen Access
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 3 citedOpen Access
Glocal Conformance Checking
Lecture notes in computer science·2024· 1 cited
Approximate Conformance Checking: Fast Computation of Multi-Perspective, Probabilistic Alignments
SSRN Electronic Journal·2024Open Access
Object-Centric Conformance Alignments with Synchronization
Lecture notes in computer science·2024· 16 citedOpen Access
Object-Centric Conformance Alignments with Synchronization (Extended Version)
arXiv (Cornell University)·2023Open Access
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)
arXiv (Cornell University)·2023· 2 citedOpen Access
Decidable Fragments of LTLf Modulo Theories
Frontiers in artificial intelligence and applications·2023· 6 citedOpen Access
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
Engineering Applications of Artificial Intelligence·2023· 12 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Marco Montali(32), Silvio Ghilardi(25), Andrey Rivkin(22), Diego Calvanese(15), Sarah Winkler(12), Paolo Felli(7), Deepak Kapur(5), Luca Geatti(4), Nicola Gigante(4), N. Sabadini(4), Stefano Kasangian(3), Andrea Mazzullo(2), Desiree Manicardi(2), Simone Tini(2), Filippo Schiavio(1), Chiara Naso(1), Jonghyeon Ko(1), Fabrizio Maria Maggi(1), Elena Di Lavore(1), Mario Román(1)