The expressibility of fragments of Hybrid Graph Logic on finite digraphs
(2013)
Journal Article
Gate, J., & Stewart, I. (2013). The expressibility of fragments of Hybrid Graph Logic on finite digraphs. Journal of applied logic, 11(3), 272-288. https://doi.org/10.1016/j.jal.2013.05.002
Multiswapped networks and their topological and algorithmic properties (2013)
Journal Article
Stewart, I. (2013). Multiswapped networks and their topological and algorithmic properties. Journal of Computer and System Sciences, 79(8), 1269-1286. https://doi.org/10.1016/j.jcss.2013.06.002We generalise the biswapped network Bsw(G)Bsw(G) to obtain a multiswapped network Msw(H;G)Msw(H;G), built around two graphs G and H. We show that the network Msw(H;G)Msw(H;G) lends itself to optoelectronic implementation and examine its topological a... Read More about Multiswapped networks and their topological and algorithmic properties.
Interconnection networks of degree three obtained by pruning two-dimensional tori (2013)
Journal Article
Stewart, I. (2014). Interconnection networks of degree three obtained by pruning two-dimensional tori. IEEE Transactions on Computers, 63(10), 2473-9340. https://doi.org/10.1109/tc.2013.139We study an interconnection network that we call 3Torus(m,n) obtained by pruning the 4m x 4n torus (of links) so that the resulting network is regular of degree 3. We show that 3Torus(m,n) retains many of the useful properties of tori (although, of c... Read More about Interconnection networks of degree three obtained by pruning two-dimensional tori.