A. Cook

According to our database, A. Cook authored at least 9 papers between 1982 and 2024.

Collaborative distances:

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

2024

On Safety Assurance of Symbolic Artificial Intelligence.

M. Guzman, R. Bouchekir, A. Cook, J. Haindl

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

Formal Verification for Safe AI-based Flight Planning for UAVs^*.

R. Bouchekir, M. Guzman, A. Cook, J. Haindl, R. Woolnough

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2021

A CVR On/Off Status Detection Algorithm for Measurement and Verification.

Wen Fan, Md Shakawat Hossan, Honghao Zheng, A. Cook, S. Zaid, Sepideh A. Fard, Amin Khodaei, Aleksi Paaso

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2021

2001

Sensing and control of a robotic prosthetic eye for ocular implant.

Jason Jianjun Gu, Max Q.-H. Meng, A. Cook, M. Gary Faulkner, Peter Xiaoping Liu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001

1998

Movement control system design for an artificial eye implant.

Jason Gu, Max Q.-H. Meng, M. Gary Faulkner, A. Cook

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

ARINC 653 - Achieving software re-use.

A. Cook, K. J. R. Hunt

Microprocess. Microsystems, 1997

1995

ARINC 653 - Challenges of the present and future.

A. Cook

Microprocess. Microsystems, 1995

1986

Regional assignment of Y-linked DNA probes by deletion mapping and their homology with X-chromosome and autosomal sequences.

Nabeel A. Affara, L. Florentin, N. Morrison, Kenny Kwok, Michael Mitchell, A. Cook, Doreen Jamieson, L. Glasgow, L. Meredith, E. Boyd

Nucleic Acids Res., 1986

1982

Digital signal processing applied to the subscriber line interface.

A. Cook, A. R. Potter

Proceedings of the IEEE International Conference on Acoustics, 1982