David Neilson

According to our database, David Neilson authored at least 4 papers between 1991 and 2014.

Collaborative distances:

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

2014

Patterns of life visual analytics suite for analyzing GPS movement patterns.

Simon Attfield, Peter J. Passmore, Neesha Kodagoda, Pragya Paudyal, David Neilson, George Pagiatakis, Brian Joyce, Robert Wells, B. L. William Wong, Adrian Wagstaff, James Bullock, Adam Malin, Dougie Holmes, Graham Phillips, John Marshall, Stewart Bertram

Proceedings of the 9th IEEE Conference on Visual Analytics Science and Technology, 2014

2004

Formality, Evolution, and Model-driven Software Engineering.

Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

1996

Applying the B Technologies on CICS.

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1991

The B-Method.

Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen

Proceedings of the VDM '91, 1991