UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (113)

2009 2008 2007 2006 2005 2004 2003 2001 2000 1999 1998 1997 1995 1994 1993

2009

Enabling Cutting-edge Semiconductor Simulation through Grid Technology
Reid,D.
Sinnott,R.O. Millar,C. Roy,G. Roy,S. Stewart,G. Asenov,A. Journal of the Philosophical Transactions of the Royal Society A, May 2009. [More Details].

A Clinical Grid Infrastructure Supporting Adverse Hypotensive Event Prediction
Stell,A.J. Sinnott,R.O. Jiang,J. Piper,I. HealthGrid workshop, CCGrid 2009, Shanghai, China, May 2009. [More Details].

Towards a Virtual Research Environment for Paediatric Endocrinology across Europe
Jiang,J. Sinnott,R.O. Stell,A.J. Ahmed,F. Hiort,O. HealthGrid workshop, CCGrid 2009, Shanghai, China, May 2009. [More Details].

Federating Distributed Clinical Data for the Prediction of Adverse Hypotensive Events
Stell,A.J. Sinnott,R.O. Piper,I. Jiang,J. Donald,R. Journal of the Philosophical Transactions of the Royal Society A, May 2009 [More Details].

Semantic Security: Specification and Enforcement of Semantic Policies for Security-driven Collaborations
Sinnott,R.O. Doherty,T. Gray,N. Lusted,J. Proceedings of 7th HealthGrid Conference, Berlin, Germany, July 2009. [More Details].

Architectural Design Patterns for Security-oriented Workflows in the Social Science Domain
Sinnott,R.O. Hussain,S. Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details].

Supporting Security-oriented, Inter-disciplinary Research: Crossing the Social, Clinical and Geospatial Domains
Sinnott,R.O. Doherty,T. Higgins,C. Lambert,P. McCafferty,S. Stell,A.J. Turner,K.J. Watt,J. Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details].

Spatial Data e-Infrastructure
Higgins,C. Sinnott,R.O. Koutroumpas,M. Watt,J. Hume,A. Turner,A.G.D. Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details].

Enabling Quantitative Data Analysis through e-Infrastructures
Tan,L. Lambert,P. Turner,K.J. Blum,J. Bowes,A. Bell,D. Gayle,V. Jones,S. Maxwell,M. Sinnott,R.O. Warner,G. Social Science Computer Review, January 2009 [More Details].

Monitoring in Neurocritical Care
Enblad,P. Piper,I. Sinnott,R.O. International Journal of Information Processing, Data Acquisition and Storage, Computers, Engineering and the future (Section VII), eds. Le Roux, Levine, Kofke, 2009. [More Details].

Data Privacy by Design: Digital Infrastructures for Clinical Collaborations
Sinnott,R.O. Ajayi,O. Stell,A.J. International Conference on Security and Privacy, Orlando, USA, July 2009. [More Details].

2008

Supporting Nationwide e-Clinical Trials and Studies
Stell,A.J. Sinnott,R.O. Ajayi,O. 15th Mardi Gras Conference, Baton Rouge, USA, February 2008 [More Details].

Dynamic Trust Negotiation For Flexible e-Health Collaborations
Ajayi,O. Sinnott,R.O. Stell,A.J. 15th Mardi Gras Conference, Baton Rouge, USA, February 2008. [More Details].

E-Infrastructures for Clinical Epidemiological Studies Across Scotland
Sinnott,R.O. McCafferty,S. Stell,A.J. Watt,J. Proceedings of e-Society Conference 2008, Algarve, Portugal, April 2008 [More Details].

Supporting Security-oriented Collaborative nanoCMOS Electronics e-Research
Sinnott,R.O. Millar,C. Stewart,G. Doherty,T. Martin,D. Watt,J. Proceedings of International Conference on Computational Science, Krakow, Poland, June 2008. [More Details].

Secure, Performance-Oriented Data Management for nanoCMOS Electronics
Sinnott,R.O. Bayliss,C. Millar,C. Stewart,G. Roy,G. Roy,S. Reid,D. Harbulot,B. Davenhall,C. Asenov,A. Watt,J. Proceedings of IEEE e-Science 2008 Conference, Indiana, USA, December 2008. IEEE [More Details].

