Securing navigation of unmanned maritime systems

Towards Autonomous Dependable Systems

Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools

Does Your Environment Maketh Your Productivity

MindCollect: An information needs management system for coalition situational awareness, sensemaking, decision making, and mission integration

Topological properties of the Linked Open Data Webgraph