Publications by topic

Interactive, Pervasive and Sensor-based Systems

Systems Biology

Communications and Networking

Feature Interactions

Safety-critical Systems

LOTOS and Process Algebra

Logic, Term rewriting and Algebraic Semantics

All Publications (chronological)