Advanced Security for Virtual Organizations: Exploring the Pros and Cons of Centralized vs Decentralized Security Models
Sinnott,R.O. Chadwick,D.W. Doherty,T. Martin,D. Stell,A.J. Stewart,G. Su,L. Watt,J. 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), May 2008, Lyon, France. IEEE [More Details].

Technical Challenges in Leveraging Distributed Clinical Data
Stell,A.J. Sinnott,R.O. Ajayi,O. Fourth International Conference on Telehealth and Assistive Technologies, Baltimore, Maryland, USA, April 2008 [More Details].

Towards a Virtual Anonymisation Grid for Unified Access to Remote Clinical Data
Sinnott,R.O. Ajayi,O. Stell,A.J. Young,A. Proceedings of the 6th International HealthGrid conference, Chicago, USA, June 2008. [More Details].

BioNessie - A Grid Enabled Biochemical Network Simulator
Liu,X. Ajayi,O. Gu,X. Gilbert,D. Jiang,J. Sinnott,R.O. Proceedings of the 6th International HealthGrid conference, Chicago, USA, June 2008. [More Details].

Technical Challenges in Leveraging Distributed Clinical Data
Stell,A.J. Sinnott,R.O. Ajayi,O. Proceedings of 4th International Conference on Telehealth, Maryland, USA, April 2008. [More Details].

Supporting Statistical Semiconductor Device Analysis using EGEE and OMII-UK Middleware
Reid,D. Millar,C. Asenov,A. Roy,S. Roy,G. Sinnott,R.O. Stewart,G. Proceedings of EGEE User Conference, Clermont-Ferrand, February 2008. [More Details].

Meeting the Design Challenges of nano-CMOS Electronics
Millar,C. Asenov,A. Roy,G. Roy,S. Cumming,D. Berry,D. Pickles,S. Furber,S. Murray,A. Tyrrell,A. Zwolinski,M. Sinnott,R.O. Proceedings of Design Automation and Test in Europe: Workshop on Impact of Process Variability on Design and Test, Munich, Germany, March 2008. [More Details].

Towards Decentralised Security Policies for e-Health Collaborations
Ajayi,O. Sinnott,R.O. Stell,A.J. Proceedings of 2nd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, Cap Esterel, France, August 2008. [More Details].

e-Infrastructures Fostering Multi-Centre Collaborative Research into the Intensive Care Management of Patients with Brain Injury
Sinnott,R.O. Piper,I. Handbook of Research on Computational Grid Technologies for Life Sciences, Biomedicine and Healthcare, IGI Press, November 2008 [More Details].

Deployment of Grids through Integrated Configuration Management
Sinnott,R.O. Muhammad,J. Wu,Y. 26th International Conference on Parallel and Distributed Computing and Networks (PDCN), Innsbruck, Austria, February 2008 [More Details].

Grid Security
Sinnott,R.O. National Centre for e-Social Science book, Grid Computing: Technology, Service and Application, CRC Press, November 2008. [More Details].

Integrating Security Solutions to Support nanoCMOS Electronics Research
Sinnott,R.O. Asenov,A. Bayliss,C. Davenhall,C. Doherty,T. Harbulot,B. Jones,M. Martin,D. Millar,C. Roy,G. Roy,S. Stewart,G. Watt,J. IEEE International Symposium on Parallel and Distributed Processing Systems with Applications, Sydney Australia, December 2008. [More Details].

Meeting the Design Challenges of nanoCMOS Electronics through Secure, Large-scale Simulation and Data Management,
Sinnott,R.O. Asenov,A. Berry,D. Harbulot,B. Millar,C. Reid,D. Roy,G. Roy,S. Stewart,G. EGEE User Conference, Istanbul, Turkey, October 2008. [More Details].

Supercomputing at Work in the nanoCMOS Electronics Domain
Sinnott,R.O. Asenov,A. Millar,C. ERCIM News No. 74 - Supercomputing at Work, July 2008. [More Details].

2007

