Edinburgh Research Explorer

Yuhui Lin

(Former employee or visitor)

Research outputs

  1. Automating Event-B invariant proofs by rippling and proof patching

    Research output: Contribution to journalArticlepeer-review

  2. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Phase transition and electronic structure evolution of MoTe2 induced by W substitution

    Research output: Contribution to journalArticlepeer-review

View all (18) »

ID: 40731840