Concepedia

Friedrich Gretz

FG

3

Publications

153

Citations

3

H-Index

2013

Active since

Affiliations

RWTH Aachen University(Current)

Macquarie University

Friedrich Gretz is an author at RWTH Aachen University specializing in formal methods, computer science, and engineering.

ORCID

Top concepts

Publications per year

2013–2018

3

Publications

3

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver · Performance Evaluation · 2013 · 78 citations

, , +13

Conditioning in Probabilistic Programming

Federico Olmedo, Friedrich Gretz, Nils Jansen et al. · ACM Transactions on Programming Languages and Systems · 2018 · 57 citations · Full text

, , +17

Conditioning in Probabilistic Programming

Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · Electronic Notes in Theoretical Computer Science · 2015 · 18 citations · Full text

, , +18

Rows per page

1–3 of 3