Data Curation Standards and Social Science Occupational Information Resources
Lambert,P. Turner,K.J. Tan,L. Gayle,V.
Sinnott,R.O. Prandy,K. International Journal of Digital Curation, November 2007. [More Details].

Security-oriented Data Grids for Microarray Expression Profiles
Sinnott,R.O. Bayliss,C. Jiang,J. Proceedings of the HealthGrid 2007 Conference, Geneva, Switzerland, April 2007 IOS Press [More Details].

Supporting Grid Based Clinical Trials in Scotland
Sinnott,R.O. Ajayi,O. Stell,A.J. Health Informatics Journal Special Issue on Integrated Health Records, November 2007 Sage [More Details].

Formalising Dynamic Trust Negotiations in Decentralised Collaborative e-Health Systems
Ajayi,O. Sinnott,R.O. Stell,A.J. 2nd International Conference on Availability, Reliability and Security, (ARES’07), Vienna, Austria, April, 2007. [More Details].

Security Oriented e-Infrastructures Supporting Neurological Research and Clinical Trials
Stell,A.J. Sinnott,R.O. Ajayi,O. 2nd International Conference on Availability, Reliability and Security, (ARES’07), Vienna, Austria, April, 2007. [More Details].

Trust Realisation in Multi-domain Collaborative Environments
Ajayi,O. Sinnott,R.O. Stell,A.J. 6th IEEE International Conference on Computer and Information Science (ICIS 2007), Melbourne, Australia, July 2007 [More Details].

Meeting the Design Challenges of nano-CMOS Electronics
Asenov,A. Millar,C. Sinnott,R.O. Roy,S. Zwolinski,M. Tyrell,A. Murray,A. Furber,S. Pickles,S. Stewart,G. Cumming,D. Berry,D. Third International Nanotechnology Conference on Communication and Cooperation, Brussels, Belgium, April 2007. [More Details].

Grid Infrastructures for the Electronics Domain: Requirements and Early Prototypes from an EPSRC Pilot Project
Sinnott,R.O. Stewart,G. Asenov,A. Millar,C. Roy,G. Roy,S. Brown,A. Proccedings of the UK e-Science All Hands Meeting, Nottingham, UK, September 2007. [More Details].

The GLASS Project: Supporting Secure Shibboleth-based Single Sign-On to Campus Resources
Watt,J. Sinnott,R.O. Jiang,J. Proceedings of the UK e-Science All Hands Meeting, Nottingham, UK, September 2007. [More Details].

Grid Infrastructures Supporting Paediatric Endocrinology across Europe
Stell,A.J. Sinnott,R.O. Ajayi,O. Proceedings of the UK e-Science All Hands Meeting, Nottingham, UK, September 2007. [More Details].

Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics
Han,L. Sinnott,R.O. Stewart,G. Asenov,A. Roy,S. Roy,G. Millar,C. Berry,D. Proceedings of IEEE e-Science 2007 conference, Bangalore, India [More Details].

User-oriented Security Supporting Inter-disciplinary Life Science Research across the Grid
Sinnott,R.O. Ajayi,O. Jiang,J. Stell,A.J. Watt,J. Special Issue on Life Science Grids, New Generation Computing Journal, May 2007 [More Details].

Data Integration in e-Health: A Domain/Disease Specific Roadmap
Sinnott,R.O. Ure,J. Proctor,R. Martone,M. Porteus,D. Proceedings of the HealthGrid 2007 conference, Geneva, April 2007. IOS Press [More Details].

Federated Authentication and Authorisation for e-Science
Watt,J. Sinnott,R.O. Doherty,T. Martin,D. Jiang,J. Stewart,G. Stell,A.J. Proceedings of APAC 2007 conference, Perth, Australia 2007 [More Details].

Trust Realisation in Collaborative Clinical Trials Systems
Ajayi,O. Sinnott,R.O. Stell,A.J. HealthCare Conference HC2007, Harrogate, England, March 2007 [More Details].

2006

Advanced Security Infrastructures for Grid Education
Sinnott,R.O. Watt,J. Stell,A.J. Chadwick,D.W. The 12th International Conference on Information Systems Analysis and Synthesis (ISAS 2006), Orlando, Florida, July 2006 [More Details].

