Yuan Tian

2PUBLICATIONS

7CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (2)

Sort by Publication Date:

|Mar 24, 2026

Multidimensional data analysis and classification using SMIAL.

Aline Knab, Shannon Handley, Xiaohu Xu

Pageof 1

Frequent Collaborators

2 joint publications

Aline Knab

2 joint publications

Akanksha Bhargava

2 joint publications

Ewa M Goldys

1 joint publications

Henry H L Wu

1 joint publications

Shannon Handley

1 joint publications

Adnan Agha

1 joint publications

Carol A Pollock

Frequent Collaborators

2 joint publications

Aline Knab

2 joint publications

Akanksha Bhargava

2 joint publications

Ewa M Goldys

1 joint publications

Henry H L Wu