Alessandro Gianola

Available identifiers

zbMath Open gianola.alessandroMaRDI QIDQ1687565

List of research outcomes

Publication	Date of Publication	Type
Interpolation Results for Arrays with Length and MaxDiff	2023-11-03	Paper
Combined covers and Beth definability	2022-11-09	Paper
Combination of uniform interpolants via Beth definability	2022-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q5094130	2022-08-02	Paper
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)	2021-11-24	Paper
Interpolation and amalgamation for arrays with MaxDiff	2021-10-18	Paper
SMT-based verification of data-aware processes: a model-theoretic approach	2020-12-08	Paper
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems	2020-10-20	Paper
CospanSpan(Graph): a Compositional Description of the Heart System	2020-06-21	Paper
From model completeness to verification of data aware processes	2020-06-04	Paper
Model completeness, covers and superposition	2020-03-10	Paper
Cospan/Span(Graph): An Algebra for open, reconfigurable automata networks	2018-08-13	Paper
Modularity results for interpolation, amalgamation and superamalgamation	2018-06-05	Paper
Interpolation, amalgamation and combination (the non-disjoint signatures case)	2018-01-04	Paper

Research outcomes over time

This page was built for person: Alessandro Gianola