Follow
Siobhan North
Siobhan North
Verified email at sheffield.ac.uk - Homepage
Title
Cited by
Cited by
Year
Issues in implementing a model checker for Z
J Derrick, S North, T Simons
Formal Methods and Software Engineering: 8th International Conference on …, 2006
342006
Z2SAL: a translation-based model checker for Z
J Derrick, S North, AJH Simons
Formal Aspects of Computing 23, 43-71, 2011
252011
Z2SAL-building a model checker for Z
J Derrick, S North, AJH Simons
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
242008
Trust-based access control for XML databases
N Farooqi, S North
2011 International Conference for Internet Technology and Secured …, 2011
112011
Simulating student mistakes to evaluate the fairness of automated grading
GF B Clegg, S North, P McMinn
International Conference on Software Engineering: Software Engineering …, 2019
9*2019
A prime number approach to matching an XML twig pattern including parent-child edges
S Alsubai, SD North
Proceedings of the 13th International Conference on Web Information Systems …, 2017
92017
Logging in XML databases: xlog file for trust based access control
N Farooqi, S North
World Congress on Internet Security (WorldCIS-2012), 174-175, 2012
82012
An Analysis of Relational Storage Strategies for Partially Structured XML.
YA Kader, B Eaglestone, S North
WEBIST (1), 165-170, 2008
82008
XML labels compression using prefix-encodings
H Al Zadjali, S North
International Conference on Web Information Systems and Technologies 2, 69-75, 2016
72016
Incorporating data into efsm inference
M Foster, AD Brucker, RG Taylor, S North, J Derrick
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
62019
Developing a dynamic trust based access control model for xml databases
N Farooqi, S North
Department of Computer Science Research Memoranda CS-11-09, University of …, 2011
62011
Building a refinement checker for Z
J Derrick, S North, AJH Simons
arXiv preprint arXiv:1106.4092, 2011
52011
PACD: A bitmap-based framework for processing XML data
M Al-Badawi, B Eaglestone, S North
International Conference on Web Information Systems and Technologies 1, 66-71, 2009
52009
Evaluation of practical trust based access control for XML databases
N Farooqi, S North
2012 International Conference for Internet Technology and Secured …, 2012
42012
A performance evaluation of logging in XML databases using an xlog file for trust based access control
N Farooqi, S North
International Journal of Intelligent Computing Research 3 (3), 2012
42012
A performance evaluation of a new bitmap-based XML processing approach over RDBMS
M Al-Badawi, HA Ramadhan, S North, B Eaglestorne
International journal of Web engineering and technology 7 (2), 143-172, 2012
42012
WIDE: A WWW Interactive Diagram Editor
XM Shou, S North
Proceedings of the First International Conference on the Practical …, 1997
41997
TwigStackPrime: A novel twig join algorithm based on prime numbers
S Alsubai, S North
Web Information Systems and Technologies: 13th International Conference …, 2018
32018
The emergence computation of overflow in dynamic XML tree based on prefix and interval labelling schemes
S Al-khazraji, S North
2017 International Conference on Engineering and Technology (ICET), 1-6, 2017
32017
A relevance comparison between interval and prefix labelling schemes
S Al-khazraji, S North
2017 International Conference on Engineering and Technology (ICET), 1-6, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20