Ulster University Logo

Browse by Ulster Authors and Editors

Up a level
Export as [feed] RSS
Group by: Date | Item Type | No Grouping
Jump to: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991
Number of items: 194.

2015

Brown, MT, Chinthammit, W and Nixon, PA (2015) Preparing for Bushfire. [Other]

2014

Brown, M, Chinthammit, W and Nixon, Patrick (2014) A comparison of user preferences for tangible objects vs touch buttons with a map-based tabletop application. In: Proceedings of the 26th Australian Computer-Human Interaction Conference (OzCHI 2014), Sydney, Australia. ACM Digital Library. 4 pp. [Conference contribution]

Finn, RL, Cummings, E, Nixon, Patrick and Wright, D (2014) Designing dissemination strategies to maximise stakeholder engagement. Healthy Aging Research, 3 (12). [Journal article]

Neale, S, Chinthammit, W, Lueg, C and Nixon, Patrick (2014) Facilitating learning through hands-on engagement with virtual museum artefacts. In: Proceedings of the 28th International BCS Human-Computer Interaction Conference, Southport, United Kingdom. BCS Learning and Development Ltd. 6 pp. [Conference contribution]

2013

Brown, M, Chinthammit, W and Nixon, Patrick (2013) What are the issues with natural resources? How can emerging interactive technology help? In: Proceedings Surveying and Spatial Sciences Conference, Canberra. Surveying and Spatial Science Institute. Vol 1 12 pp. [Conference contribution]

Neale, S, Chinthammit, W, Lueg, C and Nixon, P (2013) RelicPad: A hands-on, mobile approach to collaborative exploration of virtual museum artifacts. In: INTERACT 2013, Cape Town, South Africa. Heidelberg, Germany. Vol 8117 18 pp. [Conference contribution]

2012

Cummings, E and Nixon, Patrick (2012) An Australian roadmap for ICT research and development for ageing? Lessons from a European Union initiative. In: Selected Papers from the 20th Australian National Health Informatics Conference (HIC2012), Sydney. IOS Press. Vol 178 6 pp. [Conference contribution]

Cummings, EA and Nixon, Patrick (2012) Challenges of Disseminating Information to Broad Stakeholder Groups. In: Book of Abstracts - Aging Connects: IFA 11th Global Conference on Aging, Prague, Czech Republic. International Federation of Aging. [Conference contribution]

Gaudin, B, Hinchey, MH, Vassev, E, Nixon, Patrick, Garcia, JC and Maalej, W (2012) FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience, Scalable Computing: Practice and Experience, 13 (1). pp. 5-20. [Journal article]

Gaudin, B and Nixon, Patrick (2012) Supervisory Control for Software Runtime Exception Avoidance. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, Montreal, Canada. Association for Computing Machinery. 4 pp. [Conference contribution]

Loureiro, E, Nixon, Patrick and Dobson, S (2012) Decentralized and Optimal Control of Shared Resource Pools. ACM Transactions on Autonomous and Adaptive Systems, 7 (1). pp. 1-14. [Journal article]

Vassev, E, Nixon, P, Hinchey, M and Gaudin, B (2012) Automatic Repair of Software Systems., Wiley-Interscience [Other]

2011

Gaudin, B, Vassev, EI, Hinchey, MG and Nixon, Patrick (2011) A control theory based approach for self-healing of un-handled runtime exceptions. In: ICAC '11 - Proceedings of the 8th ACM International Conference on Autonomic Computing, Karlsruhe, Germany. Association for Computing Machinery. 4 pp. [Conference contribution]

Loureiro, E, Nixon, Patrick and Dobson, S (2011) Decentralized Self-optimization in Shared Resource Pools. In: Studies in Computational Intelligence: Intelligent Networking, Collaborative Systems and Applications. (Eds: Caballé, S, Xhafa, F and Abraham, A), Springer-Verlag, Berlin, pp. 149-170. ISBN 978-3-642-16792-8 [Book section]

Neale, S, Chinthammit, W, Lueg, C and Nixon, Patrick (2011) Natural Interactions Between Augmented Virtual Objects. In: Proceedings of the 23rd Australian Computer-Human Interaction Conference (OzCHI 2011), Canberra, Australia. Australian National University. Vol 23 4 pp. [Conference contribution]

Pearce, AR, Sonenberg, L and Nixon, Patrick (2011) Toward resilient human-robot interaction through situation projection for effective joint action. In: Association for the Advancement of Artificial Intelligence Symposium (AAAI) Fall Symposium, Arlington, VA. AAAI Press. 5 pp. [Conference contribution]

Vassev, E, Hinchey, M, Gaudin, B and Nixon, Patrick (2011) Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. In: Proceedings of the Fourth International C* Conference on Computer Science and Software Engineering, Montreal, Quebec, Canada. Association for Computing Machinery. 8 pp. [Conference contribution]

2010

Al Haider, N, Nixon, Patrick and Gaudin, B (2010) An approach for modeling dynamic analysis using ontologies. In: Proceedings of the International Symposium on Software Testing and Analysis, Trento, Italy. ACM Digital Library. 6 pp. [Conference contribution]

Bardram, JE, Langheinrich, M, Truong, K and Nixon, Patrick (2010) Proceedings of the 12th ACM Conference on Ubiquitous Computing. In: Proceedings of the 12th ACM Conference on Ubiquitous Computing, Copenhagen, Denmark. Association for Computing Machinery. 352 pp. [Conference contribution]

Bardram, JE, Langheinrich, M, Truong, K and Nixon, Patrick (2010) UbiComp'10 Adjunct Proceedings. In: UbiComp '10 Adjunct Proceedings, Copenhagen, Denmark. Association for Computing Machinery. 185 pp. [Conference contribution]

Bardram, JE, Langheinrich, M, Truong, KN and Nixon, Patrick (2010) UbiComp 2010 - Forward. In: UbiComp 2010: Proceedings of the 2010 ACM Conference on Ubiquitous Computing, Copenhagen, Denmark. Association for Computing Machinery. 351 pp. [Conference contribution]

Clear, AK, Holland, T, Dobson, S, Quigley, A, Shannon, R and Nixon, Patrick (2010) Situvis: A sensor data analysis and abstraction tool for pervasive computing systems. Pervasive and Mobile Computing, 6 (5). pp. 575-589. [Journal article]

Collins, M, Dobson, S and Nixon, Patrick (2010) A Lightweight Secure Architecture for Wireless Sensor Networks. International Journal of Internet Technology and Secured Transactions, 2 (1-2). pp. 1-16. [Journal article]

