Publications
2010
Reid, D., Millar, C., Roy, S. and Asenov, A. (2010) Understanding LER-Induced MOSFET V_{T} Variability—Part I: Three-Dimensional Simulation of Large Statistical Samples. IEEE Transactions on Electron Devices, 57 (11). pp. 2801-2807. ISSN 0018-9383
Birkin, M. et al. (2010) The elements of a computational infrastructure for social simulation. Royal Society of London Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368 (1925). pp. 3797-3812. ISSN 1364-503X
McCafferty, S., Doherty, T. and Sinnott, R.O. (2010) E-infrastructures supporting research into depression, self-harm and suicide. Royal Society of London Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368 (1925). pp. 3845-3858. ISSN 1364-503X
Walker, A.W., Sinnott, R.O., Stewart, G., Hilder, J.A. and Tyrell, A.M. (2010) Optimizing electronic standard cell libraries for variability tolerance through the nano-CMOS grid. Royal Society of London Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368 (1925). pp. 3967-3981. ISSN 1364-503X
Asenov, A., Reid, D., Millar, C., Roy, S., Roy, G., Sinnott, R., Stewart, G. and Stewart, G. (2010) Enabling Cutting-Edge Semiconductor Simulation through Grid Technology. Lecture notes in computer science: large-scale scientific computing, 5910 . Springer-Verlag, Berlin. ISBN 0302-9743 Item not available online.
Sinnott, R.O. et al. (2010) E-infrastructure support for nanoCMOS device and circuit simulations. In: Hamza, M.H. (ed.) Proceedings of the Conference on Parallel and Distributed Computing and Networks, Innsbruck, Austria, 16-18th February 2010. ACTA Press, Anaheim, USA. ISBN 9780889868342
2009
Davenhall, C. et al. (2009) Data management of nanometre scale CMOS device simulations. In: 5th International Digital Curation Conference, 2-4 Dec 2009, London, UK.
Muhammad, J and Sinnott, R.O. (2009) Policy-driven patch management for distributed environments. In: Proceedings of the Third International Conference on Network and System Security, Gold Coast, Australia, 19-21 October 2009. IEEE Computer Society, Los Alamitos, USA, pp. 158-163. ISBN 9781424450879
Sinnott, R.O. et al. (2009) Multi-level simulations to support nanoCMOS electronics research. In: 2009 ASME Design Engineering Technical Conferences and Computers and Information in Engineering Conference DETC2009, August 30-September 2, 2009, San Diego, California, USA. American Society of Mechanical Engineers, New York, USA. ISBN 9780791838563
Stell, A.J. et al. (2009) Federating distributed clinical data for the prediction of adverse hypotensive events. Royal Society of London Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 367 (1898). pp. 2679-2690. ISSN 1364-503X
Sinnott, R.O. and Doherty, T. and Gray, N. and Lusted, J. (2009) Semantic security: specification and enforcement of semantic policies for security-driven collaborations. Studies in Health Technology and Informatics, 147 . pp. 201-211. ISSN 0926-9630<
Tan, K.L.L. et al. (2009) Enabling quantitative data analysis through e-infrastructures. Social Science Computer Review . ISSN 0894-4393< (In Press)
Jiang, J. and Sinnott, R.O. and Stell, A. and Watt, J. and Ahmed, F. (2009) Towards a virtual research environment for paediatric endocrinology across Europe. In: Cappello, F. and Wang, C.L. and Buyya, R. (eds.) 9th IEEE/ACM International Symposium on Cluster Computing and the Grid CCGrid 2009, Shanghai, China, May 18-21, 2009. IEEE Computer Society, Los Alamitos, USA, pp. 496-501. ISBN 9781424439355
Piper, I. et al. (2009) The brain monitoring with information technology (BrainIT) collaborative network: EC feasibility study results. Acta Neurochirurgica, 102 . pp. 217-221. ISSN 0065-1419
Sinnott, R.O. (2009) Grid security. In: Wang, L. and Jie, W. and Chen, J. (eds.) Grid Computing: Infrastructure, Service, and Applications. CRC Press, Boca Raton, USA, pp. 307-334. ISBN 9781420067668
Sinnott, R.O. and Ajayi, O. and Stell, A.J. (2009) Data privacy by design: digital infrastructures for clinical collaborations. In: Majkic, Z. and Banerjee, R. and Zegzhda, D.P. and Wang, G. (eds.) Proceedings of the International Conference on Information Security and Privacy (ISP-09) Orlando, Florida, USA, July 13-16, 2009. International Society for Research in Science and Technology , Worthington, OH, USA. ISBN 9781606510124
Sinnott, R.O. and Doherty, T. and Jiang, J. and McCafferty, S. and Stell, A. and Watt, J. (2009) Security-oriented portals for the life sciences. In: First International Workshop on Portals for Life Sciences, 14-15 Sept 2009, Edinburgh, UK.
Sinnott, R.O. and Piper, I. (2009) E-infrastructures fostering multi-centre collaborative research into the intensive care management of patients with brain injury. In: Cannataro, M. (ed.) Handbook of Research on Computational Grid Technologies for Life Sciences, Biomedicine and Healthcare. IGI Global, Hershey, PA, pp. 494-512. ISBN 9781605663746
Stell, A.J. and Sinnott, R.O. and Ajayi, O. and Jipu, J. (2009) Designing privacy for scalable electronic healthcare linkage. In: International Conference on Computational Science and Engineering. CSE '09. Vancouver, Canada; 29-31 Aug. 2009. IEEE Computer Society, Los Alamitos, USA, pp. 330-336. ISBN 9781424453344
Stell, A.J. and Sinnott, R.O. and Jiang, J. (2009) A clinical grid infrastructure supporting adverse hypotensive event prediction. In: Cappello, F. and Wang, C.L. and Buyya, R. (eds.) 9th IEEE/ACM International Symposium on Cluster Computing and the Grid CCGrid 2009, Shanghai, China, May 18-21, 2009. IEEE Computer Society, Los Alamitos, USA, pp. 508-513. ISBN 9781424439355
Watt, J.P. and Sinnott, R.O. and Jiang, J. and Doherty, T. and Higgins, C. and Koutroumpas, M. (2009) Tool support for security-oriented virtual research collaborations. In: Liao, X. (ed.) ISPA 2009 : 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications: Proceedings, 9-12 August 2009, Chengdu, Sichuan, China. IEEE Computer Society, Los Alamitos, USA, pp. 419-424. ISBN 9780769537474
2008
Bayliss, C. and Breslin, C. and Clark, R. and Johnson, B. and Mackay, S. and Sinnott, R.O. (2008) The drug discovery portal: secure matchmaking and collaboration for biologists and chemists. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Sinnott, R.O. et al. (2008) Supporting security-oriented, inter-disciplinary research: crossing the social, clinical and geospatial domains. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Watt, J. and Sinnott, R.O. and Doherty, T. and Jiang, J. (2008) Portal-based access to advanced security infrastructures. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Ajayi, O. and Sinnott, R.O. and Stell, A.J. (2008) Blind data aggregation from distributed, protected sources: the future model for security-oriented collaborations. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Bayliss, C. and Sinnott, R.O. (2008) A functional and performance-oriented comparison of AFS and SRB. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Harbulot, B. et al. (2008) A resource-oriented data management architecture for nanoCMOS electronics. In: UK e-Science All Hands Meeting, 8-11 Sept 2008, Edinburgh, UK.
Ajayi, O. and Sinnott, R.O. and Stell, A. (2008) Towards decentralised security policies for e-health collaborations. In: The Second International Conference on Emerging Security Information, Systems and Technologies SECURWARE 2008, August 25-31 2008, Cap Esterel, France .
Liu, X. and Ajayi, O. and Gu, X. and Gilbert, D. and Jiang, J. and Sinnott, R.O. (2008) BioNessie - a grid enabled biochemical network simulator. In: HealthGrid 2008 Conference, 2-4 June 2008, Chicago, USA.
Sinnott, R.O. and Ajayi, O. and Jiang, J. and Stell, A.J. and Watt, J. (2008) Supporting grid-based clinical trials in Scotland. Health Informatics Journal, 14 (2). pp. 79-93. ISSN 1460-4582
Sinnott, R.O. and Ajayi, O. and Stell, A. and Young, A. (2008) Towards a virtual anonymisation grid for unified access to remote clinical data. In: HealthGrid 2008 Conference, 2-4 June 2008, Chicago, USA.
Sinnott, R.O. and McCafferty, S. and Stell , A.J. and Watt, J.P. (2008) E-Infrastructures for clinical epidemiological studies across Scotland. In: Proceedings of e-Society Conference, 9-12 Apr 2008, Algarve, Portugal.
Stell, A. and Sinnott, R.O. and Ajayi, O. (2008) Technical challenges in leveraging distributed clinical data. In: Telehealth and Assistive Technologies 2008, 16-18 April 2008, Baltimore, USA.
Ajayi, O. and Sinnott, R.O. and Stell, A. (2008) Dynamic trust negotiation for flexible e-health collaborations. In: Mardi Gras Conference 2008, 30 January - 2 February 2008, Baton Rouge, USA.
Sinnott, R.O. and Muhammad, J. and Yuxiang, W. (2008) Deployment of grids through integrated configuration management. In: Burkhart, H. (ed.) Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks : as part of the 26th IASTED International Multi-Conference on Applied Informatics: February 12-14, 2008, Innsbruck, Austria. ACTA Press. ISBN 9780889867130
Stell, A. and Sinnott, R.O. and Ajayi, O. (2008) Supporting nationwide e-clinical trials and studies. In: Mardi Gras Conference 2008, 30 January - 2 February 2008, Baton Rouge, USA.
Stell, A.J. and Sinnott, R.O. and Ajayi, O. (2008) Supporting UK-wide e-clinical trials and studies. In: Katz, D.S. and Lee, C. and Kosar, T. and Jha, S. and Rana, O. (eds.) Proceedings of the 15th ACM Mardi Gras Conference : January 29-February 3, 2008, Baton Rouge, Louisiana. Association for Computing Machinery, New York. ISBN 9781595938350
Liu, X. and Jiang, J. and Ajayi, O. and Gu, X. and Gilbert, D. and Sinnott, R.O. (2008) BioNessie - a grid enabled biochemical networks simulation environment. Studies in Health Technology and Informatics, 138 . pp. 147-157. ISSN 0926-9630<
Sinnott, R.O. et al. (2008) Advanced security for virtual organizations: the pros and cons of centralized vs decentralized security models. In: Priol, T. and Lefevre, L. and Buyya, R. (eds.) CCGRID 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid : proceedings : 19-22 May, 2008, Lyon, France. IEEE Computer Society, Los Alamitos, USA, pp. 106-113. ISBN 9780769531564
Sinnott, R.O. and Doherty, T. and Martin, D. and Millar, C. and Stewart, G. and Watt, J. (2008) Supporting security-oriented, collaborative nanoCMOS electronics research. Lecture Notes in Computer Science, 5101 . pp. 96-105. ISSN 0302-9743<
Turner, K.J. et al. (2008) Grid computing for social science. In: Putnik, G. and Cruz-Cunha, M.M. (eds.) Encyclopedia of Networked and Virtual Organizations. IGI Global, Hershey, PA, pp. 643-651. ISBN 9781599048857
2007
Sinnott, R (2007) Supporting Grid Based Clinical Trials in Scotland. Health Informatics Journal Special Issue On Integrated Health Records .
Watt, J. et al. (2007) Federated authentication and authorisation for e-science. In: APAC Conference and Exhibition, 8-12 Oct 2007, Perth, Australia.
Stell, A.J. and Sinnott, R.O. and Ajayi, O. (2007) Grid infrastructures supporting paediatric endocrinology across Europe. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham, UK, 10th-13th September 2007. National e-Science Centre, Edinburgh. ISBN 9780955398834
Watt, J. and Sinnott, R.O. and Jiang, J. (2007) The GLASS project: supporting secure shibboleth-based single sign-on to campus resources. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham, UK, 10th-13th September 2007. National e-Science Centre, Edinburgh. ISBN 9780955398834
Sinnott, R.O. and Ajayi, O. and Jiang, J. and Stell, A.J. and Watt, J. (2007) User-oriented security supporting inter-disciplinary life science research across the grid. New Generation Computing, 25 (4). pp. 339-354. ISSN 0288-3635<
Lambert, P. and Tan, L. and Turner, K. and Gayle, V. and Sinnott, R.O. and Prandy, K. (2007) Data curation standards and social science occupational information resources. International Journal of Digital Curation, 2 (1). pp. 73-91. ISSN 1746-8256
Sinnott, R.O. and Bayliss, C. and Jiang, J. (2007) Security-oriented data grids for microarray expression profiles. Studies in Health Technology and Informatics, 126 . pp. 67-76. ISSN 0926-9630<
Sinnott, R.O. (2007) From access and integration to mining of secure genomic data sets across the grid. Future Generation Computer Systems, 23 (3). pp. 447-456. ISSN 0167-739X
Ajayi, O. and Sinnott, R.O. and Stell, A.J. (2007) Trust realisation in collaborative clinical trials systems. In: Bryant, J. (ed.) Current perspectives in healthcare computing : conference, Harrogate, 19-21 March 2007. British Computer Society, Swindon. ISBN 9780954697167
2006
Lambert, P. and Tan, L. and Turner, K. and Gayle, V. and Sinnott, R.O. and Prandy, K. (2006) Data curation standards and the messy world of social science occupational information resources. In: 2nd International Digital Curation Conference, 21-22 Nov 2006, Glasgow, UK.
Sinnott, R.O. and Ajayi, O. and Jiang, J. and Stell, A.J. and Watt, J. (2006) User oriented access to secure biomedical resources through the grid. In: Life Science Grid Workshop, 13-14 Oct 2006, Yokohama, Japan.
Sinnott, R.O. and Bayliss, C. (2006) Towards data grids for microarray expression profiles. In: Life Science Grid Workshop, 13-14 Oct 2006, Yokohama, Japan.
Stell, A.J. and Sinnott, R.O. and Ajayi, O. (2006) Secure, reliable and dynamic access to distributed clinical data. In: Life Science Grid Workshop, 13-14 Oct 2006, Yokohama, Japan.
Sinnott, R.O. (2006) Towards more accurate real time testing. In: 12th International Conference on Information Systems Analysis and Synthesis, 16-19 July 2006, Orlando, Florida.
Sinnott, R.O. and Stell, A.J. and Watt, J. (2006) Advanced security infrastructures for grid education. In: 10th World Multi-conference on Systemics, Cybernetics and Informatics, 16-19 July 2006, Orlando, USA.
Sinnott, R.O. and Stell, A.J. and Ajayi, O. (2006) Initial experiences in developing e-health solutions across Scotland. In: Workshop on Integrated Health Records: Practise and Technology, 9-10 March 2006, Edinburgh, Scotland.
Sinnott, R.O. (2006) Development of usable grid services for the biomedical community. In: Workshop on Designing for Usability in e-Science, 26-27 Jan 2006, Edinburgh, Scotland.
Sinnott, R (2006) Grid Computing for Virtual Organisations: An e-Social Science Case Study,.
Sinnott, R.O. and Ajayi, O. and Stell, A.J. and Watt, J. and Jiang, J. and Koetsier, J. (2006) Single sign-on and authorization for dynamic virtual organizations. International Federation for Information Processing, 224 . pp. 555-564. ISSN 1571-5736
Sinnott, R.O. et al. (2006) Meeting the design challenges of nano-CMOS electronics: an introduction to an upcoming EPSRC pilot project. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006 : Nottingham, UK, 18th-21st September. National e-Science Centre, Edinburgh. ISBN 9780955398810
Sinnott, R.O. and Bayer, M. (2006) Controlling the chaos: developing post-genomic grid infrastructures. In: Tan, T.W. and Arzberger, P. and Konagaya, A. (eds.) Grid Computing in Life Sciences: LSGRID2005, The Second International Life Science Grid Workshop, Biopolis, Singapore, 5-6 May 2005. World Scientific, Singapore. ISBN 9789812703781
Sinnott, R.O. and Stell, A.J. and Ajayi, O. (2006) Development of grid frameworks for clinical trials and epidemiological studies. Studies in Health Technology and Informatics, 120 . pp. 117-130. ISSN 0926-9630<
Stell, A.J. and Sinnott, R.O. and Ajayi, O. (2006) Secure federated data retrieval in clinical trials. In: Pinciroli, F. (ed.) Proceedings of the second IASTED International Conference on Telehealth, July 3-5, 2006, Banff, Alberta, Canada. ACTA Press, Anaheim, USA. ISBN 9780889865716
Stell, A.J. and Sinnott, R.O. and Ajayi, O. (2006) Supporting the clinical trial recruitment process through the grid. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006 : Nottingham, UK, 18th-21st September. National e-Science Centre, Edinburgh. ISBN 9780955398810
Watt , J. and Koetsier, J. and Sinnott, R.O. and Stell, A.J. (2006) DyVOSE project: experiences in applying privilege management infrastructures. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006 : Nottingham, UK, 18th-21st September. National e-Science Centre, Edinburgh. ISBN 9780955398810
2005
Bayer, M. and Sinnott, R.O. (2005) Distributed BLAST in a grid computing context. Lecture Notes in Computer Science, 3695 . pp. 241-252. ISSN 0302-9743<
Sinnott, R (2005) Grid Security: Middleware, Practices and Outlook.
Sinnott, R (2005) Large-scale data sharing in the life sciences: Data standards, incentives, barriers and funding models (The 'Joint Data Standards Study').
Sinnott, R and Bayer, M and Houghton, D and Berry, D and Ferrier, M (2005) Development of a grid infrastructure for functional genomics. Grid Computing In Life Science, 3370 . pp. 125-139.
Sinnott, R.O. and Bayer, M. and Houghton, D. and Berry, D. and Ferrier, M. (2005) Development of a grid infrastructure for functional genomics. Lecture Notes in Computer Science, 3370 . pp. 125-139. ISSN 0302-9743<
Sinnott, R.O. and Houghton, D. (2005) Comparison of data access and integration technologies in the life science domain. In: Cox, S.J. and Walker, D.W. (eds.) Proceedings of the UK e-Science All Hands Meeting 2005: Nottingham, UK : 19th - 22nd September 2005. Engineering and Physical Sciences Research Council, Swindon. ISBN 9781904425557
Sinnott, R.O. and Stell, A.J. and Chadwick, D.W. and Otenko, O. (2005) Experiences of applying advanced grid authorisation infrastructures. Lecture Notes in Computer Science, 3470 . pp. 265-274. ISSN 0302-9743<
Sinnott, R.O. and Stell, A.J. and Watt, J. (2005) Experiences in teaching grid computing to advanced level students. In: IEEE International Symposium on Cluster Computing and the Grid 2005 (CCGrid 2005), 9-12 May 2005, Cardiff, Wales.
Watt, J. and Sinnott, R.O. and Stell, A.J. (2005) Dynamic privilege management infrastructures utilising secure attribute exchange. In: Cox, S.J. and Walker, D.W. (eds.) Proceedings of the UK e-Science All Hands Meeting 2005: Nottingham, UK : 19th - 22nd September 2005. Engineering and Physical Sciences Research Council, Swindon. ISBN 9781904425557
2004
Sinnott, R.O. (2004) The formal, tool supported development of real time systems. In: SEFM 2004: Proceedings of the Second International Conference on Software Engineering and Formal Methods: September 28-30, 2004, Beijing, China. IEEE Computer Society, Los Alamitos, USA. ISBN 9780769522227
Sinnott, R.O. et al. (2004) Grid services supporting the usage of secure federated, distributed biomedical data. In: Proceedings of UK e-Science All Hands Meeting, 31 Aug - 3 Sept 2004, Nottingham, UK.
Sinnott, R.O. and Chadwick, D.W. (2004) Experiences of using the GGF SAML Authz interface. In: Proceedings of UK e-Science All Hands Meeting, 31 Aug - 3 Sept 2004, Nottingham, England.
2003
Sinnott, R (2003) Security Focused Federation of Distributed Biomedical Data.
Sinnott, R.O. (2003) Architecting specifications for test case generation. In: Cerone, A. and Lindsay, P.A. (eds.) First International Conference on Software Engineering and Formal Methods Proceedings: Brisbane, Australia, September 22 to 27, 2003. IEEE Computer Society, Los Alamitos, USA, pp. 24-32. ISBN 0769519490
2001
Sinnott, R.O. (2001) Real-time systems development with SDL and next generation validation tools. In: IEEE Real-Time Embedded System Workshop, 3 Dec 2001, London, England.
Sinnott, R.O. and Hogrefe, D. (2001) Finite state machine based SDL. In: Bowman, H. and Derrick, J. (eds.) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 55-76. ISBN 9780521771849
Sinnott, R.O. and Turner, K.J. (2001) Specification architectures. In: Bowman, H. and Derrick, J. (eds.) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 427-450. ISBN 9780521771849
2000
Dragan, D. and Gringel, T. and Hall, J. and Sinnott, R.O. and Tschichholz, M. and Vortisch, W. (2000) Integrated trouble management to support service quality assurance in a multi-provider context. Lecture Notes in Computer Science, 1774 . pp. 117-132. ISSN 0302-9743<
Sinnott, R.O. and Gringel, T. and Tschichholz, M. and Vortisch, W. (2000) Supporting service quality assurance via trouble management. In: Neuman de Souza, J. and Boutaba, R. (eds.) IEEE/IFIP TC6-WG6.4 & WG6.6 Third International Conference on Management of Multimedia Networks and Services (MMNS'2000), September 25-28, 2000, Fortaleza, Ceará, Brazil. International federation for information processing (54). Kluwer Academic, Boston, USA, pp. 193-206. ISBN 9780792379621
1999
Kolberg, M. and Sinnott, R.O. and Magill, E.H. (1999) Experiences modelling and using object-oriented telecommunication service frameworks in SDL. Computer Networks, 31 (23-24). pp. 2577-2592. ISSN 1389-1286
Olsen, A. et al. (1999) The pros and cons of using SDL for creation of distributed services. Lecture Notes in Computer Science, 1597 . pp. 342-354. ISSN 0302-9743<
Kolberg, M. and Sinnott, R.O. and Magill, E.H. (1999) Engineering of interworking TINA-based telecommunication services. In: 1999 Telecommunications Information Networking Architecture Conference Proceedings : TINA '99 : 12-15 April 1999, Turtle Bay Hilton Resort, Oahu, Hawaii, USA. IEEE Computer Society, New York, USA, pp. 205-213. ISBN 9780780357853
Sinnott, R.O. (1999) Modelling dynamic distributed systems in LOTOS. In: Spies, K. (ed.) Formale Beschreibungstechniken für Verteilte Systeme: 9. GI-ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag, Munich, Germany, pp. 203-212. ISBN 9783896759184
Sinnott, R.O. (1999) Specifying aspects of multimedia in LOTOS. In: Verma, B. (ed.) Proceedings: Third International Conference on Computational Intelligence and Multimedia Applications: ICCIMA '99, September 23-26, 1999, New Delhi, India. IEEE Computer Society, Los Alamitos, USA, pp. 326-330. ISBN 9780769503004
Sinnott, R.O. (1999) Specifying multimedia configurations in Z. In: Verma, B. (ed.) Proceedings: Third International Conference on Computational Intelligence and Multimedia Applications: ICCIMA '99, September 23-26, 1999, New Delhi, India. IEEE Computer Society, Los Alamitos, USA, pp. 331-335. ISBN 9780769503004
Sinnott, R.O. and Kolberg, M. (1999) Creating telecommunication services based on object-oriented frameworks and SDL. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99): Proceedings, 2-5 May 1999, Saint-Malo, France. IEEE Computer Society, Los Alamitos, USA, pp. 93-102. ISBN 9780769502076
Sinnott, R.O. and Kolberg, M. (1999) Engineering telecommunication services with SDL. In: Ciancarini, P. and Fantechi, A. and Gorrieri, R. (eds.) IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS): February 15-18, 1999, Florence, Italy. International federation for information processing (10). Kluwer Academic, Boston, USA, pp. 187-204. ISBN 9780792384298
Sinnott, R.O. and Solarski, M. and Durmosch, K. and Hafezi, A. (1999) Reference integrity in dynamic CORBA components. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems: October 19-22, 1999, Swiss Federal Institute of Technology (EPF), Lausanne, Switzerland. IEEE Computer Society, Los Alamitos, USA. ISBN 9780769502908
1998
Sinnott, R.O. (1998) Frameworks: the future of formal software development? Computer Standards & Interfaces , 19 (7). pp. 375-385. ISSN 0920-5489<
Sinnott, R.O. and Kolberg, M. (1998) Business-oriented development of telecommunication services. In: OOPSLA '98 Conference Proceedings, Vancouver, British Columbia, October 18-22, 1998: Conference on Object-Oriented Programming, Systems, Languages, and Applications. Association for Computing Machinery, Reading, USA, pp. 237-246. ISBN 9780201309898
1997
Sinnott, R.O. and Turner, K.J. (1997) Applying the architectural semantics of ODP to develop a trader specification. Computer Networks and ISDN Systems, 29 (4). pp. 457-471. ISSN 0169-7552<
Sinnott, R.O. and Turner, K.J. (1997) Specifying ODP computational objects in Z. In: Formal Methods for Open Object-based Distributed Systems. Springer, London, pp. 375-390. ISBN 9780412797705
Sinnott, R.O. and Turner, K.J. (1997) Type checking in open distributed system: a complete model and its Z specification. In: Rolia, J. and Slonim, J. and Botsford, J. (eds.) Open Distributed Processing and Distributed Platforms : proceedings of the IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platforms : 26-30 May 1997, Toronto, Canada. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), London, pp. 85-98. ISBN 0412812304
1995
Sinnott, R.O. and Turner, K.J. (1995) Applying formal methods to standard development: the open distributed processing experience. Computer Standards & Interfaces , 17 (5-6). pp. 615-630. ISSN 0920-5489<
1994
Sinnott, R.O. and Turner, K.J. (1994) Modelling ODP viewpoints. In: Workshop on Precise Behavioural Specifications on Object-Oriented Information Modelling, Portland, Oregon.