CW689
Bart Demoen, Phuong-Lan Nguyen
Graphs with coloring redundant edges
December 2015
abstract.html / report.pdf (515K) / email to: B. Demoen

CW688
Milica Milutinovic and Bart De Decker
Prolog-based framework for privacy evaluation and user feedback
November 2015
abstract.html / report.pdf (673K) / email to: M. Milutinovic

CW687
Dominique Devriese, Marco Patrignani and Frank Piessens
Fully-abstract compilation by approximate back-translation: Technical appendix
November 2015
abstract.html / report.pdf (1.0M) / email to: D. Devriese

CW686
Rinde R.S. van Lon, Eliseo Ferrante, Ali E. Turgut, Tom Wenseleers, Greet Vanden Berghe, Tom Holvoet
Measures of dynamism and urgency in logistics
September 2015
abstract.html / report.pdf (4.3M) / email to: Rinde van Lon

CW685
Kim Wuyts, Wouter Joosen
LINDDUN privacy threat modeling: a tutorial
July 2015
abstract.html / report.pdf (1.6M) / email to: K. Wuyts

CW684
Amin Timany and Bart Jacobs
First steps towards cumulative inductive types in CIC: Extended version
March 2015
abstract.html / report.pdf (400K) / email to: A. Timany

CW683
Jan Van Haaren en Jesse Davis
Prestatie-analyse van de clubs in de Belgische Pro League 2014-2015: de reguliere competitie doorgelicht
March 2015
abstract.html / report.pdf (402K) / email to: J. Van Haaren

CW682
Jan Van Haaren
Statistische simulatie van de Belgische Pro League 2014-2015: de samenstelling van de play-offs voorspeld
February 2015
abstract.html / report.pdf (244K) / email to: J. Van Haaren

CW681
Kristof Coninx and Tom Holvoet
An evolutionary game theory application in a smart grid context
February 2015
abstract.html / report.pdf (1.5M) / email to: K. Coninx

CW680
Bart Jacobs, Dragan Bosnacki, and Ruurd Kuiper
Modular termination verification: extended version
January 2015
abstract.html / report.pdf (524K) / email to: B. Jacobs

CW679
Dimitar Shterionov, Gerda Janssens
Implementation and performance of probabilistic inference pipelines: Data and results
March 2015
abstract.html / report.pdf (659K) / email to: D. Shterionov