Cowzer, N and Nixon, Patrick (2010) Analyzing implicit group messaging: a novel messaging paradigm for group-oriented content distribution. In: Porceedings of the GLOBECOM Workshops, 2010 IEEE, Miami, FL. IEEE. 5 pp. [Conference contribution]

Dobson, S, Sterritt, R, Nixon, Patrick and Hinchey, M (2010) Fulfilling the vision of autonomic computing. Computer, 43 (1). pp. 35-41. [Journal article]

Doyle, J, Quigley, A, Nixon, Patrick and Caulfield, B (2010) Towards a pattern language approach to sharing experiences in healthcare technology evaluations. In: HCI in Work and Learning, Life and Leisure, Klagenfurt, Austria. Springer-Verlag. 14 pp. [Conference contribution]

Jia, L and Nixon, Patrick (2010) A new monitor model for enhancing trust-based systems. In: Autonomic and Trusted Computing. (Eds: Xe, B, Branke, J, Sadjadi, SM, Zhang, D and Zhou, X), Springer Berlin Heidelberg, Berlin, Germany, pp. 242-254. ISBN 978-3-642-16575-7 [Book section]

Kamal, ARM, Razzaque, MA and Nixon, Patrick (2010) 2PDA:Two-phase Data Approximation in Wireless Sensor. In: Proceedings of the 7th ACM Workshop on Performance evaluation of wireless, ad hoc, sensor and ubiquitous networkds, Bodrum, Turkey. Association for Computing Machinery. 8 pp. [Conference contribution]

Loureiro, E, Nixon, Patrick and Dobson, S (2010) Adaptive Management of Shared Resource Pools with Decentralized Optimization and Epidemics. In: Proceedings of the 18th Euromicro Conference on Parallel, Distributed and Network-based Processing, Pisa, Italy. IEEE Computer Society. 8 pp. [Conference contribution]

Murdoch, O and Nixon, Patrick (2010) A unifying framework for situation identification methodologies. In: Proceedings of the 6th International Workshop on Modeling and Reasoning in Context, Lisbon, Portugal. CEUR. Vol 618 12 pp. [Conference contribution]

Razzaque, MA, Dobson, S and Nixon, Patrick (2010) Enhancement of Self-organisation in Wireless Networking through a Cross-Layer Approach. In: Ad Hoc Networks, Niagara Falls, Ontario, Canada. Springer. 16 pp. [Conference contribution]

Shannon, R, Quigley, AJ and Nixon, Patrick (2010) Deep diffs: visually exploring the history of a document. In: AVI '10 Proceedings of the International Conference on Advanced Visual Interfaces, Roma, Italy. ACM Press. 4 pp. [Conference contribution]

Shannon, R, Quigley, AJ and Nixon, Patrick (2010) Showtime: increasing viewer understanding of animated data structures. In: AVI '10 Proceedings of the International Conference on Advanced Visual Interfaces, Roma, Italy. ACM Press. 5 pp. [Conference contribution]

Shannon, R, Quigley, AJ and Nixon, Patrick (2010) Graphemes: self-organizing shape-based clustered structures for network visualisations. In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, Atlanta, GA, USA. ACM Digital Library. 6 pp. [Conference contribution]

Stevenson, G, Ye, J, Dobson, S and Nixon, Patrick (2010) LOC8: A Location Model and Extensible Framework for Programming with Location. IEEE Pervasive Computing, 9 (1). pp. 28-37. [Journal article]

Vassev, E, Hinchey, M and Nixon, Patrick (2010) Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL. In: Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), Taipei. IEEE. 6 pp. [Conference contribution]

Vassev, E, Hinchey, M and Nixon, Patrick (2010) Developing intelligent sensor networks a technological convergence approach. In: Proceedings of the Workshop on Software Engineering for Sensor Network Applications (SESENA 2010), Cape Town, South Africa. ACM. 6 pp. [Conference contribution]

Vassev, E, Hinchey, M and Nixon, Patrick (2010) Prototyping home automation wireless sensor networks with ASSL. In: Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010), Washington DC, USA. ACM. 2 pp. [Conference contribution]

Vassev, E, Hinchey, M and Nixon, Patrick (2010) A formal approach to self-configurable swarm-based space-exploration systems. In: Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, Anaheim, CA, USA. IEEE. 8 pp. [Conference contribution]

Vassev, E and Nixon, Patrick (2010) Engineering intelligent sensor networks with ASSL and DMF. In: Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS), Chicago, IL. IEEE. 9 pp. [Conference contribution]

2009

Clear, AK, Shannon, R, Holland, T, Quigley, A, Dobson, S and Nixon, PA (2009) Situvis: A Visual Tool for Modeling a User's Behaviour Patterns in a Pervasive Environment. In: Pervasive Computing: 7th International Conference, Pervasive 2009, Nara, Japan. Springer. 15 pp. [Conference contribution]

Insua, GL, Bennett, M, Nixon, Patrick and Coyle, L (2009) Meaning Makers: User Generated Ambient Presence. International Journal of Ambient Computing and Intelligence, 1 (2). pp. 47-52. [Journal article]

Shannon, R, Quigley, A and Nixon, PA (2009) Time sequences. In: CHI 2009 - digital life, new world: conference proceedings and extended abstracts, Boston, USA. Association for Computing Machinery. 6 pp. [Conference contribution]

Stabeler, M, Cellai, D, Dobson, S and Nixon, PA (2009) Delay tolerant networks and spatially detailed human mobility. In: International Conference on Ulstra Modern Telecommunications & Workshops, St. Petersburg, Russia. IEEE Computer Society. [Conference contribution]

Wei, Zhiqiang, Zhou, Wei, Kang, Mijun, Collins, M and Nixon, PA (2009) A strategy-proof trust mechanism for pervasive computing environments. In: IEEE 6th International Conference on Mobile Adhoc and Sensor Systems 2009. MASS '09, Macau. IEEE Computer Society. 6 pp. [Conference contribution]

Williamson, G, Cellai, D, Dobson, S and Nixon, PA (2009) Modelling Periodic Data Dissemination in Wireless Sensor Networks. In: EMS 2009 UKSim Third European Modelling Symposium on Computer Modelling and Simulation, Athens, Greece. IEEE Computer Society. 6 pp. [Conference contribution]

Williamson, G, Cellai, D, Dobson, S and Nixon, PA (2009) Self-management of Routing on Human Proximity Networks. In: Self-Organizing Systems: 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland. Springer. 12 pp. [Conference contribution]

Ye, J, Coyle, L, Dobson, S and Nixon, PA (2009) Using situation lattices in sensor analysis. In: IEEE International Conference on Pervasive Computing and Communications, PerCom 2009, Galveston, USA. IEEE Computer Society. 11 pp. [Conference contribution]