Towards More Accurate Real-Time Testing
Sinnott,R.O. The 12th International Conference on Information Systems Analysis and Synthesis (ISAS 2006), Orlando, Florida, July 2006 [More Details].

Development of Usable Grid Services for the Biomedical Community
Sinnott,R.O. Workshop on Designing for Usability in e-Science, Edinburgh, January 2006 [More Details].

Grid Computing for Virtual Organisations: An e-Social Science Case Study,
Turner,K.J. Lambert,P. Tan,L. Sinnott,R.O. Bihagen,E. Gayle,V. van Leeuwen,M. Encyclopaedia for Networked and Virtual Organisations, July 2006. [More Details].

Utilising a Grid Enabled Occupational Data Environment
Turner,K.J. Tan,L. Lambert,P. Sinnott,R.O. Prandy,K. Gayle,V. 16th World Congress of the International Sociological Association, August 2006. [More Details].

Distributed Occupational Information Resources Using OGSA-DAI
Tan,L. Lambert,P. Turner,K.J. Sinnott,R.O. Gayle,V. UK e-Science All Hands Meeting, Nottingham UK, September 2006. [More Details].

Meeting the Design Challenges of nanoCMOS Electronics: An Introduction to an EPSRC Pilot Project,
Sinnott,R.O. Asenov,A. Berry,D. Roy,S. Furber,S. Cummings,D. Tyrell,A. Murray,A. Zwolinski,M. Pickles,S. Millar,C. UK e-Science All Hands Meeting, Nottingham UK, September 2006. [More Details].

DyVOSE Project: Experiences in Applying Privilege Management Infrastructures,
Watt,J. Sinnott,R.O. Koetsier,J. Stell,A.J. Proceedings of UK e-Science All Hands Meeting, Nottingham UK, September 2006. [More Details].

Data Curation Standards and the Messy World of Social Science Occupational Information Resources
Sinnott,R.O. Tan,L. Turner,K.J. Lambert,P. Gayle,V. Prandy,K. 2nd International Digital Curation Conference, Glasgow, UK, November 2006. [More Details].

Supporting Decentralized, Security focused Dynamic Virtual Organizations across the Grid
Sinnott,R.O. Watt,J. Koetsier,J. Chadwick,D.W. Otenko,O. Nguyen,T. Proceedings of 2nd IEEE International Conference on e-Science and Grid Computing, Amsterdam, December 2006 [More Details].

Secure, Reliable and Dynamic Access to Distributed Clinical Data
Stell,A.J. Sinnott,R.O. Ajayi,O. Proceedings of Life Science Grid Conference, Yokohama, Japan, October 2006. [More Details].

Towards Data Grids for Microarray Expression Profiles
Sinnott,R.O. Bayliss,C. Proceedings of Life Science Grid Conference, Yokohama, Japan, October 2006. [More Details].

User Oriented Access to Secure Biomedical Resources through the Grid
Sinnott,R.O. Ajayi,O. Stell,A.J. Watt,J.P. Jiang,J. Life Science Grid Conference, Yokohama, Japan, October 2006 [More Details].

Development of Grid Frameworks for Clinical Trials and Epidemiological Studies
Sinnott,R.O. Ajayi,O. Stell,A.J. HealthGrid 2006 Conference, Valencia, Spain, June 2006 [More Details].

Initial Experiences in Developing e-Health Solutions across Scotland
Sinnott,R.O. Stell,A.J. Ajayi,O. Workshop on Integrated Health Records: Practice and Technology, Edinburgh, March 2006. [More Details].

A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education
Watt,J. Sinnott,R.O. Jiang,J. Ajayi,O. Koetsier,J. 6th International Symposium on Cluster Computing and the Grid, CCGrid2006, May 2006, Singapore. [More Details].

From Access and Integration to Mining of Secure Genomic Data Sets across the Grid
Sinnott,R.O. Future Generation of Computer Systems, Special Edition on Life Science Grids for Biomedicine and Bioinformatics [More Details].

