Concepedia

Alessandro Gianola

AG

9

Publications

156

Citations

9

H-Index

2018

Active since

Affiliations

Free University of Bozen-Bolzano(Current)

University of Milan

University of Bologna

Alessandro Gianola is an author at Free University of Bozen-Bolzano specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningVerificationProcess ControlFormal VerificationSystems EngineeringIndustrial InformaticsData Science

Publications per year

2018–2023

9

Publications

9

Petri net-based object-centric processes with read-only data

Silvio Ghilardi, Alessandro Gianola, Marco Montali et al. · Information Systems · 2022 · 39 citations · Full text

Petri Net, Distributed Object Middleware, Engineering +9

SMT-based verification of data-aware processes: a model-theoretic approach

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola et al. · Mathematical Structures in Computer Science · 2020 · 28 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Modularity results for interpolation, amalgamation and superamalgamation

Silvio Ghilardi, Alessandro Gianola · Annals of Pure and Applied Logic · 2018 · 15 citations · Full text

Modularity Results, Modulus Problem, Modular Form +1

Data-aware conformance checking with SMT

Paolo Felli, Alessandro Gianola, Marco Montali et al. · Information Systems · 2023 · 15 citations · Full text

Linear Temporal Logic Modulo Theories over Finite Traces

Luca Geatti, Alessandro Gianola, Nicola Gigante · Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence · 2022 · 14 citations · Full text

Decision Procedure, Finite Traces, Engineering +15

Rows per page

1–5 of 9