Alessandro Gianola - Concepedia

Author

Alessandro Gianola

Free University of Bozen-Bolzano ORCID

Also Known As

Alessandro Gianola, Gianola, Alessandro

Publications

455

Citations

H-Index

Concepts

All Affiliations

Free University of Bozen-Bolzano University of Milan University of Bologna

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	103
2	Computer Science	5	5	103
3	Data Science	2	2	26
4	Business	1	1	12
5	Computer Engineering	1	1	12

Alessandro Gianola

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Petri net-based object-centric processes with read-only data Silvio Ghilardi, Alessandro Gianola, Marco Montali, Information Systems Petri NetDistributed Object MiddlewareEngineeringStochastic Petri NetFormal Methods	2022	39
SMT-based verification of data-aware processes: a model-theoretic approach Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Mathematical Structures in Computer Science EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2020	28
Modularity results for interpolation, amalgamation and superamalgamation Silvio Ghilardi, Alessandro Gianola Annals of Pure and Applied Logic Modularity ResultsModulus ProblemModular FormInterpolation Space	2018	15
Data-aware conformance checking with SMT Paolo Felli, Alessandro Gianola, Marco Montali, Information Systems	2023	15
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 Decision ProcedureFinite TracesEngineeringData ScienceAutomated Reasoning	2022	14
Model Completeness, Uniform Interpolants and Superposition Calculus Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Journal of Automated Reasoning	2021	12
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach Paolo Felli, Alessandro Gianola, Marco Montali, Engineering Applications of Artificial Intelligence EngineeringVerificationModel CheckingModel VerificationSoftware Analysis	2023	12
Verification of Data-Aware Processes via Array-Based Systems (Extended Version) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, arXiv (Cornell University)	2018	11
Combination of Uniform Interpolants via Beth Definability Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Journal of Automated Reasoning Computational LogicAbstract Uniform InterpolantsNon-classical LogicEngineeringInterpolation Space	2022	10

Page 1