Statistics
Publications
15
Citations
724
H-Index
14
Active since
1989
Affiliations
The University of Queensland(Current)
Roger Duke is an author at The University of Queensland specializing in computer science, computing, and specification languages.
Publications per year
1989–2007
15
15
The object-Z specification language: version 1
Roger Duke, Paul King, Gordon A. Rose et al. · 1991 · 92 citations
Teaching programming to beginners - choosing the language is just the first step
Roger Duke, Eric Salzman, Jay Burmeister et al. · 2000 · 61 citations · Full text
Temporal logic and Z specifications
Roger Duke, Graeme Smith · 1990 · 38 citations
1–5 of 15