Shibboleth-based Access to and Usage of Grid Resources
Sinnott,R.O. Watt,J. Jiang,J. Ajayi,O. Proceedings of IEEE International Conference on Grid Computing, Barcelona, Spain, September 2006. [More Details].

Grid Infrastructures for Secure Access to and Use of Bioinformatics Data: Experiences from the BRIDGES Project
Sinnott,R.O. Stell,A.J. Bayer,M.M. Koetsier,J. The First International Conference on Availability, Reliability and Security (ARES-2006), Vienna, Austria, April, 2006. [More Details].

Secure Federated Data Retrieval in Clinical Trials
Stell,A.J. Sinnott,R.O. Ajayi,O. TeleHealth 2006 Conference, Banff, Canada, July 2006 [More Details].

Single Sign-on and Authorization for Dynamic Virtual Organizations
Sinnott,R.O. Watt,J. Jiang,J. Stell,A.J. Ajayi,O. 7th IFIP Conference on Virtual Enterprises, PRO-VE 2006, Helsinki, Finland, September 2006 Springer [More Details].

Supporting the Clinical Trial Recruitment Process Through the Grid
Sinnott,R.O. Stell,A.J. Ajayi,O. UK e-Science All Hands Meeting, Nottingham, September 2006. [More Details].

2005

Comparison of Data Access and Integration Technologies in the Life Science Domain
Sinnott,R.O. Houghton,D. Proceedings of UK e-Science All Hands Meeting, September 2005, Nottingham, England. [More Details].

Controlling the Chaos: Developing Post-Genomic Grid Infrastructures
Sinnott,R.O. Bayer,M. Proceedings of Life Science Grid Conference (LSGrid2005), May 2005, Singapore. LNCS, Springer [More Details].

Experiences of Applying Advanced Grid Authorisation Infrastructures
Sinnott,R.O. Stell,A.J. Chadwick,D.W. Otenko,O. Proceedings of European Grid Conference (EGC), February 2005, Amsterdam, Holland LNCS, Springer [More Details].

Experiences in Teaching Grid Computing to Advanced Level Students
Sinnott,R.O. Stell,A.J. Watt,J. Proceedings of the CLAG+Grid Edu Workshop, May 2005, Cardiff, Wales IEEE Computer Society Press [More Details].

Advanced Security on Grid-Enabled Biomedical Services
Stell,A.J. Sinnott,R.O. Bayer,M.M. Koetsier,J. Proceedings of UK e-Science All Hands Meeting, September 2005, Nottingham, England. [More Details].

Comparison of Advanced Authorisation Infrastructures for Grid Computing
Stell,A.J. Sinnott,R.O. Watt,J.P. Proceedings of International Conference on High Performance Computing Systems and Applications, Guelph, Canada, May 2005 IEEE [More Details].

Dynamic Privilege Management Infrastructures Utilising Secure Attribute Exchange
Watt,J. Sinnott,R.O. Stell,A.J. Proceedings of the UK e-Science All Hands Meeting, September 2005, Nottingham, England. [More Details].

Grid Security: Middleware, Practices and Outlook
Sinnott,R.O. prepared for The Joint Information Systems Committee for Support for Research, November 2005. [More Details].

Large-scale data sharing in the life sciences: Data standards, incentives, barriers and funding models (The “Joint Data Standards Study”)
Sinnott,R.O. MacDonald,A. Lord,P.W. Ecklund,D. Jones,A. prepared for The Biotechnology and Biological Sciences Research Council, The Department of Trade and Industry, The Joint Information Systems Committee for Support for Research, The Medical Research Council, The Natural Environment Research Council and The Wellcome Trust. [More Details].

Distributed BLAST in a Grid Computing Context
Bayer,M.M. Sinnott,R.O. First International Workshop on Distributed Data Mining in Life Science, Konstanz, Germany, September 2005 [More Details].

2004

Experiences of Using the GGF SAML AuthZ Interface
Sinnott,R.O. Chadwick,D.W. Proceedings of UK e-Science All Hands Meeting, September 2004, Nottingham, England. [More Details].