Ye, J, Dobson, S and Nixon, Patrick (2009) An overview of pervasive computing systems. In: Ambient Intelligence with Microsystems. Springer, Berlin, pp. 3-17. ISBN 978-0-387-46263-9 [Book section]

Zhang, Hui, Nixon, PA and Dobson, S (2009) Partial Coverage in Homological Sensor Networks. In: WiMob 2009 Proceedings: International Conference on Wireless and Mobile Computing, Networking and Communications, Marrakech, Morocco. IEEE Computer Society. 6 pp. [Conference contribution]

Zhou, Wei, Wei, Zhiqiang, Kang, Mijun, Nixon, PA and Jia, Lang (2009) A Credit-Based Incentive Mechanism for Recommendation Acquisition in Multihop Mobile Ad Hoc Networks. In: Proceedings, The Third International Conference on Emerging Security Information, Systems and Technologies: SECURWARE 2009, Athens/Glyfada, Greece. IEEE Computer Society. 6 pp. [Conference contribution]

2008

Clear, AK, Shannon, R, Holland, T, Dobson, S, Quigley, A and Nixon, Paddy (2008) Situvis: visualising multivariate context information to evaluate situation specifications. In: Proceedings of the 2nd Workshop on Ubiquitous Systems Evaluation, Seoul, South Korea. CEUR Workshop Proceedings, Sun SITE Central Europe. 6 pp. [Conference contribution]

Collins, M, Dobson, S and Nixon, Paddy (2008) A secure lightweight architecture for wireless sensor networks. In: Proceedings of the Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Valencia, Spain. IEEE Computer Society. 7 pp. [Conference contribution]

Collins, M, Dobson, S and Nixon, Paddy (2008) Identifying and Isolating Aberrant Nodes in Wireless Sensor Networks. In: Proceedings of the International Conference for Internet Technology and Secured Transactions (ICITST), Dublin Institute of Technology, Dublin, Ireland. e-Centre for Infonomics. 1 pp. [Conference contribution]

Dobson, S and Nixon, PA (2008) Open, stable autonomic adaptation: a grand challenge. In: HOTACIII: Third Workshop on Hot Topics for Autonomic Computing, Chicago. HotAC. 4 pp. [Conference contribution]

Dobson, S, Stevenson, G, Williamson, G, Knox, S, Stabler, M, Coyle, L, Neely, S and Nixon, Patrick (2008) An open-source infrastructure for pervasive computing. PerAda Magazine, Oct . [Journal article]

Fitzgerald, Diarmaid, Trakarnratanakul, Nanthana, Conroy, Luke, Nixon, Paddy and Caulfield, Brian (2008) A Virtual Rehabilitation System for Wobble Board Balance Training with Children. In: Virtual Rehabilitation 2008, Vancouver, British Columbia, Canada. IEEE. 66 pp. [Conference contribution]

Insua, GL, Bennett, M, Nixon, P and Coyle, L (2008) User Generated Ambient Presence. In: Proceedings of the 2nd International Workshop on Ambient Information Systems (AIS-2008), Seoul, South Korea. CEUR Workshop Proceedings, Sun SITE Central Europe. 4 pp. [Conference contribution]

Knox, S, Shannon, R, Coyle, L, Clear, AK, Dobson, S, Quigley, AJ and Nixon, Patrick (2008) Scatterbox: Context-aware message management. Revue d'Intelligence Artificielle, 22 (5). pp. 549-568. [Journal article]

Loureiro, E, Nixon, Paddy and Dobson, S (2008) A Fine-grained Model for Adaptive On-demand Provisioning of CPU Shares in Data Centers. In: Self-Organizing Systems: Third International Workshop, IWSOS 2008, Vienna, Austria. Springer. 12 pp. [Conference contribution]

Neely, S, Stabeler, M and Nixon, P (2008) SensorMash: Exploring System Fidelity Through Sensor Mashup. In: Adjunct Proceedings of the Sixth International Conference on Pervasive Computing, Sydney, Australia. PERVASIVE. 4 pp. [Conference contribution]

Nixon, Paddy and Dobson, S (2008) Objects, components, and the virtual enterprise (workshop report). In: Addendum to the 1998 Proceedings of the Conference on Object-oriented Programming, Systems, Languages and Applications, Vancouver, Canada. ACM Press. 1 pp. [Conference contribution]

Quigley, A, McGrath, M, Nixon, P and Dishongh, T (2008) Home Deployments for Independent Living. In: Pervasive Computing @ Home Workshop (held at Pervasive 2008), Sydney, Australia. PERVASIVE. 1 pp. [Conference contribution]

Razzaque, MA, Dobson, S and Nixon, Paddy (2008) Cross-layer self routing: a self-managed routing approach for MANETs. In: WiMob 2008 Proceedings: IEEE International Conference on Wireless & Mobile Computing, Networking & Communication, Avignon, France. IEEE Press. 7 pp. [Conference contribution]

Ye, J, Coyle, L, Dobson, S and Nixon, Patrick (2008) Representing and manipulating situation hierarchies using situation lattices. Revue d'Intelligence Artificielle, 22 (5). pp. 647-667. [Journal article]

Zhang, H, Nixon, P and Dobson, S (2008) Multi Criteria Adaptation in Homological Sensor Networks. In: 11th IEEE International Conference on Communications Systems (ICCS), Guangzhou, China. IEEE. 6 pp. [Conference contribution]

2007

Clear, AK, Dobson, S and Nixon, P (2007) An approach to dealing with uncertainty in context-aware pervasive systems. In: IEEE SMC UK&RI 6th Conference on Cybernetic Systems, University College Dublin. IEEE SMC. 6 pp. [Conference contribution]

Coyle, L, Neely, S, Stevenson, G, Sullivan, M, Dobson, S and Nixon, Patrick (2007) Sensor Fusion-Based Middleware for Smart Homes. International Journal of Assistive Robotics and Mechatronics, 8 (2). pp. 53-60. [Journal article]

Coyle, L, Ye, Juan, Loureiro, E, Knox, S, Dobson, S and Nixon, PA (2007) A proposed approach to evaluate the accuracy of tag-based location systems. In: USE '07: Workshop on Ubiquitous Systems Evaluation, Innsbruck, Austria. USE. 5 pp. [Conference contribution]

Dobson, S and Nixon, Paddy (2007) Whole-system programming of adaptive ambient intelligence. In: Universal Access in Human-Computer Interaction: Ambient Interaction (Part II), Beijing, China. Springer-Verlag. 9 pp. [Conference contribution]

