R. Geoff Dromey
From MaRDI portal
Person:1149780
Available identifiers
zbMath Open dromey.r-geoffMaRDI QIDQ1149780
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| The co-invariant generator: An aid in deriving loop bodies | 1996-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3992667 | 1993-01-23 | Paper |
| Systematic program development | 1988-01-01 | Paper |
| Derivation of Sorting Algorithms from a Specification | 1987-01-01 | Paper |
| Program development by inductive stepwise refinement | 1985-01-01 | Paper |
| Forced termination of loops | 1985-01-01 | Paper |
| Exploiting partial order with Quicksort | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3965549 | 1982-01-01 | Paper |
| Fast string searching by finding subkeys in subtext | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4188764 | 1979-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: R. Geoff Dromey
