Paul Butcher

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 3

Top Topics

Intellectual Property Protection

Top Venues

Publications

Andrew P. Colefax, Andrew J. Walsh, Cormac Purcell, Paul Butcher
Utility of Spectral Filtering to Improve the Reliability of Marine Fauna Detections from Drone-Based Monitoring. Sensors 23 (22) (2023)
Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy
Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. CoRR (2021)
Muhammad Saqib, Sultan Daud Khan, Nabin Sharma, Paul Scully-Power, Paul Butcher, Andrew Colefax, Michael Blumenstein
Real-Time Drone Surveillance and Population Estimation of Marine Animals from Aerial Imagery. IVCNZ (2018)
Paul Butcher, Alan C. Wood, Martin Atkins
Global synchronisation in Linda. Concurr. Pract. Exp. 6 (6) (1994)
Paul Butcher, Hussein Zedan
Lucinda - an overview. ACM SIGPLAN Notices 26 (8) (1991)
Paul Butcher, Hussein Zedan
Lucinda - A Polymorphic Linda. Research Directions in High-Level Parallel Programming Languages (1991)
Paul Butcher
A behavioural semantics for Linda-2. Softw. Eng. J. 6 (4) (1991)