Publications
Journals
Bertrand N, Bortolussi L, Wiklicky H, 2016, Editorial: Quantitative Aspects of Programming Languages and Systems Preface, Theoretical Computer Science, Vol:655, ISSN:0304-3975, Pages:91-91
Conference
Wiklicky H, 2016, On dynamical probabilities, or: how to learn to shoot straight, Coordination 2016, Springer Verlag, Pages:262-277, ISSN:1439-7358
Wiklicky H, 2014, Program synthesis and linear operator semantics, Pages:17-33, ISSN:2075-2180
Wiklicky H, Di Pierro A, 2014, Probabilistic Analysis of Programs: A Weak Limit Approach, FOPARA, Springer Verlag