Alessandro Gianola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Interpolation Results for Arrays with Length and MaxDiff ACM Transactions on Computational Logic	2023-11-03	Paper
Combined covers and Beth definability	2022-11-09	Paper
Combination of uniform interpolants via Beth definability Journal of Automated Reasoning	2022-10-24	Paper
Uniform interpolants in \(\mathcal{EUF}\): algorithms using DAG-representations (available as arXiv preprint)	2022-08-02	Paper
Uniform interpolants in \(\mathcal{EUF}\): algorithms using DAG-representations	2022-08-02	Paper
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) Journal of Automated Reasoning	2021-11-24	Paper
Interpolation and amalgamation for arrays with MaxDiff (available as arXiv preprint)	2021-10-18	Paper
SMT-based verification of data-aware processes: a model-theoretic approach Mathematical Structures in Computer Science	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 Fundamenta Informaticae	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
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems (available as arXiv preprint)	2020-01-01	Paper
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks	2018-08-13	Paper
Modularity results for interpolation, amalgamation and superamalgamation Annals of Pure and Applied Logic	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