��«Ӱҵ

Books

• Eaglestone B, North S & Poulovassilis A (2002) Foreword.

Journal articles

• Petrie J, Loban A, Turton E, Derebecka J, North S, Herbert E & Hind D (2024) . Contemporary Clinical Trials, 107573-107573.
• Alsubai S & North S (2020) . IEEE Access, 8, 192569-192586.
• Farooqi N & North S (2012) Evaluation of practical trust based access control for XML databases. 2012 International Conference for Internet Technology and Secured Transactions, ICITST 2012, 336-340.
• Farooqi N & North S (2012) Logging in XML databases: Xlog file for trust based access control. World Congress on Internet Security, WorldCIS-2012, 174-175.
• Al-Badawi M, Ramadhan HA, North S & Eaglestorne B (2012) . International Journal of Web Engineering and Technology, 7(2), 143-172.
• Farooqi N & North S (2011) Trust-based access control for XML databases. 2011 International Conference for Internet Technology and Secured Transactions, ICITST 2011, 764-765.
• Al-Badawi M, North S & Eaglestone B (2010) The 3D XML benchmark. WEBIST 2010 - Proceedings of the 6th International Conference on Web Information Systems and Technology, 1, 13-20.
• Derrick J, North S & Simons AJH (2009) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29.
• North SD (1985) Implementation of a Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 4(5), 15-28.
• Ullmann JR & North SD (1984) A Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 3(6), 15-22.
• ATKINSON LV & NORTH SD (1981) COPAS - A CONVERSATIONAL PASCAL SYSTEM. SOFTWARE PRACT EXPER, 11(8), 819-829.
• ATKINSON LV, MCGREGOR JJ & NORTH SD (1981) CONTEXT SENSITIVE EDITING AS AN APPROACH TO INCREMENTAL COMPILATION. COMPUT J, 24(3), 222-229.
• Taylor R, Foster M & North S () An Automated Framework for Verifying or Refuting Trace Properties of Extended Finite State Machines. International Journal on Software Tools for Technology Transfer.
• Farooqi N & North S () . International Journal of Intelligent Computing Research, 4(2), 323-327.
• Farooqi N & North S () . Journal of Internet Technology and Secured Transaction, 2(1/2), 147-154.

Chapters

• Foster M, Brucker AD, Taylor RG, North S & Derrick J (2019) , Software Engineering and Formal Methods (pp. 257-272). Springer International Publishing

Conference proceedings papers

