Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Chow Yin Lai

1PUBLICATIONS

5CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Nov 02, 2022

Automated elaborate resection planning for bone tumor surgery.

Dave Hill, Tom Williamson, Chow Yin Lai

Pageof 1

Frequent Collaborators

1 joint publications

Dave Hill

1 joint publications

Tom Williamson

1 joint publications

Martin Leary

1 joint publications

Milan Brandt

1 joint publications

Peter Choong

Frequent Collaborators

1 joint publications

Dave Hill

1 joint publications

Tom Williamson

1 joint publications

Martin Leary

1 joint publications

Milan Brandt

Top Related Videos

A Pipeline for 3D Multimodality Image Integration and Computer-assisted Planning in Epilepsy Surgery

A Pipeline for 3D Multimodality Image Integration and Computer-assisted Planning in Epilepsy Surgery

Published on : May 20, 2016

See more related videos

Top Related Videos

A Pipeline for 3D Multimodality Image Integration and Computer-assisted Planning in Epilepsy Surgery

A Pipeline for 3D Multimodality Image Integration and Computer-assisted Planning in Epilepsy Surgery

Published on : May 20, 2016

See more related videos