Development of the Medi SPICE PRM

Development of the Productive Forces

Distillation with Labelled Transition Systems

Dynamic Forecasting and Adaptation For Demand Optimization in the Smart Grid

The Effect of Team Dynamics on Software Development Process Improvement

On Efficient Computation of Variable MUSes

On Computing Minimal Equivalent Subformulas

Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions

Conducting Field Studies in Software Engineering: An Experience Report

Conquering Complexity