James Snook

Orcid: 0000-0002-4636-6548

According to our database¹, James Snook authored at least 4 papers between 2017 and 2021.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Numerical Modelling of a Distributed Acoustic Sensor Based on Ultra-Low Loss-Enhanced Backscattering Fibers.

[BibT_eX]

[DOI]

Lieke Dorine van Putten

Ali Masoudi

James Snook

Gilberto Brambilla

Sensors, 2021

2020

Constructing a new language to facilitate mathematical proofs in the Event-B context

[BibT_eX]

[DOI]

James Snook

PhD thesis, 2020

2018

Developing A New Language to Construct Algebraic Hierarchies for Event-B.

[BibT_eX]

[DOI]

James Snook

Michael J. Butler

Thai Son Hoang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

Formal Development of Policing Functions for Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

James Snook

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...