α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Alessandro Gianola
Alessandro Gianola
2
papers
9
total citations
papers (2)
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
AAAI 2024
arXiv
6
citations
First-Order Automata
AAAI 2025
3
citations