CW2013_04
Koen Yskout
Connecting security requirements and software architecture with patterns
April 19, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_03
Nima Taghipour
Lifted probabilistic inference by variable elimination
March 26, 2013
abstract.html / text.pdf / email to: dtai team

CW2013_02
Thomas Heyman
A formal analysis technique for secure software architectures
March 6, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_01
Guy Van den Broeck
Lifted inference and learning in statistical relational models
January 24, 2013
abstract.html / text.pdf / email to: dtai team