Skip to content
Open menu Close menu
Dr Rob Holton

Dr Rob Holton

PUBLICATIONS

Journal Publications +

  • Holton D.R., Younas M. and Awan I.U. (2011): "Priority Scheduling of requests to web portals" The Journal of Systems and Software, Elsevier, Amsterdam, 84 (8): 1373-1378.
  • Alnas M, Awan I and Holton DRW (2010): "Performance Evaluation of Fast Handover in Mobile IPv6 Based on Link-Layer Information" Journal of Systems and Software, Elsevier, 83 (10): 1644-1650.
  • Holton DRW, Nafea I, Younas M and Awan I (2009): "A class-based scheme for E-commerce web servers: Formal specification and performance evaluation" Journal of Network and Computer Applications, Elsevier, 32 (2): 455-460.
  • Gilmore S, Hillston J and Holton D.R. (1996): "Specifications in a Stochastic Process Algebra for a Robot Control Problem" International Journal of Production Research, Taylor & Francis, 34 (4): 1065-1080.
  • Holton D.R. (1995): "A PEPA Specification of an Industrial Production Cell" The Computer Journal, 38 (7): 542-551.

Chapters in Books +

  • Abdulrahman R., Neagu D. and Holton D.R. (2011): "Multi Agent System for Historical Information Retrieval from OSN", Agent and Multi-Agent Systems: Technologies and Applications, J. Oshea K. Crockett R. Howlett J. Lakhmi (ed.), Springer, Berlin ISBN: 978-3-642-21999-3, pp. 54-63.
  • Nafea I, Holton DRW, Younas M and Awan I (2010): "A Formal Approach to Investigate the Performance of Modern E-commerce Services ", Analytical and Stochastic Modeling Techniques and Applications, K. Al-Begain, D. Fiems and W.J. Knottenbelt (eds.), Springer ISBN: 03029743, pp. 233-246.
  • Younas M., Eaglestone B and Holton D.R. (2000): "A review of multidatabase transactions on the web: from the ACID to the SACReD", Advances in Databases, Springer Verlag, Berlin / Heidelberg ISBN: 978-3-540-67743-7, pp. 140-152.
  • Younas M., Eaglestone B and Holton D.R. (2000): "A formal treatment of the {SACReD} protocol for multidatabase, database and expert systems applications", Database and Expert Systems Applications, M. Ibrahim and J. Kung and N. Revell (eds.), Springer Verlag, Berlin / Heidelberg ISBN: 978-3-540-67978-3, pp. 899-908.
  • McKeever J.D. and Holton D.R. (1994): "Experience of using Transputers in a Robot Programming and Control System: A Case Study", Parallel Processing: The Transputer and its Applications, M.E.C. Hull, D. Crookes and P.J. Sweeney (eds.), Addison-Wesley ISBN: 0-201-62755-8, pp. 271-301.
  • McKeever J.D., McKeag R.M., Holton D.R. and Smyth R.J. (1993): "Concurrency in Robot Programming and Control Systems", Robotics: Applied Mathematics and Computational Aspects, K. Warwick (ed.), Oxford University Press, Oxford ISBN: 0-19-853649-6, pp. 369 - 389.

Conference Contributions +

  • Holton DRW, Awan I and Younas M (2009): "Priority Scheduling of Requests to Web Portals", Proceedings of the International Conference on Advanced Information Networking and Applications 2009, Bradford, UK.
  • Younas M., Awan I., Holton D.R. and Duce D. (2007): "A P2P Network Protocol for Efficient Choreography of Web Services", Proceedings of the 21st International Conference on Advanced Networking and Applications.
    For more information see: http://doi.ieeecomputersociety.org/10.1109/AINA.2007.17
  • Wu B., Holton D.R. and Lai L.M. (2001): "An Integrated Refinement Calculus for Z", Proceedings of The 5th. Irish Workshop in Formal Methods.
  • Mitton P.R. and Holton D.R. (2000): "PEPA performability modelling using UML statecharts", Proceedings of the 16th Annual UK Performance Engineering Workshop, Durham, UK.
  • Wu B. and Holton D.R. (2000): "Towards a Mechanised Software Development Method", Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.
  • Wu B., Holton D.R. and Lai L.M. (2000): "From Specification To Code: A Formal Software Development Method", Proceedings of the Chinese Automation and Computer Science Conference in UK.
  • Mitton P.R. and Holton D.R. (1999): "Extensions to PEPA to simplify the creation of component libraries", Proceedings of the 15th UK Annual Performance Engineering Workshop.
  • Eaglestone B., Desai B., Holton D.R. and Gulatee E. (1998): "Temporal database support for cooperative creative work", Proceedings of the 2nd International Database Engineering and Applications Symposium (Ideas'98), Cardiff, UK.
  • Holton D.R. and Glover J.P. (1997): "An SPA Performance Model of a Production Cell", Proceedings of the Thirteenth UK Workshop on Performance Engineering of Computer and Telecommunications Systems, Bradford, UK.
  • Gilmore S., Hillston J and Holton D.R. (1996): "From SPA models to programs", Proceedings of PAPM 96.
  • Evans A.S., Holton D.R., Lai L.M. and Watson P. (1996): "A Comparison of Formal Real-Time Specification Languages", Proceedings of the 1st Northern Formal Methods Workshop, Bradford, UK.
  • Eaglestone B., Holton D.R. and Rold L. (1996): "GENREG: A Historical Data Model based on Event Graphs", Proceedings of the 7th International Conference on Database and Expert Systems Applications (DEXA '96).
  • Bertolissi E. and Holton D.R. (1995): "Combining Schema Theory with Fuzzy-Logic to Control a Mobile Robot", Intelligent Autonomous Systems.
  • Holton D.R., McKeever J.D. and McKeag R.M. (1993): "Experiences of the Rigorous Development of a Parallel Program", Proceedings of The EuroMicro Workshop on Parallel and Distributed Processing.
  • McKeever J.D., Holton D.R. and McKeag R.M. (1991): "Transputers in a Robot Programming and Control Environment", Proceedings of the 1991 EuroMicro conference.
  • Holton D.R., McKeever J.D. and McKeag R.M. (1990): "Formal Description Techniques in Robot Programming", Proceedings of the IEE colloquium on CASE tools for Critical Systems, London.

Research Reports +

  • Holton D.R. (2008): "Implementing pi-calculus style actions", Research Report, University of Bradford.
    For more information see: http://www.comp.brad.ac.uk/~drwholto/implementing-pi.pdf
  • Wu B. and Holton D.R. (2000): "A weakest precondition semantics for C", Research Report, University of Bradford.
  • Wu B., Holton D.R. and Lai L. (2000): "The refinement laws for an integrated refinement calculus", Research Report, University of Bradford.
  • Holton D.R. (1995): "Defining New Combinators for PEPA", Research Report, University of Bradford.
  • Holton D.R. and Carroll R.P. (1994): "The Optimal Translation of Cartesian Trajectories to Joint Space", Research Report, The University of Aberdeen.
Profile last updated on: 04-02-2016

Upcoming events

View all events »