Al-Nemrat A., Bachrouch M. and Spence I., 'Case Study: Using ADLARS to Design and Develop a Real-Time Network Emulator', In: Proc. International Conference on Information and Communication Systems, Jordan, pp150-157, May 2011.

Gillan C., Steinke T., Bock J., Borchert S., Spence I. and Scott N.S., 'Comparing the implementation of two-dimensional numerical quadrature on GPU, FPGA and 3 ClearSpeed systems to study electron scattering by atoms', Concurrency and Computation: Practice and Experience, Vol. 24 No. 1, pp84-95, 2011.

van Gelder A. and Spence I., 'Zero-One Designs Produce Small Hard SAT Instances ', In: Proc. Thirteenth International Conference on Theory and Applications of Satisfiability Testing , Edinburgh, Ofer Strichman and Stefan Szeider, LNCS 6175, pp388-397, Jul 2010.

Gillan C., Steinke T., Bock J., Borchert S., Spence I. and Scott N.S., 'Programming Challenges for the Implementation of Numerical Quadrature in Atomic Physics on FPGA and GPU Accelerators', In: Proc. 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Melbourne, Manish Parashar and Rajkumar Buyya, pp757-762, May 2010.

Spence I., 'sgen1: A generator of small but difficult satisfiability benchmarks', ACM Journal on Experimental Algorithmics, Vol. 15 No. 1, pp1-15, Jan 2010.

Fritzsche M., Picht M., Gilani W., Spence I., Brown T.J. and Kilpatrick P., 'Extending BPM Environments of your choice with performance related Decision Support', In: Proc. 7th International Conference on Business Process Management, Ulm, LNCS, pp97-112, Sep 2009.

Spence I., Scott N.S. and Gillan C., 'Enabling Science through Emerging HPC Technologies: accelerating numerical quadrature using a GPU', Numerical Methods and Programming, Vol. 10, pp385-388, 2009.

Fritzsche M., Johannes J., Assmann U., Mitschke S., Gilani W., Spence I., Brown T.J. and Kilpatrick P., 'Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains', In: Proc. First International Conference on Software Language Engineering, Toulouse, LNCS 5452, pp134-150, Sep 2008.

Fritzsche M., Gilani W., Fritzsche C., Spence I., Kilpatrick P. and Brown T.J., 'Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis', In: Proc. Fourth European Conference on Model Driven Architectures - Foundations and Applications , Berlin, Ina Schieferdecker and Alan Hartman, LNCS 5095, pp369-380, Jun 2008.

Fritzsche M., Gilani W., Spence I., Brown T.J., Kilpatrick P. and Bashroush R., 'Towards performance related decision support for Model Driven Engineering of Enterprise SOA applications', In: Proc. 15th IEEE International Conference on Engineering of Computer-Based Systems , Belfast, IEEE ISBN 0-7695-3141-5, pp57-65, Mar 2008.

Bashroush R., Spence I., Kilpatrick P., Brown T.J., Gilani W. and Fritzsche M., 'ALI: An Extensible Architecture Description Language for Industrial Applications', In: Proc. 15th IEEE International Conference on Engineering of Computer-Based Systems , Belfast, IEEE ISBN 0-7695-3141-5, pp297-304, Mar 2008.

Bashroush R., Spence I., Kilpatrick P., Gillan C. and Brown T.J., 'A Multiple Views Model for Variability Management in Software Product Lines', In: Proc. Second International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany, pp101-110, Jan 2008.

Spence I., 'tts: A SAT-Solver for Small, Difficult Instances', Journal on Satisfiability, Boolean Modeling and Computation, Vol. 4, ISSN 1574-0617, pp173-190, 2008.

Brown T.J., Gawley R., Spence I., Kilpatrick P., Gillan C. and Bashroush R., 'Requirements Modelling and Design Notations for Software Product Lines', In: Proc. First International Workshop on Variability Modelling of Software-intensive Systems, Limerick, Ireland, pp27-36, Jan 2007.

Gillan C., Kilpatrick P., Spence I., Gawley R., Brown T.J. and Bashroush R., 'Challenges in the Application of Feature Modelling in Fixed Line Telecommunications', In: Proc. First International Workshop on Variability Modelling of Software-intensive Systems, Limerick, Ireland, pp141-148, Jan 2007.

Spence I., 'Complete Sudoku - extra rules for more symmetry', Mathematics Today, Vol. 42 No. 6, pp217-218, Dec 2006.

