Molecular evidence for genetic mixing of Arctic and Antarctic subpolar populations of planktonic foraminifers KF Darling, CM Wade, IA Stewart, D Kroon, R Dingle, AJL Brown Nature 405 (6782), 43-47, 2000 | 393 | 2000 |
Fault-Tolerant Embeddings of Hamiltonian Circuits in k-ary n-Cubes YA Ashir, IA Stewart SIAM Journal on Discrete Mathematics 15 (3), 317-328, 2002 | 116 | 2002 |
Improving Ant Colony Optimization performance on the GPU using CUDA L Dawson, I Stewart 2013 IEEE Congress on Evolutionary Computation, 1901-1908, 2013 | 90 | 2013 |
Genotypic variability in subarctic Atlantic planktic foraminifera IA Stewart, KF Darling, D Kroon, CM Wade, SR Troelstra Marine Micropaleontology 43 (1-2), 143-153, 2001 | 75 | 2001 |
Bipanconnectivity and bipancyclicity in k-ary n-cubes IA Stewart, Y Xiang IEEE Transactions on Parallel and Distributed Systems 20 (1), 25-33, 2008 | 67 | 2008 |
Using the Hamiltonian path operator to capture NP IA Stewart Journal of Computer and System Sciences 45 (1), 127-151, 1992 | 63 | 1992 |
Embedding long paths in k-ary n-cubes with faulty nodes and links IA Stewart, Y Xiang IEEE transactions on parallel and distributed systems 19 (8), 1071-1085, 2008 | 51 | 2008 |
Comparing the expressibility of languages formed using NP-complete operators IA Stewart Journal of Logic and Computation 1 (3), 305-330, 1991 | 51 | 1991 |
Complete problems involving boolean labelled structures and projection transactions IA Stewart Journal of Logic and Computation 1 (6), 861-882, 1991 | 49 | 1991 |
On embedding cycles in k-ary n-cubes YA Ashir, IA Stewart Parallel Processing Letters 7 (01), 49-55, 1997 | 48 | 1997 |
A class of hierarchical graphs as topologies for interconnection networks PL Lai, HC Hsu, CH Tsai, IA Stewart Theoretical Computer Science 411 (31-33), 2912-2924, 2010 | 44 | 2010 |
Dichotomies for classes of homomorphism problems involving unary functions T Feder, F Madelaine, IA Stewart Theoretical Computer Science 314 (1-2), 1-43, 2004 | 39 | 2004 |
Logical description of monotone NP problems IA Stewart Journal of Logic and Computation 4 (4), 337-357, 1994 | 39 | 1994 |
Logical characterization of bounded query classes II: Polynomial-time oracle machines IA Stewart Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993 | 35 | 1993 |
A general technique to establish the asymptotic conditional diagnosability of interconnection networks IA Stewart Theoretical Computer Science 452, 132-147, 2012 | 34 | 2012 |
One-to-many node-disjoint paths in (n, k)-star graphs Y Xiang, IA Stewart Discrete Applied Mathematics 158 (1), 62-70, 2010 | 34 | 2010 |
Augmented k-ary n-cubes Y Xiang, IA Stewart Information Sciences 181 (1), 239-256, 2011 | 33 | 2011 |
Men of Class: Aristotle, Montesquieu and Dicey on Separations of Powers and the Rule of Law I Stewart Macquarie LJ 4, 187, 2004 | 30 | 2004 |
Logical characterizations of bounded query classes I: logspace oracle machines IA Stewart Fundamenta Informaticae 18 (1), 65-92, 1993 | 30 | 1993 |
Constraint satisfaction, logic and forbidden patterns F Madelaine, IA Stewart SIAM Journal on Computing 37 (1), 132-163, 2007 | 29 | 2007 |