William Winsborough
From MaRDI portal
Person:1128982
Available identifiers
zbMath Open winsborough.william-hMaRDI QIDQ1128982
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 |
|---|---|---|
| Comparison of abstract interpretations | 2019-12-04 | Paper |
| Efficient analysis of concurrent constraint logic programs | 2019-03-29 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Beyond proof-of-compliance: security analysis in trust management | 2008-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3047574 | 2004-08-12 | Paper |
| Demand transformation analysis for concurrent constraint programs | 2000-03-16 | Paper |
| The quotient of an abstract interpretation | 1998-08-13 | Paper |
| A confluent semantic basis for the analysis of concurrent constraint logic programs | 1998-03-17 | Paper |
Research outcomes over time
This page was built for person: William Winsborough