Dr Siobhán North

PhD

Department of Computer Science

Senior Lecturer

Undergraduate Progression Tutor (L2+L4)

Member of the Testing research groups

Siobhan North headshot
Profile picture of Siobhan North headshot
s.north@sheffield.ac.uk
+44 114 222 1835

Full contact details

Dr Siobhán North
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

Dr Siobhán North is a Senior Lecturer in Computer Science. She has a first degree in Mathematics and a PhD in Computer Science from the University of Sheffield. As well as her teaching role she is the Faculty of Engineering's Deputy Director of Learning and Teaching.

Research interests

Dr North currently works in two areas; XML databases and formal languages. The XML database work currently concerns indexing and compression techniques and the formal language work relates to translation between Z and SAL.

Publications

Books

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

Journal articles

  • Alsubai S & North S (2020) Solving the intractable problem: optimal performance for worst case scenarios in XML twig pattern matching. IEEE Access, 8, 192569-192586. View this article in WRRO RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Al-Badawi M, Ramadhan HA, North S & Eaglestorne B (2012) A performance evaluation of a new bitmap-based XML processing approach over RDBMS. International Journal of Web Engineering and Technology, 7(2), 143-172. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Derrick J, North S & Simons AJH (2009) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29. RIS download Bibtex download
  • North SD (1985) Implementation of a Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 4(5), 15-28. RIS download Bibtex download
  • Ullmann JR & North SD (1984) A Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 3(6), 15-22. RIS download Bibtex download
  • ATKINSON LV & NORTH SD (1981) COPAS - A CONVERSATIONAL PASCAL SYSTEM. SOFTWARE PRACT EXPER, 11(8), 819-829. RIS download Bibtex download
  • ATKINSON LV, MCGREGOR JJ & NORTH SD (1981) CONTEXT SENSITIVE EDITING AS AN APPROACH TO INCREMENTAL COMPILATION. COMPUT J, 24(3), 222-229. RIS download Bibtex download
  • 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. View this article in WRRO RIS download Bibtex download
  • Farooqi N & North S () A Performance Evaluation of Logging in XML Databases Using an Xlog File for Trust Based Access Control. International Journal of Intelligent Computing Research, 4(2), 323-327. RIS download Bibtex download
  • Farooqi N & North S () Performance Evaluation of Trust Based Access Control for XML Databases. Journal of Internet Technology and Secured Transaction, 2(1/2), 147-154. RIS download Bibtex download

Chapters

  • Foster M, Brucker AD, Taylor RG, North S & Derrick J (2019) Incorporating Data into EFSM Inference, Software Engineering and Formal Methods (pp. 257-272). Springer International Publishing RIS download Bibtex download

