×

Gianola, Alessandro

Compute Distance To:
Author ID: gianola.alessandro Recent zbMATH articles by "Gianola, Alessandro"
Published as: Gianola, Alessandro
Documents Indexed: 12 Publications since 2017
Co-Authors: 10 Co-Authors with 12 Joint Publications
256 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 38 times in 13 Documents Cited by Year
Interpolation, amalgamation and combination (the non-disjoint signatures case). Zbl 1495.03054
Ghilardi, Silvio; Gianola, Alessandro
8
2017
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
8
2018
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
5
2020
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017
Interpolation and amalgamation for arrays with MaxDiff. Zbl 07410429
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2021
Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2022
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2022
Interpolation and amalgamation for arrays with MaxDiff. Zbl 07410429
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2021
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
5
2020
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
8
2018
Interpolation, amalgamation and combination (the non-disjoint signatures case). Zbl 1495.03054
Ghilardi, Silvio; Gianola, Alessandro
8
2017
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017

Citations by Year