Development of a Grid Infrastructure for Functional Genomics
Sinnott,R.O. Bayer,M. Houghton,D. Berry,D. Ferrier,M. Life Science Grid Conference (LSGrid 2004), Kanazawa, Japan LNCS, Springer [More Details].

Experiences of Using the GGF SAML AuthZ Interface
Sinnott,R.0. Chadwick,D. To appear in proceedings of UK e-Science All Hands Meeting, September 2004 [More Details].

The Formal, Tool Supported Development of Real Time Systems
Sinnott,R.O. Proceedings of International Conference on Software Engineering and Formal Methods, Beijing, China [More Details].

Grid Services Supporting the Usage of Secure Federated, Distributed Biomedical Data
Sinnott,R.O. Atkinson,M. Bayer,M. Berry,D. Dominiczak,A. Ferrier,M. Gilbert,D. Hanlon,N. Houghton,D. Hunt,E. White,D. Proceedings of UK e-Science All Hands Meeting, 31st August to 3rd September 2004, Nottingham, UK pp 135-138 EPSRC, UK [More Details].

2003

Security Focused Federation of Distributed Biomedical Data
Sinnott,R.O. Proceedings of UK e-Science All Hands Meeting, 4-6 September 2003, Nottingham, England [More Details].

Architecting Specifications for Automated Test Case Generation
Sinnott,R.O. Proceedings of International Conference on Software Engineering and Formal Methods, September 2003, Brisbane Australia pp 24-34 IEEE Computer Society Press [More Details].

2001

Finite State Machine Based SDL
Sinnott,R.O. Hogrefe,D. Chapter 1, Part II of Formal Methods for Object-Oriented Distributed Systems pp 55-76 Cambridge University Press [More Details].

Specification Architectures
Sinnott,R.O. Turner,K.J. Chapter 2, Part VII of Formal Methods for Object-Oriented Distributed Systems pp 427-450 Cambridge University Press [More Details].

Real-Time Systems Development with SDL and Next Generation Validation Tools
Sinnott,R.O. Proceedings of Real Time and Embedded Systems Workshop, 3-6 December 2001, London, England. IEEE Computer Society Press [More Details].

2000

Integrated Trouble Management to Support Service Quality Assurance in a Multi-Provider Context
Sinnott,R.O. Dragan,D. Gringel,T. Hall,J. Tschichholz,M. Vortisch,W. Proceedings of 7th International Conference on Intelligence in Services and Networks, Athens, Greece pp 117-132 LNCS, Springer [More Details].

Supporting Service Quality Assurance via Trouble Management
Sinnott,R.O. Gringel,T. Tschichholz,M. Vortisch,W. Proceedings of Third International Conference on Management of Multimedia Networks and Services 2000, pages 193-206, 2000, Fortaleza - Ceara, Brazil. pp 193-206 LNCS, Springer [More Details].

A TINA/IN Platform for Framework Based Service Creation
Sinnott,R.O. Kolberg,M. Kimbler,K. Proceedings of Intelligent Network Workshop IN 2000, Cape Town, South Africa IEEE Computer Society Press [More Details].

1999

Experiences Modelling and Using Object-Oriented Telecommunication Service Frameworks in SDL
Sinnott,R.O. Kolberg,M. Magill,E. International Journal of Computer and Telecommunications Networking, Volume 31 pp 2577-2592 Elsevier Science [More Details].

Engineering Telecommunication Services with SDL
Sinnott,R.O. Kolberg,M. Proceedings of Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy pp 187-204 IFIP [More Details].

Engineering of Interworking TINA-based Telecommunication Services
Sinnott,R.O. Kolberg,M. Magill,E. Proceedings of Telecommunications Information Networking Architecture Conference, Oahu, Hawaii IFIP [More Details].

The Pros and Cons of Using SDL for Creation of Distributed Services
Sinnott,R.O. Kolberg,M. Lodge,F. Björkander,M. Olsen,A. Proceedings of 6th International Conference on Intelligence in Services and Networks, Barcelona, Spain, pp 342-354 LNCS, Springer [More Details].

