Publications


Supervisory Control Synthesis


Distributed Algorithms


Structural Operational Semantics and Modal Logic


Process Algebra


Formal Analysis of Distributed Systems


Formal Analysis of Wireless Network Protocols


Term Rewriting


Bioinformatics


Trust in the Semantic Web


Railway Interlockings


Miscellaneous


Theses


Exposure


Editorials


Liber Amicori