Efficient Reasoning with Ambient Trees for Space Exploration

Efficient Space Exploration through Laziness

Embedding Agents within Ambient Intelligent Applications

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