`Collaborated with:`

J.Giesl M.Hark

`Talks about:`

constant (1) program (1) probabl (1) runtim (1) expect (1) comput (1)

## Person: Peter Giesl

### DBLP: Giesl:Peter

### Contributed to:

### Wrote 1 papers:

- CADE-2019-GieslGH #constant #probability #source code
- Computing Expected Runtimes for Constant Probability Programs (JG, PG, MH), pp. 269–286.