Jonathan Burton

According to our database, Jonathan Burton authored at least 6 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Threat-modeling-guided Trust-based Task Offloading for Resource-constrained Internet of Things.

Matthew Bradbury, Arshad Jhumka, Tim Watson, Denys A. Flores, Jonathan Burton, Matthew Butler

ACM Trans. Sens. Networks, 2022

2012

RMIT3DV: Pre-announcement of a creative commons uncompressed HD 3D video database.

Eva Cheng, P. Burton, Jonathan Burton, Alex Joseski, Ian S. Burnett

Proceedings of the Fourth International Workshop on Quality of Multimedia Experience, 2012

2004

The theory and practice of refinement-after-hiding.

Jonathan Burton

PhD thesis, 2004

Relating Communicating Processes with Different Interfaces.

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo

Fundam. Informaticae, 2004

2001

Verifying Implementation Relations.

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Implementing Communicating Processes in the Event of Interface Difference.

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001