Dobson, S, Nixon, Paddy, Coyle, L, Neely, S, Stevenson, G and Williamson, G (2007) Construct: An Open Source Pervasive Systems Platform. In: Consumer Communications and Networking Conference (CCNC 2007), Las Vegas, NV, USA.. IEEE. 2 pp. [Conference contribution]

Neely, S, Stevenson, G and Nixon, Patrick (2007) Assessing the Suitability of Context Information for Ambient Display. In: Proceedings of the 1st International Workshop on Ambient Information Systems (AIS 2007), Toronto, Canada. CEUR Workshop Proceedings, Sun SITE Central Europe. Vol 254 4 pp. [Conference contribution]

Rafter, R, Coyle, Lorcan, Nixon, Patrick and Smyth, Barry (2007) Sticking with a Winning Team: Better Neighbour Selection for Conversational Collaborative Recommendation. In: Proceedings of the 18th Irish Conference on Artificial Intelligence and Cognitive Science (AICS07), Dublin Institute of Technology, Ireland. AICS. [Conference contribution]

Razzaque, MA, Dobson, S and Nixon, Patrick (2007) Context awareness through cross-layer network architecture. In: Proceedings of 16th International Conference on Computer Communications and networks (ICCCN 2007), Honolulu, Hawaii. IEEE. 1076 pp. [Conference contribution]

Razzaque, MA, Dobson, S and Nixon, Patrick (2007) Cross-layer architectures for autonomic communications. Journal of Network and Systems Management, 15 (1). pp. 13-27. [Journal article]

Razzaque, MA, Dobson, Simon and Nixon, Patrick (2007) Cross-layer optimisations for autonomic networks. In: Advanced autonomic networking and communication. (Eds: Calisti, Monique, Van der Meer, Sven and Strassner, John), Birkhauser Verlag, Basel, pp. 127-148. ISBN 978-3-7643-8568-2 [Book section]

Shannon, R, Williamson, G, Quigley, A and Nixon, Patrick (2007) Visualising Network Communications to Evaluate a Data Dissemination Method for Ubiquitous Systems. In: Workshop proceedings, UbiComp 2007, Innsbruck, Austria. Deutsches Zentrum fur Luft- und Raumfahr. 4 pp. [Conference contribution]

Ye, J, Coyle, L, Dobson, S and Nixon, Patrick (2007) Ontology-based models in pervasive computing systems. Knowledge Engineering Review, 22 (4). pp. 315-347. [Journal article]

Ye, J, Coyle, L, Dobson, S and Nixon, Patrick (2007) Using Situation Lattices to Model and Reason about Context. In: Proceedings of the 4th International Workshop on Modelling and Reasoning in Context (MRC 2007), Roskilde University, Denmark. Computer Science, Roskilde University. 12 pp. [Conference contribution]

Ye, J, Coyle, L, Dobson, S and Nixon, Patrick (2007) A Unified Semantics Space Model. In: Location and Context-Awareness, Third international symposium (LoCA 2007), Oberpfaffenhofen, Germany. Springer. 18 pp. [Conference contribution]

2006

Anawar, S, Coyle, L, Dobson, S and Nixon, Patrick (2006) Context Delivery in Ad Hoc Networks Using Enhanced Gossiping Algorithms. In: Proceedings of EuroSSC, Enschede, Netherlands. Springer. 4 pp. [Conference contribution]

Bailey, E, Dobson, S and Nixon, Patrick (2006) Semantics of autonomic systems. In: IBM Center for Advanced Studies: CASCON, Toronto. IBM Center for Advanced Studies. 2 pp. [Conference contribution]

Clear, AK, Knox, S, Ye, Juan, Coyle, L, Dobson, S and Nixon, Patrick (2006) Integrating multiple contexts and ontologies in a pervasive computing framework. In: Proceedings of the Workshop on Context and ontologies: theory, practice and applications at ECAI-06, Riva del Garda, Italy. C&O: RR. 6 pp. [Conference contribution]

Collins, M, Dobson, S and Nixon, Patrick (2006) Security issues with pervasive computing frameworks. In: Pervasive 2006 Workshop proceedings, Dublin, Ireland. Deutsches Zentrum fur Luft- und Raumfahrt. 7 pp. [Conference contribution]

Coyle, L, Balfe, E, Stevenson, G, Neely, S, Dobson, S, Nixon, Patrick and Smyth, B (2006) Supplementing Case-based Recommenders with Context Data. In: Proceedings of the 1st Workshop on Case-Based Reasoning and Context Awareness at the 8th European Conference on Case-Based Reasoning (ECCBR), Oludeniz/Fethiye, Turkey. CEUR Workshop Proceedings, Sun SITE Central Europe. Vol 221 [Conference contribution]

Coyle, L, Neely, S, Nixon, Patrick and Quigley, A (2006) Sensor Aggregation and Integration in Healthcare Location Based Services. In: Pervasive Health Conference and Workshops, 2006, Innsbruck, Austria. Institute of Electrical and Electronics Engineers. [Conference contribution]

Coyle, L, Neely, S, Rey, G, Stevenson, G, Sullivan, M, Dobson, S and Nixon, Patrick (2006) Sensor Fusion-Based Middleware for Assisted Living. In: Smart Homes and Beyond: Icost 2006, Belfast, Northern Ireland. IOS Press. 8 pp. [Conference contribution]

Coyle, L, Rey, G, McCarthy, K, Salamo, M, McGinty, L, Smyth, B and Nixon, Patrick (2006) Developing a Distributed Context-Aware Collaborative Recommender System. In: Proceedings of the Workshop Multi-user and ubiquitous User Interfaces at International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia. n/a. 2 pp. [Conference contribution]

Dobson, S, Denazis, S, Fernandez, A, Gaiti, D, Gelenbe, E, Massacci, F, Nixon, Patrick, Saffre, F, Schmidt, N and Zambonelli, F (2006) A survey of autonomic communications. ACM Transactions on Autonomous and Adaptive Systems, 1 (2). pp. 223-259. [Journal article]

Dobson, S, Neely, S, Stevenson, G, Coyle, L and Nixon, Patrick (2006) Towards a Platform for Widespread Embedded Intelligence. ERCIM News, 67 (Oct). [Journal article]

English, C, Terzis, S and Nixon, Patrick (2006) Towards self-protecting ubiquitous systems: Monitoring trust-based interactions. Personal and Ubiquitous Computing, 10 (1). pp. 50-54. [Journal article]

Fishkin, KP, Schiele, B, Nixon, Patrick and Quigley, A (2006) 4th International Conference, PERVASIVE 2006. In: PERVAVSIVE 2006, Springer, Dublin, Ireland. Springer. [Conference contribution]

