he Markov Chain Tree Theorem in Commutative Semirings and the State Reduction Algorithm in Commutative Semifields

Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures

A Holistic Overview of Software Engineering Research Strategies

Fast, Flexible MUS Enumeration

A fast, reliable and lightweight distributed dissemination protocol for safety messages in Urban Vehicular Networks

A feature model of actor, agent, functional, object, and procedural programming languages

Feature-Oriented Reflexion Modelling

Foundations of Semantics and Model Checking in a Software Engineering Course

Exploring a Cynefin-based Approach to Decision Making for Business Continuity Planning

Exploring Control Tensions in IS Project Portfolio Management