Author/Creator: Ware, Simon - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Ware, Simon

1. An Efficient Method of Matrix Multiplication for Heaps of Pieces. Issue 7 (2018)

Authors:: Ware, Simon; Yang, Fajun; Zhu, Yuting; Su, Rong; Lin, Liyong
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 7(2018)
Page Start:: 206
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Counterexample Computation in Compositional Nonblocking Verification. Issue 7 (2018)

Authors:: Malik, Robi; Ware, Simon
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 7(2018)
Page Start:: 416
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. (August 2022)

Authors:: Lin, Liyong; Zhu, Yuting; Tai, Ruochen; Ware, Simon; Su, Rong
Journal:: Automatica
Issue:: Volume 142(2022)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