Elena Pagani
From MaRDI portal
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 |
|---|---|---|
| Mpox Close Skin Images | 2023-05-18 | Dataset |
| Higher-order quantifier elimination, counter simulations and fault-tolerant systems Journal of Automated Reasoning | 2021-06-09 | Paper |
| Cardinality constraints for arrays (decidability results and applications) Formal Methods in System Design | 2018-01-08 | Paper |
| Counting constraints in flat array fragments Automated Reasoning | 2016-09-05 | Paper |
| Universal guards, relativization of quantifiers, and failure models in model checking modulo theories Journal of Satisfiability, Boolean Modeling and Computation | 2016-02-23 | Paper |
| scientific article; zbMATH DE number 2088621 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1950534 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1717192 (Why is no real title available?) | 2002-03-07 | Paper |
Research outcomes over time
This page was built for person: Elena Pagani
