We stand with Ukraine

We stand with Ukraine

David Kendall

Orcid: 0000-0002-2207-2692

According to our database¹, David Kendall authored at least 21 papers between 1971 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

A novel potential field model for perimeter and agent density control in multiagent swarms.

[BibT_eX]

[DOI]

,

,

Michael J. Brockway

,

,

Ahmed Bouridane

Expert Syst. Appl., October, 2023

2019

Void Reduction in Self-Healing Swarms.

[BibT_eX]

[DOI]

,

,

,

Michael J. Brockway

,

Proceedings of the 2019 Conference on Artificial Life, 2019

2018

A New Metric for the Analysis of Swarms Using Potential Fields.

[BibT_eX]

[DOI]

,

,

Michael J. Brockway

IEEE Access, 2018

A Flexible Laboratory Environment Supporting Honeypot Deployment for Teaching Real-World Cybersecurity Skills.

[BibT_eX]

[DOI]

,

,

Michael J. Brockway

IEEE Access, 2018

2015

A longitudinal approach to measuring the impact of mobility on low-latency anonymity networks.

[BibT_eX]

[DOI]

Stephen Doswell

,

,

,

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

2013

The novel use of Bridge Relays to provide persistent Tor connections for mobile devices.

[BibT_eX]

[DOI]

Stephen Doswell

,

,

,

Proceedings of the 24th IEEE Annual International Symposium on Personal, 2013

Please slow down!: the impact on tor performance from mobility.

[BibT_eX]

[DOI]

Stephen Doswell

,

,

,

Proceedings of the SPSM'13, 2013

2011

Vulnerability of insens to denial of service attacks.

[BibT_eX]

[DOI]

,

,

Ahmed Bouridane

Proceedings of the IEEE International Conference on Acoustics, 2011

2010

Applying formal modelling to detect DoS attacks in wireless medium.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Ahmed Bouridane

Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

Formal modelling of a robust Wireless Sensor Network routing protocol.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Ahmed Bouridane

Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2001

Formal modelling and analysis of broadcasting embedded control systems.

[BibT_eX]

[DOI]

PhD thesis, 2001

A formal design language for real-time systems with data.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Sci. Comput. Program., 2001

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter.

[BibT_eX]

[DOI]

William Henderson

,

,

Real Time Syst., 2001

1998

bCANDLE: Formal Modelling and Analysis of CAN Control Systems.

[BibT_eX]

[DOI]

,

,

William Henderson

,

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Integrating AORTA with Model-Based Data Specification Languages.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1996

A Formal Design and Implementation Method for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

,

William Henderson

,

,

,

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Validation, verification and implementation of timed protocols using AORTA.

[BibT_eX]

,

William Henderson

,

,

Proceedings of the Protocol Specification, 1995

1994

A formally based hard real-time kernel.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Microprocess. Microsystems, 1994

Application-oriented real time algebra.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Softw. Eng. J., 1994

Designing and Implementing Correct Real-Time Systems.

[BibT_eX]

[DOI]

,

William Henderson

,

,

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1971

Some Data-Analytic Problems in Archaeology and History.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971

Loading...