• Clegg B, North S, McMinn P & Fraser G (2019) . 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 25 May 2019 - 31 May 2019.
• Alsubai S & North SD (2018) . Lecture Notes in Business Information Processing (LNBIP), Vol. 322 (pp 1-20), 25 April 2017 - 27 April 2017.
• Alsubai S & North SD (2017) . PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (pp 204-211), 25 April 2017 - 27 May 2017.
• Al-khazraji S & North S (2017) . 2017 International Conference on Engineering and Technology (ICET), 21 August 2017 - 23 August 2017.
• Al-khazraji S & North S (2017) . 2017 International Conference on Engineering and Technology (ICET), 21 August 2017 - 23 August 2017.
• Al Zadjali H & North S (2016) . PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (WEBIST) (pp 69-75)
• Farooqi N & North S (2015) . The 9th International Conference for Internet Technology and Secured Transactions (ICITST-2014) (pp 324-326)
• Siregar MU, Derrick J, North SD & Simons AJH (2014) . Proceedings - ICACSIS 2014: 2014 International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 19 October 2014.
• Al-Badawi M, Eaglestone B & North S (2009) PACD: A BITMAP-BASED FRAMEWORK FOR PROCESSING XML DATA. WEBIST 2009: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (pp 66-71)
• Kader YA, Eaglestone B & North S (2008) An analysis of relational storage strategies for partially structured XML. WEBIST 2008: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (pp 165-170)
• Derrick J, North S & Simons AJH (2008) Z2SAL-Building a Model Checker for Z. ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol. 5238 (pp 280-293)
• Baravalle A, Chambers S, North S & Holcombe M (2006) Open source software in the desktop: The perspective of the public administrations in UK. WEBIST 2006: Proceedings of the Second International Conference on Web Information Systems and Technologies (pp 39-44)
• Derrick J, North S & Simons T (2006) Issues in implementing a model checker for Z. Formal Methods and Software Engineering, Proceedings, Vol. 4260 (pp 678-696)
• Shou XM & North S (2002) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2405 (pp 58-61)
• Fan H (2002) Tracing Data Lineage Using Automed Schema Transformation Pathways.. BNCOD, Vol. 2405 (pp 50-53)
• Fu G, Shao J, Embury SM & Gray WA (2002) An Algorithm for Determining Related Constraints.. BNCOD, Vol. 2405 (pp 134-149)
• Gounaris A, Paton NW, Fernandes AAA & Sakellariou R (2002) Adaptive Query Processing: A Survey.. BNCOD, Vol. 2405 (pp 11-25)
• Engström H, Chakravarthy S & Lings B (2002) Implementation and Comparative Evaluation of Maintenance Policies in a Data Warehouse Environment.. BNCOD, Vol. 2405 (pp 90-102)
• (2002) Advances in Databases, 19th British National Conference on Databases, BNCOD 19, ��«Ӱҵ, UK, July 17-19, 2002, Proceedings. BNCOD, Vol. 2405
• Giannella C, Dalkilic MM, Groth DP & Robertson EL (2002) Improving Query Evaluation with Approximate Functional Dependency Based Decompositions.. BNCOD, Vol. 2405 (pp 26-41)
• Lodi S (2002) Fully Dynamic Clustering of Metric Data Sets.. BNCOD, Vol. 2405 (pp 73-76)
• Jasper E (2002) Global Query Processing in the AutoMed Heterogeneous Database Environment.. BNCOD, Vol. 2405 (pp 46-49)
• Couchot A (2002) Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.. BNCOD, Vol. 2405 (pp 114-133)
• Zwol RV & Apers PMG (2002) Retrieval Performance Experiment with the Webspace Method.. BNCOD, Vol. 2405 (pp 150-165)
• Lepinioti K & McKearney S (2002) Implementing Data Mining in a DBMS.. BNCOD, Vol. 2405 (pp 70-71)
• Brisaboa NR, Penabad MR, Places ÁS & Rodríguez FJ (2002) A Document Database Query Language.. BNCOD, Vol. 2405 (pp 183-198)
• Boyd M, McBrien P & Tong N (2002) The AutoMed Schema Integration Repository.. BNCOD, Vol. 2405 (pp 42-45)
• Hull R, Kumar B, Sahuguet A & Xiong M (2002) Have It Your Way: Personalization of Network-Hosted Services.. BNCOD, Vol. 2405 (pp 1-10)
• Burgess M, Gray WA & Fiddian NJ (2002) Establishing a Taxonomy of Quality for Use in Information Filtering.. BNCOD, Vol. 2405 (pp 103-113)
• Ram S, Park J & Hwang Y (2002) CREAM: A Mediator Based Environment for Modeling and Accessing Distributed Information on the Web.. BNCOD, Vol. 2405 (pp 58-61)
• Medina E, Luján-Mora S & Trujillo J (2002) Handling Conceptual Multidimensional Models Using XML through DTDs.. BNCOD, Vol. 2405 (pp 66-69)
• Gupta A, Ludäscher B, Martone ME, Qian X, Ross E, Tran J & Zaslavsky I (2002) A System for Managing Alternate Models in Model-Based Mediation.. BNCOD, Vol. 2405 (pp 54-57)
• Veloso A, Rocha BG, Carvalho MD & Jr WM (2002) Real World Association Rule Mining.. BNCOD, Vol. 2405 (pp 77-89)
• Theodoratos D (2002) Semantic Integration and Querying of Heterogeneous Data Sources Using a Hypergraph Data Model.. BNCOD, Vol. 2405 (pp 166-182)
• Shou XM & North S (1998) The world wide web cytokine database - New techniques of diagramatic information management on the Web. INFORMATION PROCESSING IN CELLS AND TISSUES (pp 107-110)
• Manson G, North S & Alghamdi A (1996) Core objects required for a generic CASE repository. METHOD ENGINEERING (pp 186-190)
• KERRIDGE J & NORTH S (1995) National lotteries - An exercise in parallel data management design. TRANSPUTER APPLICATIONS AND SYSTEMS '95, Vol. 46 (pp 441-454)

Preprints

• Derrick J, North S & Simons AJH (2011) , Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011..