All Stories

  1. Towards Gaze-contingent Visualization of Real-time 3D Reconstructed Remote Scenes in Mixed Reality

    Article • July 2023, ACM (Association for Computing Machinery)

    Dr. Darwin G Caldwell, Paolo Fiorini, Yonas Tefera

  2. Formal Verification of Medical CPS

    Article • ACM Transactions on Cyber-Physical Systems, September 2018, ACM (Association for Computing Machinery)

    Paolo Fiorini