McCarthy, K, Salamo, M, Coyle, L, McGinty, L, Smyth, B and Nixon, Patrick (2006) CATS: A Synchronous Approach to Collaborative Group Recommendation. In: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA. AAAI Press. 6 pp. [Conference contribution]

McCarthy, K, Salamo, Maria, Coyle, L, McGinty, L, Smyth, B and Nixon, Patrick (2006) Group Recommender Systems: A Critiquing Based Approach. In: IUI'06 Proceedings of the 11th International Conference on Intelligent User Interfaces, Sydney, Australia. ACM Press. 3 pp. [Conference contribution]

Neely, S, Dobson, S and Nixon, Patrick (2006) Adaptive middleware for autonomic systems. Annales Des Telecommunications, 61 (9-10). pp. 1099-1118. [Journal article]

O'Donovan, J, Evrim, V, Smyth, B, McLeod, D and Nixon, Patrick (2006) Personalizing Trust in Online Auctions. In: Stairs 2006 : proceedings of the third starting AI researchers' symposium, Riva del Garda, Italy. IOS Press. 12 pp. [Conference contribution]

Razzaque, MA, Dobson, S and Nixon, Patrick (2006) A cross-layer architecture for autonomic communications. In: Autonomic Networking, Paris. Springer-Verlag. 11 pp. [Conference contribution]

Razzaque, MA, Nixon, Patrick and Dobson, Simon (2006) Demonstrating the feasibility of an Autonomic Communications - Targeted Cross-layer Architecture. In: Proceedings: 14th International Conference on Advanced Computing and Communicatins (ADCOM 2006), NITK, Surathkal, India. IEEE. 6 pp. [Conference contribution]

Shannon, R, Quigley, A and Nixon, Patrick (2006) Collaborating in context: immersive visualisation environments. In: Proceedings of the international workshop in conjunction with AVI 2006 on Context in advanced interfaces (CAI 06), Venice, Italy. ACM Press. 4 pp. [Conference contribution]

Shannon, R, Quigley, A and Nixon, Patrick (2006) Software Considerations for Automotive Pervasive Systems. In: Workshop of Software Engineering Challenges for Ubiquitous Computing, Lancaster University, UK. Lancaster University. [Conference contribution]

Stevenson, G, Nixon, Patrick and Dobson, S (2006) Towards a reliable, wide-area infrastructure for context-based self-management of communications. In: Autonomic Communication, Athens, Greece. Springer-Verlag. 14 pp. [Conference contribution]

Terzis, S, Nixon, Patrick, Narasimhan, N and Walsh, T (2006) Middleware for pervasive and ad hoc computing. Personal and Ubiquitous Computing, 10 (1). pp. 4-6. [Journal article]

Thomson, G, Stevenson, G, Terzis, Sotirios and Nixon, Patrick (2006) A Self-Managing Infrastructure for Ad-Hoc Situation Determination. In: Smart Homes and Beyond: ICOST2006, Belfast, Northern Ireland, UK. IOS Press. 8 pp. [Conference contribution]

Thomson, G, Terzis, S and Nixon, Patrick (2006) A Model and Architecture for Situation Determination. In: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON 06), Toronto, Dublin. IBM Center for Advanced Studies (CAS). [Conference contribution]

Thomson, G, Terzis, S and Nixon, Patrick (2006) Situation Determination with Reusable Situation Specifications. In: Fourth Annual IEEE International Conference on Pervasive Computing and Communications: Workshops, Pisa, Italy. IEEE Computer Society. 4 pp. [Conference contribution]

Williamson, G, Stevenson, G, Neely, S, Coyle, L and Nixon, Patrick (2006) Scalable information dissemination for pervasive systems: implementation and evaluation. In: Proceedings of the 4th International workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC 06), Melbourne, Australia. ACM Press. 6 pp. [Conference contribution]

Williamson, G, Stevenson, G, Neely, S, Dobson, S and Nixon, Patrick (2006) An Evaluation Framework for Disseminating Context Information with Gossiping. In: Smart Sensing and Context, Enschede, Netherlands. Springer. 2 pp. [Conference contribution]

2005

Borriello, G, Chalmers, M, LaMarca, A and Nixon, Patrick (2005) Delivering real-world ubiquitous location systems. Communications of the ACM, 48 (3). pp. 36-41. [Journal article]

Nixon, Patrick, Wagealla, W, English, C and Terzis, S (2005) Security, Privacy, and Trust Issues in Smart Environments. In: Smart Environments: Technology, Protocols and Applications. John Wiley & Sons, Hoboken, NJ, pp. 220-240. ISBN 978-0-471-54448-7 [Book section]

Razzaque, MA, Dobson, S and Nixon, Patrick (2005) Categorisation and modelling of quality in context information. In: Proceedings of the IJCAI 2005 workshop on AI and Autonomic Communications, Edinburgh, Scotland. IJCAI. [Conference contribution]

Stevenson, G, Coyle, L, Neely, S, Dobson, S and Nixon, Patrick (2005) ConStruct -- A Decentralised Context Infrastructure for Ubiquitous Computing Environments. In: IT&T Annual Conference (2005), proceedings, Cork Institute of Technology, Ireland. TecNet. [Conference contribution]

Stewart, J, Nixon, Patrick, Walsh, T and Ferguson, I (2005) Towards Strong Mobility in the Shared Source CLI. In: Communicating Process Architectures 2005: WoTUG-28, Eindhoven, the Netherlands. IOS Press. 11 pp. [Conference contribution]

Streitz, NA and Nixon, Patrick (2005) The Disappearing Computer. Association for Computing Machinery, 48 (3). pp. 32-35. [Journal article]

Terzis, S, Wagealla, W, English, C and Nixon, Patrick (2005) Trust Lifecycle Management in a global computing environment. In: Global Computing: IST/FET International Workshop (GC 2004), Rovereto, Italy. Springer-Verlag. 23 pp. [Conference contribution]

Thomson, G, Nixon, Patrick and Terzis, S (2005) Situation Determination with Distributed Context Histories. In: ECHISE 2005 Proceedings, Munich, Germany. ECHISE. 5 pp. [Conference contribution]

Tripathi, A, Iftode, L, Nahrstedt, K and Nixon, Patrick (2005) Pervasive and Mobile Computing - Guest editorial. Pervasive and Mobile Computing, 1 (2). v-vi. [Journal article]

2004

Dobson, S and Nixon, Patrick (2004) More principled design of pervasive computing systems. In: Engineering Human Computer Interaction and Interactive systems, Hamburg, Germany. Springer Verlag. 14 pp. [Conference contribution]

