Gian Paolo Rossi
From MaRDI portal
Person:2777142
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 |
|---|---|---|
| Universal guards, relativization of quantifiers, and failure models in model checking modulo theories Journal of Satisfiability, Boolean Modeling and Computation | 2016-02-23 | Paper |
| Collaboration at the basis of sharing focused information: the opportunistic networks Intelligent Systems Reference Library | 2010-02-01 | 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: Gian Paolo Rossi
