Program Analysis to Support Concurrent Programming in Declarative Languages. - Romain Demeyer (ICLP (Technical Communications), 2010)

Declarative workflows to efficiently manage flexible and advanced business processes. - Romain Demeyer; Maxime Van Assche; Ludovic Langevine; Wim Vanhoof (PPDP, 2010)

Static Application-Level Race Detection in STM Haskell using Contracts. - Romain Demeyer; Wim Vanhoof (PLACES, 2013)