Generating generic functions. - Johan Jeuring; Alexey Rodriguez; Gideon Smeding (ICFP-WGP, 2006)

A correlation preserving performance analysis for stream processing systems. - Gideon Smeding; Gregor Gößler (MEMOCODE, 2012)

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. (Vérification de propriétés faiblement dures des systèmes quasi-synchrones). - Gideon Smeding (2013)