Efficient Model Based Diagnosis with Maximum Satisfiability

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

An Efficient Vectorization Approach to Nested Thread-level Parallelism for CUDA GPUs

An empirical framework for evaluating interoperability of data exchange standards based on their actual usage: A case study on XLIFF

An empirically-based characterization and quantification of information seeking through mailing lists during Open Source developers’ software evolution

EMULSIoN: Environment Mitigation on mULtimedia StreamIng Networks

Differential Privacy in Metric Spaces: Numerical, Categorical and Functional Data under the One Roof

The Dos and Don’ts of Crowdsourcing

The Dos and Don’ts of Crowdsourcing Software Development

Dynamic Variability Meets Robotics