2013

CW2013_13

Dean Voets
Termination and non-termination of Logic Programming languages
December 12, 2013
abstract.html / text.pdf / email to: dtai team

CW2013_12

Radu Muschevici
Modelling diversity in software product lines
December 2, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_11

Jannes Verstichel
The lock scheduling problem
November 15, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_10

Francesco Gadaleta
Virtualisation-based security countermeasures in software runtime systems
September 9, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_09

Koosha Paridel
Communication middleware for mobile ad hoc networks. Algorithms for highly mobile and partitioned networks
September 4, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_08

Nikolaos Nikiforakis
Towards a secure web: Critical vulnerabilities & client-side countermeasures
August 30, 2013
abstract.html / text.pdf / email to: distrinet team

CW2013_07

Eduardo De Paula Costa
Algorithms for analyszing biological sequences
July 10, 2013
abstract.html / text.pdf / email to: dtai team

CW2013_06

Parisa Kordjamshidi
Structured machine learning for mapping natural language to spatial ontologies
July 1, 2013
abstract.html / text.pdf / email to: dtai team

CW2013_05

Dimiter Milushev
Reasoning about hyperproperties
June 19, 2013
abstract.html / text.pdf / email to: distrinet team

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