Jamieson, A, Breslin, S, Nixon, Patrick and Smeed, D (2004) MiPOS - the Mote Indoor Positioning System. In: BSN Workshop 2004, Imperial College London, United Kingdom. Body Sensor Networks (BSN). [Conference contribution]

Nixon, Patrick and Kon, F (2004) Proceeding. In: Proceeding, Toronto. ACM Press. 177 pp. [Conference contribution]

Shah, SW, Nixon, Patrick and Ferguson, I (2004) On the Use of IP Multicast to Facilitate Group Communication between Mobile Agents. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004) : Proceedings, Beijing. IEEE Computer Society. 4 pp. [Conference contribution]

Thomson, G, Nixon, Patrick and Terzis, S (2004) Towards Ad-hoc Situation Determination. In: Technical Program, First International Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004, Nottingham, England. WACMRM. [Conference contribution]

Wang, F and Nixon, Patrick (2004) Supporting Mobile Context-Aware Applications on a Global Scale. In: IEEE International Conference on mobile data management: proceedings: MDM 2004, Berkeley, California. IEEE. 171 pp. [Conference contribution]

2003

Cahill, V, Gray, E, Seigneur, JM, Jensen, CD, Chen, Y, Shand, B, Dimmock, N, Twigg, A, Bacon, J, English, C, Wagealla, W, Terzis, S, Nixon, Patrick, di Marzo Serugendo, G, Bryce, C, Carbone, M, Krukow, K and Nielsen, M (2003) Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing, 2 (3). pp. 52-61. [Journal article]

English, C, Terzis, S, Wagealla, W, Lowe, H, Nixon, Patrick and McGettrick, A (2003) Trust dynamics for collaborative global computing. In: Proceedings of the Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2003), Johannes Kepler University of Linz, Austria. IEEE Computer Society. 6 pp. [Conference contribution]

English, C, Wagealla, W, Nixon, Patrick, Terzis, S, Lowe, H and McGettrick, A (2003) Trusting collaboration in global computing systems. In: Trust Management: First International Conference (iTrust 2003), Heraklion, Crete, Greece,. Springer-Verlag. 14 pp. [Conference contribution]

Glassey, R, Stevenson, G, Richmond, M, Nixon, Patrick, Terzis, S, Wang, F and Ferguson, I (2003) Towards a Middleware for Generalised Context Management. In: International Middleware Conference, Workshop Proceedings (in Middleware 2003 Companion), Rio de Janeiro, Brazil. Pontificia Universidade Catolica do Rio de Janeiro. 8 pp. [Conference contribution]

Kirby, G, Dearle, A, Morrison, R, Dunlop, M, Connor, R and Nixon, Patrick (2003) Active Architecture for Pervasive Contextual Services. In: Proc. International Workshop on Middleware for Pervasive and Ad-hoc Computing, Rio de Janeiro, Brazil. arXiv.org, Cornell University Library. [Conference contribution]

Narasimhan, N, Terzis, S, Walsh, T and Nixon, Patrick (2003) Proceedings of the First International Workshop on Middleware for Pervasive and Ad Hoc Computing (MPAC). In: Pontifica Universidade Catolica do Rio de Janeiro, Rio de Janeiro, Brazil. Pontificia Universidade Catolica do Rio de Janeiro. 1 pp. [Conference contribution]

Nixon, Patrick and Terzis, S (2003) Trust Management. In: Springer, Heraklion, Crete, Greece. Springer. 346 pp. [Conference contribution]

