Iain Stewart

Publications

  • Submitted for publication
    1. I.A. Stewart, Variational networks of cube-connected cycles are recursive cubes of rings.
    2. I.A. Stewart, Using semidirect products of groups to build classes of interconnection networks.
    3. A. Erickson, J. Navaridas and I.A. Stewart, Relating the bisection width of dual-port, server-centric datacenter networks and the solution of edge-isoperimetric problems in graphs.
  • Published
    1. J. Navaridas, J.A. Pascual, A. Erickson, I.A. Stewart and M. Luján, INRFlow: An interconnection networks research flow-level simulation framework, Journal of Parallel and Distributed Computing, 130 (2019) 140-152.
      DOI: 10.1016/j.jpdc.2019.03.013     gold open access
    2. I.A. Stewart and A. Erickson, The influence of data center usage on symmetry in data center network design, The Journal of Supercomputing, 74 (2018) 2276-2313.
      DOI: 10.1007/s11227-017-2217-1     gold open access
    3. I.A. Stewart, On the combinatorial design of data centre network topologies, Journal of Computer and System Sciences, 89 (2017) 328-348.
      DOI: 10.1016/j.jcss.2017.05.015     gold open access
      • Extended abstract: On the mathematics of data centre network topologies, in: Proceedings of 20th International Symposium on Fundamentals of Computation Theory, FCT'15 (A. Kosowski, I. Walukiewicz, eds.), Gdansk, Poland, August 17-19 2015, Lecture Notes in Computer Science Volume 9210, Springer, 2015, 283-295.
        DOI: 10.1007/978-3-319-22177-9_22
    4. A. Erickson, I.A. Stewart, J.A.Pascual and J. Navaridas, Improved routing algorithms in the dual-port datacenter networks HCN and BCN, Future Generation Computer Systems, 75 (2017) 58-71.
      DOI: 10.1016/j.future.2017.05.004     gold open access
      • Extended abstract: I.A. Stewart, Improved routing in the data centre networks HCN and BCN, in: Proceedings of 2nd International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, CANDAR'14, Mt. Fuji, Shizuoka, Japan, December 10-12 2014, IEEE Computer Society Press, 2014, 212-218.
        DOI: 10.1109/CANDAR.2014.16
    5. A. Erickson, A. Kiasari, J. Navaridas and I.A. Stewart, An optimal single-path routing algorithm in the datacenter network DPillar, IEEE Transactions on Parallel and Distributed Systems, 28(3) (2017) 689-703.
      DOI: 10.1109/TPDS.2016.2591011
      • Extended abstract: A. Erickson, A. Kiasari, J. Navaridas and I.A. Stewart, An efficient shortest path routing algorithm in the data centre network DPillar, in: Proceedings of 9th Annual International Conference on Combinatorial Optimization and Applications, COCOA'15 (Z. Lu, D. Kim, W. Wu, W. Li, D.-Z. Du, eds.), Houston, USA, December 18-20 2015, Lecture Notes in Computer Science Volume 9486, Springer, 2015, 209-220.
        DOI: 10.1007/978-3-319-26626-8_16
    6. A. Erickson, I.A. Stewart, J. Navaridas and A.E. Kiasari, The stellar transformation: from interconnection networks to datacenter networks, Computer Networks, 113 (2017) 29-45.
      DOI: 10.1016/j.comnet.2016.12.001     gold open access
    7. P. Golovach, D. Paulusma and I.A. Stewart, Graph editing to a fixed target, Discrete Applied Mathematics, 216 (1) (2017) 181-190.
      DOI: 10.1016/j.dam.2014.07.008
      • Extended abstract: P. Golovach, D. Paulusma and I.A. Stewart, Graph editing to a fixed target, in: Proceedings of International Workshop on Combinatorial Algorithms, IWOCA'13 (T. Lecroq, L. Mouchard, eds.), Rouen, France, July 10-12 2013, Lecture Notes in Computer Science Volume 8288, Springer, 2013, 192-205.
        DOI: 10.1007/978-3-642-45278-9_17
    8. I.A. Stewart, Sufficient conditions for Hamiltonicity in multiswapped networks, Journal of Parallel and Distributed Computing, 101 (2017) 17-26.
      DOI: 10.1016/j.jpdc.2016.10.015     gold open access
    9. C.-N. Kuo and I.A. Stewart, Edge-pancyclicity and edge-bipancyclicity of faulty folded hypercubes, Theoretical Computer Science, 627 (2016) 102-106.
      DOI: 10.1016/j.tcs.2016.02.029
    10. A. Erickson, A. Kiasari, J. Navaridas and I.A. Stewart, Routing algorithms for recursively-defined data centre networks, in: Proceedings of 13th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA'15, Helsinki, Finland, August 20-22 2015, IEEE Computer Society Press, 2015, 84-91.
      DOI: 10.1109/Trustcom.2015.616
    11. A. Kiasari, J. Navaridas and I.A. Stewart, Routing packets on DPillar data centre networks, in: Proceedings of 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP'15, Zhangjiajie, China, November 18-20 2015, Lecture Notes in Computer Science Volume 9531, Springer, 2015, 329-343.
      DOI: 10.1007/978-3-319-27140-8_23
    12. L. Dawson and I.A. Stewart, Accelerating Ant Colony Optimization-based edge detection on the GPU using CUDA, in: Proceedings of IEEE Congress on Evolutionary Computation, IEEE-CEC'14, Beijing, China, July 6-11 2014, IEEE Computer Society Press, 2014, 1736-1743.
      DOI: 10.1109/CEC.2014.6900638
    13. I.A. Stewart, Interconnection networks of degree three obtained by pruning two-dimensional tori, IEEE Transactions on Computers, 63 (10) (2014) 2473-2486.
      DOI: 10.1109/TC.2013.139
    14. L. Dawson and I.A. Stewart, Candidate set parallelization strategies for Ant Colony Optimization on the GPU, in: Proceedings of 13th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP'13 (J. Kołodziej, B. Di Martino, D. Talia, K. Xiong, eds.), Sorrento, Italy, December 18-21 2013, Lecture Notes in Computer Science Volume 8285, Springer, 2013, 216-225.
      DOI: 10.1007/978-3-319-03859-9_18
    15. L. Dawson and I.A. Stewart, Improving Ant Colony Optimization performance on the GPU using CUDA, in: Proceedings of IEEE Congress on Evolutionary Computation, IEEE-CEC'13, Cancun, Mexico, June 20-23 2013, IEEE Computer Society Press, 2013, 1901-1908.
      DOI: 10.1109/CEC.2013.6557791
    16. J. Gate and I.A. Stewart, The expressibility of fragments of Hybrid Graph Logic on finite digraphs, Journal of Applied Logic 11 (3) (2013) 272-288.
      DOI: 10.1016/j.jal.2013.05.002
    17. I.A. Stewart, Multiswapped networks and their topological and algorithmic properties, Journal of Computer and System Sciences 79 (8) (2013) 1269-1286.
      DOI: 10.1016/j.jcss.2013.06.002
    18. I.A. Stewart, A general technique to establish the asymptotic conditional diagnosability of interconnection networks, Theoretical Computer Science 452 (2012) 132-147.
      DOI: 10.1016/j.tcs.2012.05.015
    19. I.A. Stewart, On the computational complexity of routing in faulty k-ary n-cubes and hypercubes, Parallel Processing Letters, 22 (1) (2012) 1250003 (13 Pages).
      DOI: 10.1142/S012962641250003X
    20. J. Zhao, Y. Xiang, L. Dawson and I.A. Stewart, Color image edge detection based on quantity of color information and its implementation on the GPU, in: Proceedings of 23rd IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS'11 (T.F. Gonzalez, ed.), Dallas, USA, December 14-16 2011, Acta Press, 2011, 116-123.
      DOI: 10.2316/P.2011.757-077
    21. Y. Xiang, I.A. Stewart and F.R. Madelaine, Node-to-node disjoint paths in k-ary n-cubes with faulty edges, in: Proceedings of 17th International Conference on Parallel and Distributed Systems, ICPADS'11, Tainan, Taiwan, December 7-9 2011, IEEE Computer Society Press, 2011, 181-187.
      DOI: 10.1109/ICPADS.2011.85
    22. Y. Xiang and I.A. Stewart, Bipancyclicity in k-ary n-cubes with faulty edges under a conditional fault assumption, IEEE Transactions on Parallel and Distributed Systems 22 (9) (2011) 1506-1513.
      DOI: 10.1109/TPDS.2011.22
    23. Y. Xiang and I.A. Stewart, A multipath analysis of biswapped networks, The Computer Journal 54 (6) (2011) 920-930.
      DOI: 10.1093/comjnl/BXQ083
    24. I.A. Stewart, Hamiltonian cycles through prescribed edges in k-ary n-cubes, in: Proceedings of 5th Annual International Conference on Combinatorial Optimization and Applications, COCOA'11 (W. Wang, X. Zhu, D.-Z. Du, eds.), Zhangjiajie, China, August 4-6 2011, Lecture Notes in Computer Science Volume 6831, Springer, 2011, 82-97.
      DOI: 10.1007/978-3-642-22616-8_8
    25. Y. Xiang and I.A. Stewart, Augmented k-ary n-cubes, Information Sciences 181 (1) (2011) 239-256.
      DOI: 10.1016/j.ins.2010.09.005
    26. J. Gate and I.A. Stewart, Frameworks for logically classifying polynomial-time optimisation problems, in: Proceedings of 5th International Computer Science Symposium in Russia, CSR'10 (F. Ablayev, E.W. Mayr, eds.), Kazan, Russia, June 16-20 2010, Lecture Notes in Computer Science Volume 6072, Springer, 2010, 120-131.
      DOI: 10.1007/978-3-642-13182-0_12
    27. I.A. Stewart, A general algorithm for detecting faults under the comparison diagnosis model, in: Proceedings of 24th IEEE International Parallel and Distributed Processing Symposium, IPDPS'10, Atlanta, USA, April 19-23 2010, IEEE Computer Society Press, 2010, 1-9.
      DOI: 10.1109/IPDPS.2010.5470369
    28. P.-L. Lai, H.-C. Hsu, C.-H. Tsai and I.A. Stewart, A class of hierarchical graphs as topologies for interconnection networks, Theoretical Computer Science 41 (31-33) (2010) 2912-2924.
      DOI: 10.1016/j.tcs.2010.04.022
    29. Y. Xiang and I.A. Stewart, One-to-many node-disjoint paths in (n,k)-star graphs, Discrete Applied Mathematics 158 (1) (2010) 62-70.
      DOI: 10.1016/j.dam.2009.08.013
    30. Y. Xiang and I.A. Stewart, Pancyclicity and panconnectivity in augmented k-ary n-cubes, in: Proceedings of 15th International Conference on Parallel and Distributed Systems, ICPADS'09, Shenzhen, China, December 8-11 2009, IEEE Computer Society Press, 2009, 308-315.
      DOI: 10.1109/ICPADS.2009.45
    31. Y. Xiang and I.A. Stewart, Pancyclicity in faulty k-ary 2-cubes, in: Proceedings of 21st IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS'09 (T.F. Gonzalez, ed.), Cambridge, USA, November 2-4 2009, Acta Press, 2009, 77-84.
      Acta Press web-site: ISBN 978-0-88986-838-0
    32. A. Arratia-Quesada and I.A. Stewart, On the power of deep pushdown stacks, Acta Informatica 46 (7) (2009) 509-531.
      • Extended abstract: A. Arratia-Quesada and I.A. Stewart, On the power of deep pushdown stacks, in: Proceedings of Computation and Logic in the Real World, Fourth Conference on Computability in Europe, CiE'2008 (A. Beckmann, C. Dimitracopoulos, B. Löwe, eds.), Athens, Greece, June 15-20 2008, Lecture Notes in Computer Science Volume 5028, Springer, 2008, 11-21.
        DOI: 10.1007/s00236-009-0103-x
    33. I.A. Stewart, Program schemes, queues, the recursive spectrum and zero-one laws, Fundamenta Informaticae 91 (2) (2009) 411-435.
      • Extended abstract: I.A. Stewart, Program schemes, queues, the recursive spectrum and zero-one laws, in: Proceedings of 7th Annual International Computing and Combinatorics Conference, COCOON'2001 (J. Wang, ed.), Guilin, China, August 20-23 2001, Lecture Notes in Computer Science Volume 2108, Springer-Verlag, 2001, 39-48.
        DOI: 10.3233/FI-2009-0050
    34. I.A. Stewart, Logical and complexity-theoretic aspects of models of computation with restricted access to arrays, Journal of Logic and Computation 19 (1) (2009) 217-242.
      • Extended abstract in: I.A. Stewart, Logical and complexity-theoretic aspects of models of computation with restricted access to arrays, in: Proceedings of Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE'2007 (S.B. Cooper, T.F. Kent, B. Löwe, A. Sorbi, eds.), Siena, Italy, June 18-23 2007, 324-331).
        DOI: 10.1093/logcom/exn025
    35. I.A. Stewart and Y. Xiang, Bipanconnectivity and bipancyclicity in k-ary n-cubes, IEEE Transactions on Parallel and Distributed Systems 20 (1) (2009) 25-33.
      DOI: 10.1109/TPDS.2008.45
    36. I.A. Stewart and Y. Xiang, Embedding long paths in k-ary n-cubes with faulty nodes and links, IEEE Transactions on Parallel and Distributed Systems 19 (8) (2008) 1071-1085
      DOI: 10.1109/TPDS.2007.70787
    37. F.R. Madelaine and I.A. Stewart, Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies, Discrete Mathematics 308 (18) (2008) 4144-4164
      DOI: 10.1016/j.disc.2007.08.007
    38. H. Broersma, M. Johnson, D. Paulusma and I.A. Stewart, The computational complexity of the parallel knock-out problem, Theoretical Computer Science 393 (1-3) (2008) 182-195.
      • Extended abstract: H. Broersma, M. Johnson, D. Paulusma and I.A. Stewart, The computational complexity of the parallel knock-out problem, in: Proceedings of 7th Latin American Symposium on Theoretical Informatics, LATIN'2006 (J.R. Correa, A. Hevia, M. Kiwi, eds.), Valdivia, Chile, March 20-24 2006, Lecture Notes in Computer Science Volume 3887, Springer, 2006, 250-261).
        DOI: 10.1016/j.tcs.2007.11.021
    39. I.A. Stewart, On the fixed-parameter tractability of parameterized model-checking problems, Information Processing Letters 106 (1) (2008) 33-36.
      DOI: 10.1016/j.ipl.2007.09.009
    40. I.A. Stewart, Distributed algorithms for building Hamiltonian cycles in k-ary n-cubes and hypercubes with faulty links, Journal of Interconnection Networks 8 (3) (2007) 253-284.
      • Extended abstract: I.A. Stewart, Distributed algorithms for building Hamiltonian cycles in k-ary n-cubes and hypercubes with faulty links, in: Proceedings of 12th International Conference on Parallel and Distributed Systems, ICPADS'06, Minneapolis, USA, 12-15 July 2006, IEEE Computer Society Press, 2006, 308-318).
        DOI: 10.1142/S0219265907002016
    41. F.R. Madelaine and I.A. Stewart, Constraint satisfaction, logic and forbidden patterns, SIAM Journal of Computing 37 (1) (2007) 132-163.
      DOI: 10.1137/050634840
    42. R.L. Gault and I.A. Stewart, An infinite hierarchy in a class of polynomial-time program schemes, Theory of Computing Systems 39 (5) (2006) 753-783.
      DOI: 10.1007/s00224-005-1230-6
    43. T. Feder, F.R. Madelaine and I.A. Stewart, Dichotomies for classes of homomorphism problems involving unary functions, Theoretical Computer Science 314 (1-2) (2004) 1-43.
      DOI: 10.1016/j.tcs.2003.12.015
    44. F.R. Madelaine and I.A. Stewart, Some problems not definable using structure homomorphisms, Ars Combinatoria 67 (2003) 153-159.
    45. I.A. Stewart, The complexity of achievement and maintenance problems in agent-based systems, Artificial Intelligence 146 (2) (2003) 175-191.
      DOI: 10.1016/S0004-3702(03)00014-6
    46. I.A. Stewart, Using program schemes to logically capture polynomial-time on certain classes of structures, London Mathematical Society Journal of Computation and Mathematics 6 (2003) 40-67.
      DOI: 10.1112/S1461157000000371
    47. A. Puricella and I.A. Stewart, Greedy algorithms, H-colourings and a complexity-theoretic dichotomy, Theoretical Computer Science 290 (3) (2003) 1897-1913.
      DOI: 10.1016/S0304-3975(02)00329-8
    48. A.A. Arratia and I.A. Stewart, A note on first-order projections and games, Theoretical Computer Science 290 (3) (2003) 2085-2093.
      DOI: 10.1016/S0304-3975(02)00491-7
    49. Y.A. Ashir and I.A. Stewart, Fault-tolerant embeddings of Hamiltonian circuits in k-ary n-cubes, SIAM Journal of Discrete Mathematics 15 (3) (2002) 317-328.
      DOI: 10.1137/S0895480196311183
    50. I.A. Stewart, Program schemes, arrays, Lindström quantifiers and zero-one laws, Theoretical Computer Science 275 (1-2) (2002) 283-310,
      • Extended abstract: I.A. Stewart, Program schemes, arrays, Lindström quantifiers and zero-one laws, in: Proceedings of 8th Annual Conference of the European Association for Computer Science Logic, CSL'1999 (J. Flum, M. Rodriguez-Artalejo, eds.), Madrid, Spain, September 20-25 1999, Lecture Notes in Computer Science Volume 1683, Springer, 1999, 374-388).
        DOI: 10.1016/S0304-3975(01)00183-9
    51. R.L. Gault and I.A. Stewart, On a hierarchy involving transitive closure logic and existential second-order quantification, Logic Journal of the IGPL 9 (6) (2001) 769-780.
      DOI: 10.1093/jigpal/9.6.769
    52. A. Puricella and I.A. Stewart, A generic greedy algorithm, partially-ordered graphs and NP-completeness, in: Proceedings of 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'01 (A. Brandstaedt, V.B. Le, eds.), Boltenhagen, Germany, June 14-16 2001, Lecture Notes in Computer Science Volume 2204, Springer, 2001, 306-316.
      DOI: 10.1007/3-540-45477-2_28
    53. I.A. Stewart, A perspective on Lindström quantifiers and oracles, in: Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language and Information Workshop (J. Väänänen, ed.), Aix-en-Provence, France, August 11-22 1997, Lecture Notes in Computer Science Volume 1754, Springer, 2000, 51-71.
      DOI: 10.1007/3-540-46583-9_3
    54. S.R. Chauhan and I.A. Stewart, On the power of built-in relations in certain classes of program schemes, Information Processing Letters 69 (2) (1999) 77-82.
      DOI: 10.1016/S0020-0190(98)00196-3
    55. A.A. Arratia-Quesada, S.R. Chauhan and I.A. Stewart, Hierarchies in classes of program schemes, Journal of Logic and Computation 9 (6) (1999) 915-957.
      DOI: 10.1093/logcom/9.6.915
    56. I.A. Stewart and R.M. Thomas, Formal languages and the word problem in groups, in: Groups St. Andrews 1997 in Bath, II (C.M. Campbell, E.F. Robertson, N. Ruskuc, G. Smith, eds.), London Mathematical Society Lecture Notes Series Volume 261, Cambridge University Press, 1999, 689-700.
      DOI: 10.2277/0521655765
    57. C. Lautemann, T. Schwentick and I.A. Stewart, Positive versions of polynomial time, Information and Computation 147 (2) (1998) 145-170.
      • Extended abstract: C. Lautemann, T. Schwentick and I.A. Stewart, Positive versions of polynomial time, On positive P, in: Proceedings of 11th Annual IEEE Conference on Computational Complexity, CCC'96, Philadelphia, USA, May 24-27 1996, IEEE Computer Society Press, 1996, 162-170).
        DOI: 10.1006/inco.1998.2742
    58. I.A. Stewart, On locating cubic subgraphs in bounded-degree connected bipartite graphs, Discrete Mathematics 163 (1997) 319-324.
      DOI: 10.1016/0012-365X(95)00324-P
    59. A.A. Arratia-Quesada and I.A. Stewart, Generalized Hex and logical characterizations of polynomial space, Information Processing Letters 63 (1997) 147-152.
      DOI: 10.1016/S0020-0190(97)00116-6
    60. Y.A. Ashir, I.A. Stewart and A. Ahmed, Communication algorithms in k-ary n-cube interconnection networks, Information Processing Letters 61 (1997) 43-48.
      DOI: 10.1016/S0020-0190(96)00188-3
    61. I.A. Stewart, Logics with zero-one laws that are not fragments of bounded-variable infinitary logic, Mathematical Logic Quarterly 43 (1997) 158-178.
      DOI: 10.1002/malq.19970430203
    62. I.A. Stewart, Regular subgraphs in graphs and rooted graphs, and definability in monadic second-order logic, Mathematical Logic Quarterly 43 (1997) 1-21.
      DOI: 10.1002/malq.19970430102
    63. Y.A. Ashir and I.A. Stewart, On embedding cycles in k-ary n-cubes, Parallel Processing Letters 7 (1997) 49-55.
      DOI: 10.1142/S0129626497000073
    64. Y.A. Ashir and I.A. Stewart, Embeddings of cycles, meshes and tori in faulty k-ary n-cubes, in: Proceedings of International Conference on Parallel and Distributed Systems, ICPADS'97, Seoul, Korea, 11-13 December 1997, IEEE Computer Society Press, 1997, 429-435.
      DOI: 10.1109/ICPADS.1997.652583
    65. I.A. Stewart, Finding regular subgraphs in both arbitrary and planar graphs, Discrete Applied Mathematics 68 (1996) 223-235.
      DOI: 10.1016/0166-218X(95)00061-U
    66. I.A. Stewart, The role of monotonicity in finite model theory, in: Collegium Logicum - Annals of the Kurt Gödel Society Volume 2, Springer, 1996, 101-117.
      DOI: 10.1007/978-3-7091-9461-4_7
    67. I.A. Stewart, The demise of the Turing machine in complexity theory, in: Machines and Thought: The Legacy of Alan Turing (P. Millican, A. Clark, eds.) Oxford University Press, 1996, 221-232. (Oxford University Press Web-site: ISBN 978-0-19-823876-8)
    68. I.A. Stewart and B.C. Thompson, On the intersections of longest cycles in a graph, Experimental Mathematics 4 (1995) 41-48.
      Open access from Experimental Mathematics web-site: postscript 698Kb
    69. I.A. Stewart, Reachability in some classes of acyclic Petri nets, Fundamenta Informaticae 23 (1995) 91-100.
      DOI: 10.3233/FI-1995-2314
    70. I.A. Stewart, Completeness for path-problems via logical reductions, Information and Computation 121 (1995) 123-134.
      DOI: 10.1006/inco.1995.1127
    71. I.A. Stewart, Complete problems for monotone NP, Theoretical Computer Science 145 (1995) 147-157.
      DOI: 10.1016/0304-3975(94)00175-I
    72. I.A. Stewart, Two problems analogous to connectivity and reachability, University of Wales Swansea Technical Report CSR 2-95 (1995).
    73. I.A. Stewart, Context-sensitive transitive closure operators, Annals of Pure and Applied Logic 66 (1994) 277-301.
      DOI: 10.1016/0168-0072(94)90036-1
    74. I.A. Stewart, Deciding whether a planar graph has a cubic subgraph is NP-complete, Discrete Mathematics 126 (1994) 349-357.
      DOI: 10.1016/0012-365X(94)90277-1
    75. I.A. Stewart, Logical descriptions of monotone NP problems, Journal of Logic and Computation 4 (1994) 337-357.
      DOI: 10.1093/logcom/4.4.337
    76. I.A. Stewart, Monotonicity and the expressibility of NP operators, Mathematical Logic Quarterly 40 (1994) 132-140.
      DOI: 10.1002/malq.19940400118
    77. I.A. Stewart, On completeness for NP via projection translations, Mathematical Systems Theory 27 (1994) 125-157
      DOI: 10.1007/BF01195200
      • Extended abstract: I.A. Stewart, On completeness for NP via projection translations, in: Proceedings of Computer Science Logic, CSL'91 (E. Börger, G. Jäger, H. Kleine Büning, M.M. Richter, eds.), Berne, Switzerland, October 7-11 1991, Lecture Notes in Computer Science Volume 626, Springer, 1992, 353-366).
    78. I.A. Stewart, Incorporating generalized quantifiers and the least fixed point operator, in: Proceedings of Computer Science Logic, CSL'93 (E. Börger, Y. Gurevich, K. Meinke, eds.), Swansea, September 13-17 1993, Lecture Notes in Computer Science Volume 832, Springer, 1994, 318-333.
      DOI: 10.1007/BFb0049340
    79. I.A. Stewart, Logical and schematic characterization of complexity classes, Acta Informatica 30 (1993) 61-87.
      DOI: 10.1007/BF01200263
    80. I.A. Stewart, On parallelizing a greedy heuristic for finding small dominating sets, BIT 33 (1993) 57-62.
      DOI: 10.1007/BF01990343
    81. I.A. Stewart, Logical characterizations of bounded query classes II: polynomial-time oracle machines, Fundamenta Informaticae 18 (1993) 93-105.
      • Extended abstract: I.A. Stewart, Logical characterizations of bounded query classes II: polynomial-time oracle machines, in: Proceedings of Computer Science Logic, CSL'92 (E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter, eds.), San Miniato, Italy, September 28-October 2 1992, Lecture Notes in Computer Science Volume 702, Springer, 1993, 410-424.
    82. I.A. Stewart, Logical characterizations of bounded query classes I: logspace oracle machines, Fundamenta Informaticae 18 (1993) 65-92.
      • Extended abstract: I.A. Stewart, Logical characterizations of bounded query classes I: logspace oracle machines, in: Proceedings of Logic at Tver (Logical Foundations of Computer Science Symposium) (A. Nerode, M. Taitslin, eds.), Tver, Russia, July 20-24 1992, Lecture Notes in Computer Science Volume 620, Springer, 1992, 470-479.
    83. I.A. Stewart, On two approximation algorithms for the clique problem, International Journal of Foundations of Computer Science 4 (1993) 117-133.
      DOI: 10.1142/S0129054193000080
    84. S. Olariu and I.A. Stewart, A new characterization of unbreakable graphs, International Journal of Foundations of Computer Science 4 (1993) 193-196.
      DOI: 10.1142/S0129054193000134
    85. I.A. Stewart, Methods for proving completeness via logical translations, Theoretical Computer Science 118 (1993) 193-229.
      DOI: 10.1016/0304-3975(93)90109-7
    86. I.A. Stewart, Algorithms for graphs, in: Concise Encyclopaedia of Software Engineering (D. Morris, B. Tamm, eds.), Pergamon Press, Oxford, 1993, 5-9. (Elsevier web-site: ISBN 978-0-08-036214-4
    87. I.A. Stewart, Complete problems for symmetric logspace involving free groups, Information Processing Letters 40 (1991) 263-267.
      DOI: 10.1016/0020-0190(91)90121-W
    88. I.A. Stewart, Refining known results on the generalized word problem for free groups, International Journal of Algebra and Computation 2 (1992) 221-236.
      DOI: 10.1142/S0218196792000141
    89. I.A. Stewart, Using the Hamiltonian path operator to capture NP, Journal of Computer and System Sciences 45 (1992) 127-151
      DOI: 10.1016/0022-0000(92)90043-I)
      • Extended abstract: I.A. Stewart, Using the Hamiltonian path operator to capture NP, in: Proceedings of 2nd International Conference on Computing and Information, ICCI'90 (S. Akl, F. Fiala, W. Koczkodaj, eds.), Niagara Falls, Canada, May 23-26 1990, Lecture Notes in Computer Science Volume 468, Springer, 1990, 134-143.
    90. I.A. Stewart, Comparing the expressibility of languages formed using NP-complete operators, Journal of Logic and Computation 1 (1991) 305-330
      DOI: 10.1093/logcom/1.3.305
      • Extended abstract: I.A. Stewart, Comparing the expressibility of languages formed using NP-complete operators, in: Proceedings of 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (R. Möhring, ed.), Berlin, Germany, June 20-22 1990, Lecture Notes in Computer Science Volume 484, Springer, 1991, 276-290.
    91. I.A. Stewart, Complete problems involving Boolean labelled structures and projection translations, Journal of Logic and Computation 1 (1991) 861-882
      DOI: 10.1093/logcom/1.6.861
      • Extended abstract: I.A. Stewart, Complete problems involving Boolean labelled structures and projection translations, in: Proceedings of 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 1991 (K.V. Nori, ed.), New Delhi, India, December 17-19 1991, Lecture Notes in Computer Science Volume 560, Springer, 1991, 242-260.
    92. I.A. Stewart, Complete problems for logspace involving lexicographic first paths in graphs, in: Proceedings of 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (G. Schmidt, R. Berghammer, eds.), Fischbachau, Germany, June 17-19 1991, Lecture Notes in Computer Science Volume 570, Springer, 1991, 198-208.
      DOI: 10.1007/3-540-55121-2_19
    93. I.A. Stewart, On the expressibility of extensions of first-order logic, University of Newcastle upon Tyne Technical Report 342 (1991).
      University of Newcastle upon Tyne web-site: pdf 15.2Mb
    94. I.A. Stewart, Uniform sequences of branching programs, University of Newcastle upon Tyne Technical Report 334 (1991).
      University of Newcastle upon Tyne web-site: pdf 18.4Mb
    95. I.A. Stewart, Obtaining Nielsen reduced sets in free groups, in: Bulletin of the European Association for Theoretical Computer Science 43 (1990) 184-188.
      University of Newcastle upon Tyne web-site: pdf 7.4Mb
    96. I.A. Stewart, On the graph accessibility problem for directed graphs of bounded degree, in: Bulletin of the European Association for Theoretical Computer Science 42 (1990) 190-193.
    97. I.A. Stewart, An algorithm for colouring perfect planar graphs, Information Processing Letters 31 (1989) 97-101
      DOI: 10.1016/0020-0190(89)90075-6
      • Extended abstract: I.A. Stewart, An algorithm for colouring perfect planar graphs, in: Proceedings of 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS'87 (K.V. Nori, ed.), Pune, Indai, December 17-19 1987, Lecture Notes in Computer Science Volume 287, Springer, 1987, 58-64.
    98. I.A. Stewart, Colouring perfect planar graphs in parallel, in: Proceedings of 14th Int. Workshop on Graph-Theoretic Concepts in Computer Science, WG'88 (J. van Leeuwen, ed.), Amsterdam, The Netherlands, June 15-17 1988, Lecture Notes in Computer Science Volume 344, Springer, 1988, 268-275.
      DOI: 10.1007/3-540-50728-0_50
    99. I.A. Stewart, Expressibility, complexity, and comparative schematology, University of Newcastle upon Tyne Technical Report 273 (1988).
      University of Newcastle upon Tyne web-site: pdf 17.4Mb
    100. I.A. Stewart, Hypercentrality and hypercyclicity in skew linear groups, Archiv der Mathematik 49 (1987) 277-280.
      DOI: 10.1007/BF01210709
    101. I.A. Stewart, The paraheight of certain skew linear groups, Archiv der Mathematik 48 (1987) 208-212.
      DOI: 10.1007/BF01195353
    102. I.A. Stewart, Supersolubility in certain skew linear groups, Journal of the London Mathematical Society 35 (1987) 91-97.
      DOI: 10.1112/jlms/s2-35.1.91

(updated 2nd April 2017)