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

Chana Weil-Kennedy

1PUBLICATIONS

3CO-AUTHORS

Data structures and algorithms

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 01, 2021

The complexity of verifying population protocols.

Javier Esparza, Stefan Jaax, Mikhail Raskin

Pageof 1

Frequent Collaborators

1 joint publications

Javier Esparza

1 joint publications

Stefan Jaax

1 joint publications

Mikhail Raskin

Frequent Collaborators

1 joint publications

Javier Esparza

1 joint publications

Stefan Jaax

1 joint publications

Mikhail Raskin

Top Related Videos

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Published on : Dec 07, 2021

See more related videos

Top Related Videos

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Heuristic Mining of Hierarchical Genotypes and Accessory Genome Loci in Bacterial Populations

Published on : Dec 07, 2021

See more related videos