Browsing by Author Lin, Liyong


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 3 to 7 of 7 < previous 
Issue DateTitleAuthor(s)
2018An efficient method of matrix multiplication for heaps of piecesWare, Simon; Yang, Fajun; Zhu, Yuting; Su, Rong; Lin, Liyong
2018Model checking in isomorphic module systemsWang, Weilin; Su, Rong; Lin, Liyong; Gong, Chaohui
2017Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templatesLin, Liyong; Stefanescu, Alin; Wang, Weilin; Su, Rong; Wonham, Walter Murray
2019Synchronous composition of finite interval automataLin, Liyong; Su, Rong; Brandin, Bertil A.; Ware, Simon; Zhu, Yuting; Sun, Yajuan
2015Towards decentralized and parameterized supervisor synthesisLin, Liyong