Implementing Responsible Research Innovation Prompts and Practice Cards in a Project Investigating Instantaneous Trust. - Sachini Situmini Weerawardhana; Justyna Lisinska; Michael Akintunde; Hugo Araújo; Genovefa Kefalidou; Elena Nichele; Yang Lu; Oli Malpass; Aaron P. J. Roberts; Ioana Sandu (TAS, 2023)

A Formal Approach for Modelling and Analysing Surgical Procedures. - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (STM, 2024)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version). - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (CoRR, 2024)