supported publications or other works
- A Taxonomy of Persistent and Nonviolent Steps Conferences
- An extension of the taxonomy of persistent and nonviolent steps Journal Articles
- Applying regions Conferences
- Characterising Concurrent Histories Journal Articles
- Classifying invariant structures of step traces Journal Articles
- Data Resources in Dynamic Environments Conferences
- Folded Hasse diagrams of combined traces Journal Articles
- Formal verification of secure information flow in cloud computing Journal Articles
- Interval Temporal Logic Semantics of Box Algebra Conferences
- Non-atomic Transition Firing in Contextual Nets Conferences
- Opacity in Internet of Things with Cloud Computing (Short Paper) Conferences
- Order Structures for Subclasses of Generalised Traces Conferences
- Performance Modelling and Evaluation of Enterprise Information Security Technologies Conferences
- Persistent and Nonviolent Steps and the Design of GALS Systems Conferences
- Step Persistence in the Design of GALS Systems Conferences
- Step traces Journal Articles
- Tissue Systems and Petri Net Synthesis Conferences
- Verifying Secure Information Flow in Federated Clouds Conferences