Bashroush R., Brown T.J., Spence I. and Kilpatrick P., 'Towards more flexible Architecture Description Languages for Industrial Applications', In: Proc. European Workshop on Software Architectures, Nantes, LNCS 4344, pp212-219, Sep 2006.

Brown T.J., Gawley R., Bashroush R., Spence I., Kilpatrick P. and Gillan C., 'Weaving Behavior into Feature Models for Embedded System Families', In: Proc. 10th International Software Product Line Conference, Baltimore, Maryland, IEEE ISBN 0-7695-2599-7, pp52-64, Aug 2006.

Brown T.J., Bashroush R., Gillan C., Spence I. and Kilpatrick P., 'Feature-Guided Architecture Development for Embedded System Families', In: Proc. IEEE/IFIP Working International Conference Software Architecture 2005, Pittsburgh, Nov 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'ADLARS: An Architecture Description Language for Software Product Lines', In: Proc. 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, MD, Apr 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Generic Reference Software Architecture for Load Balancing Over Mirrored Web Servers: NaSr Case Study', In: Proc. 3rd ACS/IEEE on Computer Systems and Applications, Cairo, Egypt, Jan 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'Using the NaSr Architectural Style to Solve the Broken Hyperlink Problem', In: Proc. 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, Nov 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'Deriving Product Architectures from an ADLARS Described Reference Architecture using Leopard', In: Proc. ACM/SIGSOFT Foundations of Software Engineering, Newport Beach, CA, Oct 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Network Architectural Style for Real-time Systems: NaSr', In: Proc. 4th Working IEEE/IFIP International Conference on Software Architectures, Oslo, pp321-325, Jun 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'The Contribution of Architecture Description Languages to the Evaluation of Software Architectures', In: Proc. National IEEE/IEE/ACM PREP 2004 Conference, Hertfordshire, U.K., pp210-211, Apr 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., ' Towards an Automated Evaluation Process for Software Architectures', In: Proc. IAESTED International Conference onSoftware Engineering, Innsbruck, Austria, pp54-58, Feb 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Real-time Network Emulator: ADLARS Case Study', In: Proc. 3rd Asia Pacific International Symposium on Information Technology, Istanbul, pp610-617, Jan 2004.

McRitchie I., Brown T.J. and Spence I., 'Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation', In: Proc. 5th International Workshop, Software Product Family Engineering, Siena, Italy, LNCS 3014, Springer-Verlag, pp98-110, Nov 2003.

Brown T.J., Spence I. and Kilpatrick P., 'A Relational Architecture Description Language for Embedded Real-time Software Families', In: Proc. 5th International Workshop, Software Product Family Engineering, Siena, Italy, LNCS 3014, Springer-Verlag, pp282-295, Nov 2003.

McRitchie I., Spence I. and Brown T.J., ' A Java framework for the static reflection, composition and synthesis of software components', In: Proc. 2nd International Conference on Principles and Practice of Programming in Java, Kilkenny, ACM International Conference Proceedings Series, pp19-20, Jun 2003.

Brown T.J., Spence I. and Kilpatrick P., 'Adaptable Components for Software Product-Line Engineering', In: Proc. SPLC2 (Second Software Product Line Conference), San Diego, LNCS 2379, Springer-Verlag, pp154-175, Aug 2002.

Brown T.J., Spence I. and Kilpatrick P., 'Mixin Programming in Java with Reflection and Dynamic Invocation', In: Proc. Principles and Practice of Programming in Java, Dublin, ACM International Conference Proceedings Series, pp25-34, Jun 2002.

Maley D. and Spence I., 'Supporting Design by Contract in C++', Journal of Object-Oriented Programming, Vol. 14 No. 3, ISSN 0896-8438, pp8-19, Aug 2001.

Maley D. and Spence I., 'But who will guard the guardians?', In: Proc. TOOLS 34 (TOOLS USA 2000), IEEE Computer Society Press, pp227-237, Jul 2000.

Brown T.J., Kilpatrick P., Spence I., Crookes D. and Murphy P., 'The List_Tree - an innovative solution to customer portfolio representation', British Telecom Technology Journal, Vol. 18 No. 2, ISSN 1358-3948, pp131-141, Apr 2000.

Busby D., Burke P., Burke V., Noble C., Scott N.S. and Spence I., 'HBrowse; a GRACE tool for browsing R-matrix H-files', Computer Physics Communications, Vol. 131, pp202-224, 2000.

