An Empirical Study of Encodings for Group MaxSAT

Engagement with online mental health interventions: an exploratory clinical study of a treatment for depression

Evaluating Management Sentiment Towards ISO/IEC 29110 in Very Small Software Development Companies

Evasion-Resistant Malware Signature Based on Profiling Kernel Data Structure Objects

Designing Mobile Aspect-Oriented Software Architectures with Ambients

Developing Autonomic Systems with ASSL – Theory and Practice

Development of a process assessment model for assessing medical IT networks against IEC 80001-1

Development of the Medi SPICE PRM

Development of the Productive Forces

Distillation with Labelled Transition Systems