Conference proceedings papers

  • Clegg B, North S, McMinn P & Fraser G (2019) Simulating Student Mistakes to Evaluate the Fairness of Automated Grading. 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 25 May 2019 - 31 May 2019. View this article in WRRO RIS download Bibtex download
  • Alsubai S & North SD (2018) TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers. Lecture Notes in Business Information Processing (LNBIP), Vol. 322 (pp 1-20), 25 April 2017 - 27 April 2017. View this article in WRRO RIS download Bibtex download
  • Alsubai S & North SD (2017) A Prime Number Approach to Matching an XML Twig Pattern including Parent-Child Edges. PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (pp 204-211), 25 April 2017 - 27 May 2017. View this article in WRRO RIS download Bibtex download
  • Al-khazraji S & North S (2017) The emergence computation of overflow in dynamic XML tree based on prefix and interval labelling schemes. 2017 International Conference on Engineering and Technology (ICET), 21 August 2017 - 23 August 2017. View this article in WRRO RIS download Bibtex download
  • Al-khazraji S & North S (2017) A relevance comparison between interval and prefix labelling schemes. 2017 International Conference on Engineering and Technology (ICET), 21 August 2017 - 23 August 2017. View this article in WRRO RIS download Bibtex download
  • Al Zadjali H & North S (2016) XML Labels Compression using Prefix-encodings. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (WEBIST) (pp 69-75) View this article in WRRO RIS download Bibtex download
  • Farooqi N & North S (2015) Time cost evaluation of trust based access control for XML databases. The 9th International Conference for Internet Technology and Secured Transactions (ICITST-2014) (pp 324-326) View this article in WRRO RIS download Bibtex download
  • Siregar MU, Derrick J, North SD & Simons AJH (2014) Experiences using Z2SAL. Proceedings - ICACSIS 2014: 2014 International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 19 October 2014. View this article in WRRO RIS download Bibtex download
  • 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) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • 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) View this article in WRRO RIS download Bibtex download
  • 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) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Shou XM & North S (2002) An integrated approach to handling collaborative diagram databases on the www. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2405 (pp 58-61) RIS download Bibtex download
  • Fan H (2002) Tracing Data Lineage Using Automed Schema Transformation Pathways.. BNCOD, Vol. 2405 (pp 50-53) RIS download Bibtex download
  • Fu G, Shao J, Embury SM & Gray WA (2002) An Algorithm for Determining Related Constraints.. BNCOD, Vol. 2405 (pp 134-149) RIS download Bibtex download
  • Gounaris A, Paton NW, Fernandes AAA & Sakellariou R (2002) Adaptive Query Processing: A Survey.. BNCOD, Vol. 2405 (pp 11-25) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • (2002) Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings. BNCOD, Vol. 2405 RIS download Bibtex download
  • Giannella C, Dalkilic MM, Groth DP & Robertson EL (2002) Improving Query Evaluation with Approximate Functional Dependency Based Decompositions.. BNCOD, Vol. 2405 (pp 26-41) RIS download Bibtex download
  • Lodi S (2002) Fully Dynamic Clustering of Metric Data Sets.. BNCOD, Vol. 2405 (pp 73-76) RIS download Bibtex download
  • Jasper E (2002) Global Query Processing in the AutoMed Heterogeneous Database Environment.. BNCOD, Vol. 2405 (pp 46-49) RIS download Bibtex download
  • Couchot A (2002) Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.. BNCOD, Vol. 2405 (pp 114-133) RIS download Bibtex download
  • Zwol RV & Apers PMG (2002) Retrieval Performance Experiment with the Webspace Method.. BNCOD, Vol. 2405 (pp 150-165) RIS download Bibtex download
  • Lepinioti K & McKearney S (2002) Implementing Data Mining in a DBMS.. BNCOD, Vol. 2405 (pp 70-71) RIS download Bibtex download
  • Brisaboa NR, Penabad MR, Places ÁS & Rodríguez FJ (2002) A Document Database Query Language.. BNCOD, Vol. 2405 (pp 183-198) RIS download Bibtex download
  • Boyd M, McBrien P & Tong N (2002) The AutoMed Schema Integration Repository.. BNCOD, Vol. 2405 (pp 42-45) RIS download Bibtex download
  • Hull R, Kumar B, Sahuguet A & Xiong M (2002) Have It Your Way: Personalization of Network-Hosted Services.. BNCOD, Vol. 2405 (pp 1-10) RIS download Bibtex download
  • Burgess M, Gray WA & Fiddian NJ (2002) Establishing a Taxonomy of Quality for Use in Information Filtering.. BNCOD, Vol. 2405 (pp 103-113) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Medina E, Luján-Mora S & Trujillo J (2002) Handling Conceptual Multidimensional Models Using XML through DTDs.. BNCOD, Vol. 2405 (pp 66-69) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Veloso A, Rocha BG, Carvalho MD & Jr WM (2002) Real World Association Rule Mining.. BNCOD, Vol. 2405 (pp 77-89) RIS download Bibtex download
  • Theodoratos D (2002) Semantic Integration and Querying of Heterogeneous Data Sources Using a Hypergraph Data Model.. BNCOD, Vol. 2405 (pp 166-182) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Manson G, North S & Alghamdi A (1996) Core objects required for a generic CASE repository. METHOD ENGINEERING (pp 186-190) RIS download Bibtex download
  • KERRIDGE J & NORTH S (1995) National lotteries - An exercise in parallel data management design. TRANSPUTER APPLICATIONS AND SYSTEMS '95, Vol. 46 (pp 441-454) RIS download Bibtex download

Preprints

  • Derrick J, North S & Simons AJH (2011) Building a refinement checker for Z, Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.. RIS download Bibtex download
Research group

Siobhán has supervised eight PhD students successfully.

Teaching activities
Professional activities and memberships

Member of the Testing and Verification research groups