Publications by topic

Bigraphs

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)