David Jefferson
From MaRDI portal
Person:2822494
Available identifiers
zbMath Open jefferson.david.1MaRDI QIDQ2822494
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Reverse Code Generation for Parallel Discrete Event Simulation | 2016-09-30 | Paper |
| Synthesizing Loops for Program Inversion | 2015-11-30 | 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: David Jefferson