Nixon, Patrick, Wang, F and Terzis, S (2003) Programming structures for adaptive ambient systems. In: Proceedings of the 1st International symposium on Information and Communication technologies (ISICT'03), Dublin. Association for Computing Machinery. 6 pp. [Conference contribution]

Stevenson, G, Nixon, Patrick and Ferguson, RI (2003) A General Purpose Programming Framework for Ubiquitous Computing Environments. In: Program & Online Proceedings: System Support for Ubiquitous Computing Workshop (UbiSys'03), Seattle, WA, USA. UbiSys. [Conference contribution]

Thomson, G, Richmond, M, Terzis, S and Nixon, Patrick (2003) An Approach to Dynamic Context Discovery and Composition. In: Program & Online Proceedings: System Support for Ubiquitous Computing Workshop (UbiSys '03), Seattle, Washington, USA. UbiSys. [Conference contribution]

Wagealla, W, Terzis, S, English, C and Nixon, Patrick (2003) On Trust and Privacy in Context-Aware Systems. In: Second iTrust Workshop, Imperial College London. Department of Computing, Imperial College London. [Conference contribution]

2002

Nixon, Patrick, Dobson, S, Terzis, S and Wang, F (2002) Architectural Implications for Context Adaptive Smart Spaces. In: Proceedings, IEEE 5th International Workshop on Networked Appliances 2002, Liverpool.. IEEE. 5 pp. [Conference contribution]

Nixon, Patrick, Wang, F, Terzis, S, Walsh, T and Dobson, S (2002) Engineering context-aware systems. In: Workshop on Engineering Context-Aware Object-Oriented Systems and Environments (ECOOSE), Seattle. ECOOSE. 7 pp. [Conference contribution]

Terzis, S, English, C, Stevenson, G, Lowe, H, McGettrick, A and Nixon, P (2002) Using Simulation to Explore Trust Lifecycle Issues. In: Using Simulation to Explore Trust Lifecycle Issues, Glasgow, Scotland. Smartlab, Strathclyde University. [Conference contribution]

Weber, S, Nixon, Patrick and Tangney, B (2002) A flexible framework for consistency management. Concurrency and Computation, 14 (1). pp. 33-53. [Journal article]

2001

Walsh, T, Nixon, Patrick and Dobson, S (2001) As strong as possible agent mobility. In: Infrastructure for Agents, Multi-Agent Systems and Scalable Multi-Agent Systems, Barcelona, Spain. Springer-Verlag. 3 pp. [Conference contribution]

2000

Cotroneo, D, Nixon, Patrick, Russo, S and Vele, D (2000) Object-oriented Design of an Intelligent Building Management System. In: Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, USA. International Institute of Informatics and Systemics. [Conference contribution]

Dobson, S, Nixon, Patrick, Wade, V, Terzis, S and Fuller, J (2000) Vanilla: An open language framework. In: Generative and component-based software engineering. Springer-Verlag, Berlin, pp. 91-104. ISBN 3-540-41172-0 [Book section]

Haahr, M, Meier, R, Nixon, Paddy, Cahill, V and Jul, E (2000) Filtering and Scalability in the ECO Distributed Event Model. In: Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, Limerick, Ireland. IEEE Computer Society Press. 13 pp. [Conference contribution]

Liu, A and Nixon, Paddy (2000) Distributed Systems Testing (Introduction). In: Proceedings of the 33rd hawaii International Conference on System Sciences, Maui, Hawaii. IEEE Computer Society Press. Vol 8 8008 pp. [Conference contribution]

Nixon, PA, Lacey, G and Dobson, S (2000) Managing interactions in smart environments. In: Springer, Dublin. Springer. 250 pp. [Conference contribution]

Nixon, Patrick (2000) Virtual enterprises: technology foundations for the future of eCommerce. In: Proceedings of the Sixth European Assembly on Telework and New Ways of Working - Telework '99, Aarhus, Denmark. Danish Technological Institute. 11 pp. [Conference contribution]

Nixon, Patrick and Jelly, I (2000) Proceedings. In: Proceedings, IEEE Computer Society, Limerick , Ireland. IEEE Computer Society. 250 pp. [Conference contribution]

Nixon, Patrick, Wade, V, Terzis, S, O'Connell, M and Dobson, S (2000) The Virtues Architecture: A Software Infrastructure for Business-to-Business E-Commerce. In: Proceedings of the Second International Conference on Enterprise Information Systems (ICEIS 2000), Stafford, UK. ICEIS Press. 6 pp. [Conference contribution]

O'Cinneide, M and Nixon, Patrick (2000) Composite Refactorings for Java Programs. In: Formal Techniques for Java programs 2000 Proceedings, Sophia Antipolis, France. Computer Science Department of the FernUniversitat Hagen. 7 pp. [Conference contribution]

O'Connell, M and Nixon, Patrick (2000) Next generation business-to-business e-commerce. In: Electronic Commerce and Web Technologies, London, UK. Springer-Verlag. 15 pp. [Conference contribution]

Terzis, S, Nixon, Patrick, Wade, V, Dobson, S and Fuller, J (2000) The Future of Enterprise Groupware Applications. In: Enterprise Information Systems. Kluwer Academic Publishers, Dordrecht, pp. 99-106. ISBN 079236239X [Book section]

Terzis, Sotirios and Nixon, Patrick (2000) Component Location and the Role of Trading in Large Scale Distributed Systems. In: Proceedings International symposium on Software Engineering for Parallel and Distributed systems, Limerick, Ireland. IEEE Computer Society Press. 7 pp. [Conference contribution]

Walsh, T, Nixon, Patrick and Dobson, S (2000) An Integrated System for Managing Intelligent Buildings. In: 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99 Proceedings), Dublin. Springer Verlag. 14 pp. [Conference contribution]

Walsh, Tim, Nixon, Patrick and Dobson, SimonA (2000) As strong as possible mobility (poster). In: Proceedings of the 2000 International Conference on software Engineering (ICSE), Limerick, Ireland. Association for Computing Machinery, Inc. (ACM). 779 pp. [Conference contribution]

1999

Judge, A, Nixon, Patrick, Tangney, B, Weber, S and Cahill, V (1999) Distributed Shared Memory. In: High Performance Cluster Computing: Architectures and Systems. Prentice Hall PTR, Upper Saddle River, NJ, pp. 409-434. ISBN 978-0130137845 [Book section]

Liu, A and Nixon, Patrick (1999) Guest Editorial. Software Quality Journal, 8 (4). pp. 239-240. [Journal article]

Meier, R and Nixon, Patrick (1999) Managing fault tolerance transparently using CORBA services. In: Euro-Par '99 Parallel Processing, Toulouse, France. Springer-Verlag. 4 pp. [Conference contribution]

Nixon, Patrick, Lacey, G and Dobson, S (1999) Smart Environments: some challenges for the computing community (Introduction). In: 1st International workshop on Managing Interactions in Smart Environments (MANSE'99 Proceedings), Dublin. Springer Verlag. 4 pp. [Conference contribution]

O'Cinneide, M and Nixon, Patrick (1999) Automated Application of Design Patterns to Legacy Code. In: Object-Oriented Technology: ECOOP '99 workshop Reader, Lisbon, Portugal. Springer-Verlag. 176 pp. [Conference contribution]

O'Cinneide, M and Nixon, Patrick (1999) A Methodology for the Automated Introduction of Design Patterns. In: Proceedings IEEE International Conference on Software Maintenance, Keble College, Oxford. IEEE Computer Society. 10 pp. [Conference contribution]

O'Connell, Marcus and Nixon, Patrick (1999) JFS: A Secure Distributed File System for Network Computers. In: Proceedings, 25th EUROMICRO Conference (1999), Milan, Italy. IEEE Computer Society Press. Vol Volume 8 pp. [Conference contribution]

Terzis, S and Nixon, Patrick (1999) Building the next generation groupware: A survey of groupware and its impact on the virtual enterprise. External Technical Reports: Trinity College Dublin, Department of Computer Science, n/a . pp. 1-26. [Journal article]

Terzis, S and Nixon, Patrick (1999) Component Trading: the Basis for a Component-Oriented Development Framework. In: Object-Oriented Technology: ECOOP '99 Workshop Reader (ECOOP '99 Workshops, Panels, and Posters), Lisbon, Portugal. Springer-Verlag. 1 pp. [Conference contribution]

Terzis, S and Nixon, Patrick (1999) Semantic Trading: Tackling Interoperability Problems During System Integration. In: Object-Oriented Technology: ECOOP '99 Workshop Reader (ECOOP '99 Workshops, Panels and Posters), Lisbon, Portugal. Springer-Verlag. 9 pp. [Conference contribution]

Terzis, S and Nixon, Patrick (1999) Virtual Enterprise: An opportunity for new markets. In: Negotiations and interactions in electronic markets: Proceedings of the 6th Research Symposium on Emerging Electronic Markets, Muenster, Gernany. University of Muenster. 1 pp. [Conference contribution]

1998

Dobson, S and Nixon, Patrick (1998) (Free) radical programming languages. In: Proceedings of the 5th CaberNet Radicals workshop, Portugal. CaberNet. [Conference contribution]

Nixon, Paddy (1998) Technology in the home., RTE Radio 1 (Raidio Teilifis Eireann) [Other]

Nixon, Patrick and Cahill, V (1998) Mobile Computing. IEEE Internet Computing, 2 (1). pp. 22-78. [Journal article]

Nixon, Patrick and Cahill, V (1998) Mobile Computing: Technologies for a Disconnected Society. IEEE Internet Computing, 2 (1). pp. 19-21. [Journal article]

Nixon, Patrick, Wade, V, Dobson, S, Fuller, J and Terzis, S (1998) Designing components for a virtual organisation: a case study. In: Proceedings of Objects, Components and the Virtual Enterprise (a workshop at OOPSLA'98), Vancouver, BC. n/a. 1 pp. [Conference contribution]

O'Cinneide, M and Nixon, Patrick (1998) Program Restructuring to Introduce Design Patterns. In: Object-oriented technology : ECOOP'98 workshop reader, Brussels, Belgium. Springer. Vol Lectur 2 pp. [Conference contribution]

1997

Baker, S, Cahill, V and Nixon, Patrick (1997) Bridging Boundaries: CORBA in Perspective. IEEE Internet Computing, 1 (5). pp. 52-57. [Journal article]

Cahill, V, Nixon, Patrick, Tangney, B and Rabhi, F (1997) Object Models for Distributed or Persistent Programming. The Computer Journal, 40 (8). pp. 513-527. [Journal article]

Nixon, Patrick, Cahill, V and Rabhi, F (1997) Building Parallel and Distributed Systems. Computer Journal, 40 (8). pp. 463-527. [Journal article]

Nixon, Patrick, Cahill, V and Rabhi, F (1997) Software Engineering for Distrinuted Systems. In: 30th Hawaii International Conference on system Sciences (HICSS), Hawaii. IEEE Computer Society Press. 394 pp. [Conference contribution]

Nixon, Patrick, Lacey, G, Dennehy, M and Walsh, T (1997) VCR: A virtually controlled robot system. In: FSR '97 proceedings of the International Conference on Field and Service Robotics, Canberra. Australian Robot Association. 5 pp. [Conference contribution]

Schaller, NC, Berman, M, Bishop, J, Nixon, Patrick, Rozanski, E and Welch, P (1997) Using Java in Computer Science Education (panel). In: Proceedings of the 2nd conference on Integrating technology into computer science education (ITiCSE '97), Uppsala, Sweden. ACM Press. 3 pp. [Conference contribution]

1996

Nixon, Paddy (1996) A caffeine fix for the web., Irish Times Ltd. [Other]

Nixon, Patrick, Dusseldorp, J and Howe, A (1996) The global multimedia challenge: An experience report. In: Conference Proceedings: 4th annual conference on the teaching of computing: providing quality computer science education, Dublin City University, Ireland. Centre for Teaching Computing, Dublin City University. 3 pp. [Conference contribution]

Nixon, Patrick and Shi, Lihua (1996) Concurrent semantics for structured design methods. In: Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, Berlin. Chapman & Hall. 12 pp. [Conference contribution]

Shi, L and Nixon, Patrick (1996) An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. In: FME '96: Industrial Benefit and Advances in Formal Methods, Oxford, UK. Springer. Vol Lectur 20 pp. [Conference contribution]

Weber, S and Nixon, Patrick (1996) An object oriented DSM framework. External Technical Reports: Trinity College Dublin, Department of Computer Science (TDC-CS), n/a . pp. 1-4. [Journal article]

1995

Cook, BM, Jane, MR, Nixon, Patrick and Welch, PH (1995) Transputer applications and systems '95. In: IOS Press, Harrogate, North Yorkshire, UK. IOS Press. 624 pp. [Conference contribution]

Gorton, I, Jelly, I, Croll, P and Nixon, Patrick (1995) Direction in software engineering for parallel systems, Introduction by Minitrack Coordinators. In: Proceedings of the Twenty-Eight Hawaii International Conference on system Sciences, Wailea, Hawaii. IEEE Computer Society Press. 2 pp. [Conference contribution]

Nixon, Patrick (1995) Transputer and occam developments : WoTUG-18. In: Proceedings of the 18th World occam and Transputer User Group Technical Meeting, Manchester, UK. IOS Press. 253 pp. [Conference contribution]

1994

Birkinshaw, C, Croll, PR, Marriot, D and Nixon, Patrick (1994) Engineering safety-related parallel systems. Information and Software Technology, 36 (7). pp. 449-456. [Journal article]

Birkinshaw, CI, Croll, PR, Marriot, DG and Nixon, Patrick (1994) Parallel processing: a safer option for real-time control software. In: International Conference on Control '94, University of Warwick, Coventry, UK. Institution of Electrical Engineers. Vol 2 6 pp. [Conference contribution]

Kerridge, J and Nixon, Patrick (1994) Dynamic Allocation of Tasks in occam3. In: Transputer applications and systems '94: Proceedings of the 1994 World Transputer Congress, Como, Italy. IOS Press. 14 pp. [Conference contribution]

Nixon, Patrick (1994) Supporting the prototyping of transputer based fault tolerant systems. In: Proceedings of WoTUG-17 : Progress in Transputer and Occam Research, Bristol, UK. IOS Press. 11 pp. [Conference contribution]

Nixon, Patrick, Birkinshaw, C, Croll, P and Marriott, D (1994) Rapid prototyping of parallel fault tolerant systems. In: Proceedings, second euromicro workshop on parallel and distributed processing, University of Malaga, Spain. IEEE Press. 8 pp. [Conference contribution]

Nixon, Patrick, Marriott, DG and Croll, PR (1994) Comparing design techniques for modelling fault tolerant systems. In: Proceedings of SAFECOMP 1994: The 13th International Conference on Safety, Reliability and Security, Anaheim, CA. SAFECOMP. 12 pp. [Conference contribution]

Shi, L and Nixon, Patrick (1994) The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. In: DARTS'95: Workshop on Design and Analysis of Real-Time Systems, Universite Libre de Bruxelles, Belgium. DARTS. [Conference contribution]

1993

Nixon, Patrick and Croll, P (1993) Deterministic timing behaviour of OCCAM programs. In: SERC/InstMC symposium: Postgraduate Research in Control and Instrumentation, UK. Institute of Measurement and Control / Science and Engineering Research Council. 14 pp. [Conference contribution]

Nixon, Patrick and Croll, P (1993) The Functional Specification of OCCAM Programs for Time Critical Applications. In: Proceedings of WoTUG-16:Transputer and Occam Research : New Directions, Sheffield University, UK. IOS Press. 14 pp. [Conference contribution]

1992

Croll, PR and Nixon, Patrick (1992) The safety of occam. World Occam and Transputer User Group (WoTUG) Technical Newsletter, 17 . pp. 69-73. [Journal article]

1991

Croll, P and Nixon, Patrick (1991) Developing safety-critical software within a CASE environment. In: Colloquium on Computer Aided Software Engineering Tools for Real-Time Control, London. IEEE. Vol No. 19 2 pp. [Conference contribution]

This list was generated on Thu Jun 27 01:39:26 2019 BST.