Dr
³§¾±´Ç²ú³óá²Ô
North
PhD
School of Computer Science
Senior Lecturer
Deputy Examinations Officer
Member of the AI x Software Engineering & Testing research groups
s.north@sheffield.ac.uk
Regent Court (CS)
Full contact details
Dr ³§¾±´Ç²ú³óá²Ô North
School of Computer Science
Regent Court (CS)
School of Computer Science
Regent Court (CS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr ³§¾±´Ç²ú³óá²Ô 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 Assistant Director of Education (Quality Assurance).
- 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
- Foreword.
Journal articles
- . Contemporary Clinical Trials, 142.
- . International Journal on Software Tools for Technology Transfer, 24(6), 949-972.
- . IEEE Access, 8, 192569-192586.
- Evaluation of practical trust based access control for XML databases. 2012 International Conference for Internet Technology and Secured Transactions Icitst 2012, 336-340.
- Logging in XML databases: Xlog file for trust based access control. World Congress on Internet Security Worldcis 2012, 174-175.
- . International Journal of Web Engineering and Technology, 7(2), 143-172.
- Trust-based access control for XML databases. 2011 International Conference for Internet Technology and Secured Transactions Icitst 2011, 764-765.
- The 3D XML benchmark. Webist 2010 Proceedings of the 6th International Conference on Web Information Systems and Technology, 1, 13-20.
- Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29.
- Implementation of a Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 4(5), 15-28.
- A Pascal Database Management System. Journal of Pascal, Ada and Modula-2, 3(6), 15-22.
- COPAS - A CONVERSATIONAL PASCAL SYSTEM. SOFTWARE PRACT EXPER, 11(8), 819-829.
- CONTEXT SENSITIVE EDITING AS AN APPROACH TO INCREMENTAL COMPILATION. COMPUT J, 24(3), 222-229.
- . International Journal of Intelligent Computing Research, 4(2), 323-327.
- . Journal of Internet Technology and Secured Transaction, 2(1/2), 147-154.
Book chapters
- , Lecture Notes in Computer Science (pp. 257-272). Springer International Publishing
Conference proceedings
- . 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) (pp 121-125). Montreal, QC, Canada, 25 May 2019 - 25 May 2019.
- . Web Information Systems and Technologies, Vol. 322. Porto, Portugal, 25 April 2017 - 25 April 2017.
- . 2017 International Conference on Engineering and Technology (ICET). Akdeniz University, Antalya, Turkey, 21 August 2017 - 21 August 2017.
- . 2017 International Conference on Engineering and Technology (ICET). Antalya, Turkey, 21 August 2017 - 21 August 2017.
- . Proceedings of the 13th International Conference on Web Information Systems and Technologies (pp 204-211). Porto, Portugal, 25 April 2017 - 25 April 2017.
- . PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (WEBIST) (pp 69-75)
- . 2014 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014 (pp 324-326). London, UK, 8 December 2014 - 8 December 2014.
- . Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 18 October 2014.
- 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)
- 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)
- Z2SAL-Building a Model Checker for Z. ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol. 5238 (pp 280-293)
- 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)
- Issues in implementing a model checker for Z. Formal Methods and Software Engineering, Proceedings, Vol. 4260 (pp 678-696)
- . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2405 (pp 58-61)
- Tracing Data Lineage Using Automed Schema Transformation Pathways.. BNCOD, Vol. 2405 (pp 50-53)
- An Algorithm for Determining Related Constraints.. BNCOD, Vol. 2405 (pp 134-149)
- Adaptive Query Processing: A Survey.. BNCOD, Vol. 2405 (pp 11-25)
- Implementation and Comparative Evaluation of Maintenance Policies in a Data Warehouse Environment.. BNCOD, Vol. 2405 (pp 90-102)
- Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings. BNCOD, Vol. 2405
- Improving Query Evaluation with Approximate Functional Dependency Based Decompositions.. BNCOD, Vol. 2405 (pp 26-41)
- Fully Dynamic Clustering of Metric Data Sets.. BNCOD, Vol. 2405 (pp 73-76)
- Global Query Processing in the AutoMed Heterogeneous Database Environment.. BNCOD, Vol. 2405 (pp 46-49)
- Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.. BNCOD, Vol. 2405 (pp 114-133)
- Retrieval Performance Experiment with the Webspace Method.. BNCOD, Vol. 2405 (pp 150-165)
- Implementing Data Mining in a DBMS.. BNCOD, Vol. 2405 (pp 70-71)
- A Document Database Query Language.. BNCOD, Vol. 2405 (pp 183-198)
- The AutoMed Schema Integration Repository.. BNCOD, Vol. 2405 (pp 42-45)
- Have It Your Way: Personalization of Network-Hosted Services.. BNCOD, Vol. 2405 (pp 1-10)
- Establishing a Taxonomy of Quality for Use in Information Filtering.. BNCOD, Vol. 2405 (pp 103-113)
- CREAM: A Mediator Based Environment for Modeling and Accessing Distributed Information on the Web.. BNCOD, Vol. 2405 (pp 58-61)
- Handling Conceptual Multidimensional Models Using XML through DTDs.. BNCOD, Vol. 2405 (pp 66-69)
- A System for Managing Alternate Models in Model-Based Mediation.. BNCOD, Vol. 2405 (pp 54-57)
- Real World Association Rule Mining.. BNCOD, Vol. 2405 (pp 77-89)
- Semantic Integration and Querying of Heterogeneous Data Sources Using a Hypergraph Data Model.. BNCOD, Vol. 2405 (pp 166-182)
- The world wide web cytokine database - New techniques of diagramatic information management on the Web. INFORMATION PROCESSING IN CELLS AND TISSUES (pp 107-110)
- Core objects required for a generic CASE repository. METHOD ENGINEERING (pp 186-190)
- National lotteries - An exercise in parallel data management design. TRANSPUTER APPLICATIONS AND SYSTEMS '95, Vol. 46 (pp 441-454)
Preprints
- Building a refinement checker for Z, Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011..
- Research group
-
Member of the and Foundations of Computation research groups
- Teaching activities
-
- COM1003 Java programming - First semester
- COM160 Computer Problem Solving and Object Oriented Design - Second semester
- COM162 Object Oriented Design and Programming with Java
- GEE106 Programming for Engineers - Second semester
- Has supervised eight PhD students successfully