Creating Telecommunication Services based on Object-Oriented Frameworks and SDL
Sinnott,R.O. Kolberg,M. Proceedings of International Symposium on Object-oriented Real-Time Distributed Computing, St. Malo, France pp 93-102 IEEE [More Details].

Modelling Dynamic Distributed Systems in LOTOS
Sinnott,R.O. Proceedings of Formale Beschreibungstechniken für Verteilte Systeme, FBT99, Münich, German IFIP [More Details].

Specifying Aspects of Multimedia in LOTOS
Sinnott,R.O. Conference on Computational Intelligence & Multimedia Applications, New Delhi, India IEEE Computer Society Press [More Details].

Reference Integrity in Dynamic CORBA Components
Sinnott,R.O. Solarski,M. Durmosch,K. Hafezi,A. Conference on Scalable and Reliable Distributed Systems (SRDS), Lausanne, Switwerland IEEE Computer Society Press [More Details].

Specifying Multimedia Configurations in Z
Sinnott,R.O. Conference on Computational Intelligence & Multimedia Applications, New Delhi, India IEEE Computer Society Press [More Details].

1998

Frameworks: The Future of Formal Software Development
Sinnott,R.O. Edition of Computer Standards and Interfaces Journal, Semantics of Specifications Elsevier Science [More Details].

1997

Applying the Architectural Semantics of ODP to Develop a Trader Specification
Sinnott,R.O. Turner,K.J. Special Edition of Computer Networks and ISDN Systems on Specification Architecture Elsevier Science [More Details].

ISO/IEC 10746-4 | ITU-T Recommendation X.904 - Reference Model of Open Distributed Processing: Architectural Semantics
Sinnott,R.O. International Standard ISO/IEC 10746-4 | ITU-T Recommendation X.904 [More Details].

ISO/IEC 10746-4.1 | ITU-T Recommendation X.904.1 - Reference Model of Open Distributed Processing: Computational Formalisation
Sinnott,R.O. Working Document ISO/IEC 10746-4.1 | ITU-T Recommendation X.904.1 [More Details].

Technical Report on Formal Specification Techniques for Open Distributed Systems
Sinnott,R.O. ISO/IEC ? ITU-T Technical Report JTC1/SC33/WG7/N14466 [More Details].

Specifying Multimedia Binding Objects in Z,
Sinnott,R.O. Turner,K.J. Trends in Distributed Systems: CORBA and Beyond, Lecture Notes in Computing Science, volume 1161 pp 244-257 LNCS, Springer [More Details].

Specifying ODP Computational Objects in Z
Sinnott,R.O. Turner,K.J. Formal Methods for Open Object-Based Distributed Systems pp 375-390 Chapman & Hall [More Details].

Type Checking in Distributed Systems: a Complete Model and its Z Specification
Sinnott,R.O. Turner,K.J. Open Distributed Processing and Distributed Platforms pp 85-98 Chapman & Hall [More Details].

Business-Oriented Development of Telecommunication Services
Sinnott,R.O. Kolberg,M. Proceedings of Workshop on Precise Behavioural Specifications in Object-Oriented Information Modelling, OOPSLA?98, October, Vancouver, Canada. pp 237-246 IEEE [More Details].

An Architecture Based Approach to Specifying Distributed Systems in LOTOS and Z
Sinnott,R.O. PhD thesis, University of Stirling, Scotland 1997. [More Details].

1995

Applying Formal Methods to Standard Development: the Open Distributed Processing Experience
Sinnott,R.O. Turner,K.J. pp 615-630 Elsevier Science [More Details].

1994

DILL: Specifying Digital Logic in LOTOS
Sinnott,R.O. Turner,K.J. Proceedings of Formal Description Techniques VI pp 71-86 North-Holland [More Details].

Modelling ODP Viewpoints
Sinnott,R.O. Turner,K.J. Proceedings of Workshop on Precise Behavioural Specifications in Object-Oriented Information Modelling pp 121-128 IEEE [More Details].

1993

The Formal Specification of Electronic Components in LOTOS
Sinnott,R.O. MSc Thesis, University of Stirling, Scotland, 1993 [More Details].