Concepedia

Patrick Nixon

PN

8

Publications

171

Citations

8

H-Index

1999

Active since

Affiliations

University of Ulster(Current)

Trinity College Dublin

University College Dublin

University of Exeter

University of East Anglia

Patrick Nixon is an author at University of Ulster specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

1999–2017

8

Publications

8

Categorisation and modelling of quality in context information

Mohammed Abhur Razzaque, Simon Dobson, Patrick Nixon · eCite Digital Repository (University of Tasmania) · 2005 · 45 citations

Composite Refactorings for Java Programs

Mel Ó'Cinnéide, Patrick Nixon · eCite Digital Repository (University of Tasmania) · 2000 · 42 citations

, , +18

A General Purpose Programming Framework for Ubiquitous Computing Environments

Graeme Stevenson, Patrick Nixon, Ian Ferguson · eCite Digital Repository (University of Tasmania) · 2003 · 18 citations

UbiComp'10 Adjunct Proceedings

JE Bardram, Marc Langheinrich, Khai N. Truong et al. · eCite Digital Repository (University of Tasmania) · 2010 · 16 citations

, , +1

An optimal UAV deployment algorithm for bridging communication

Hanif Ullah, Sally McClean, Patrick Nixon et al. · 2017 · 15 citations

, , +11

Rows per page

1–5 of 8