Maley D. and Spence I., 'Config: a case study in combining software engineering techniques', Scientific Programming, Vol. 8 No. 2, ISSN 1058-9244, pp59-72, 2000.

Maley D. and Spence I., 'Emulating Design by Contract in C++', In: Proc. TOOLS 29 (TOOLS EUROPE 1999), Mitchell et al., IEEE Computer Society Press, pp66-75, Jun 1999.

Morrow P., Crookes D., Brown T.J., McAleese G., Roantree D. and Spence I., 'Efficient Design of a Portable Parallel Programming Model for Image Processing', University of Ulster Informatics Reports 13, ISSN 0966-4963, Dec 1998.

Spence I., 'Square Wheels on a Bumpy Road', Mathematics Today, Vol. 34 No. 4, pp112-113, Aug 1998.

Crookes D., Brown T.J., Spence I., Morrow P., McAleese G. and Roantree D., 'An efficient, portable software platform for parallel image processing', In: Proc. 6th Euromicro Workshop on Parallel and Distributed Computing (PdP'98), Madrid, pp237-242, Jan 1998.

Spence I., 'Specification for Testing - the Removal of Abstraction', Software Testing, Verification and Reliability, Vol. 8 No. 1, pp3-14, 1998.

Crookes D., Morrow P., Brown T.J., McAleese G., Roantree D. and Spence I., 'Achieving portability and efficiency through automatic optimisation: an investigation in parallel image processing', In: Proc. EuroPar '98: Parallel Processing, Pritchard, D. and Reeve, J., LNCS 1470, Springer, pp102-112, 1998.

Maley D., Spence I. and Kilpatrick P., 'Config: A GRACE tool for constructing configuration trees', Computer Physics Communications, Vol. 114, pp271-294, 1998.

Brown T.J., Crookes D., Spence I., Morrow P., Roantree D. and McAleese G., 'A Platform for Developing Efficient Image Processing Programs for Parallel Architectures', In: Proc. Irish Machine Vision and Image Processing, pp69-77, Sep 1997.

Spence I., 'Data-Parallel Definition of Neighbourhood Operations - Use and Extensions of EVAL', In: Proc. Irish Machine Vision and Image Processing, pp93-100, Sep 1997.

Crookes D., Brown T.J., Dong Y., McAleese G., Morrow P., Roantree D. and Spence I., 'A self-optimising co-processor model for portable parallel image processing', In: Proc. EuroPar'96, Lyon, Vol. 2, Springer-Verlag, pp213-216, Aug 1996.

Morrow P., Crookes D., Brown T.J., Dong Y., McAleese G., Roantree D. and Spence I., 'Achieving scalability, portability and efficiency in a high level programming model for parallel architectures', In: Proc. UKPAR'96, Springer-Verlag, pp29-39, Jul 1996.

Morrow P., Roantree D., McAleese G., Crookes D., Spence I., Brown T.J. and Dong Y., 'A Portable Coprocessor Model for Parallel Image Processing', In: Proc. European Parallel Tools Meeting, Chatillon, France, ONERA, 1996.

Spence I. and Scott N.S., 'The Use of the 2-D Hough Transform in the Detection of Resonances', In: Proc. PECAM II, Belfast, p78, 1996.

Crookes D., Spence I. and Brown T.J., 'Efficient parallel image transforms: a very high level approach', In: Proc. World Transputer Congress, IOS Press, pp135-143, Sep 1995.

Spence I., 'Displaying Digital Images in a Distributed Processing Environment', Microprocessors and Microsystems, Vol. 18 No. 2, pp95-99, 1994.

Spence I., 'Dynamic array bounds in C', Computing, pp34-35, Feb 1993.

Spence I. and Carey B., 'Customers do not want frozen specifications', Software Engineering Journal, Vol. 6 No. 4, pp175-180, 1991.

Crookes D., Spence I. and Brown T.J., 'Data Parallel Languages for Image Processing', In: Proc. Franco-British N+N Meeting on Data Parallel Languages and Compilers for Portable Parallel Computing, Villeneuve d'Ascq, France, p41, Apr 1990.

Spence I., 'A Flexible Menu System', British Telecom Research and Technology Memo RT33/89/01, 1989.

Crookes D., Murray J., Smith J. and Spence I., 'A Voice Input Programming System', In: Proc. People and Computers: Designing the Interface. BCS HCI Specialist Group, Cambridge University Press, pp359-368, 1985.

Spence I., 'The Automatic Production of Code Generators', PhD Thesis, Department of Computer Science, Queen's University Belfast, 1984.