Wm. A. Wulf
From MaRDI portal
Person:1333244
Available identifiers
zbMath Open wulf.william-aDBLPw/WilliamAWulfWikidataQ8020606 ScholiaQ8020606MaRDI QIDQ1333244
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 |
|---|---|---|
| Modeling optimal effective bandwidth of page-mode memory for stream-oriented computations | 1994-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936159 | 1981-01-01 | Paper |
| A comparison of programming languages for software engineering | 1981-01-01 | Paper |
| Abstraction and verification in Alphard | 1977-01-01 | Paper |
| An Introduction to the Construction and Verification of Alphard Programs | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4130963 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079013 | 1975-01-01 | Paper |
| Towards the design of secure systems | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672139 | 1972-01-01 | Paper |
| BLISS | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: Wm. A. Wulf
