Concepedia

Rebekah Leslie

RL

Statistics

Publications

6

Citations

156

H-Index

6

Active since

1967

Affiliations

Portland State University(Current)

Oregon Health & Science University

Rebekah Leslie is an author at Portland State University specializing in computing, computer science, and computer architecture.

Publications per year

1967–2018

6

Publications

6

A principled approach to operating system construction in Haskell

Thomas Hallgren, Mark P. Jones, Rebekah Leslie et al. · 2005 · 71 citations

Computing, Computer Science, Computer Systems +17

High-level views on low-level representations

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie · 2005 · 24 citations

Computing, Computer Science, Computer Systems +17

Recurrence times of clusters of Poisson points

Rebekah Leslie · Journal of Applied Probability · 1969 · 19 citations

Engineering, Mathematics, Probability Theory +14

Recurrent composite events

Rebekah Leslie · Journal of Applied Probability · 1967 · 18 citations

Engineering, Mathematics, Decision Theory +8

SMT-Based System Verification with DVF

Amit Kumar Goel, Sava Krstić, Rebekah Leslie et al. · EPiC series in computing · 2018 · 13 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 6