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

Related Concept Videos

Phylogenetic Trees

Phylogenetic Trees

Phylogenetic trees come in many forms. It matters in which sequence the organisms are arranged from the bottom to the top of the tree, but the branches can rotate at their nodes without altering the information. The lines connecting individual nodes can be straight, angled, or even curved.

Phylogenetic Trees

Phylogenetic Trees

Microbial Phylogeny

Microbial Phylogeny

Understanding the evolutionary relationships among microorganisms is fundamental to microbial ecology and taxonomy. Phylogenetic trees are essential tools for inferring these relationships, relying primarily on comparative analyses of molecular sequences such as DNA, RNA, or proteins. In microbial studies, these trees typically depict the evolutionary paths of diverse bacterial and archaeal species by mapping genetic differences accumulated over time.Phylogenetic trees are composed of tips,...

Evolutionary Relationships through Genome Comparisons

Evolutionary Relationships through Genome Comparisons

Genome comparison is one of the excellent ways to interpret the evolutionary relationships between organisms. The basic principle of genome comparison is that if two species share a common feature, it is likely encoded by the DNA sequence conserved between both species. The advent of genome sequencing technologies in the late 20th century enabled scientists to understand the concept of conservation of domains between species and helped them to deduce evolutionary relationships across diverse...

Survival Tree

Survival Tree

Survival trees are a non-parametric method used in survival analysis to model the relationship between a set of covariates and the time until an event of interest occurs, often referred to as the "time-to-event" or "survival time." This method is particularly useful when dealing with censored data, where the event has not occurred for some individuals by the end of the study period, or when the exact time of the event is unknown.
Building a Survival Tree
Constructing a...

Phylogeny

Phylogeny

Phylogeny is concerned with the evolutionary diversification of organisms or groups of organisms. A group of organisms with a name is called a taxon (singular). Taxa (plural) can span different levels of the evolutionary hierarchy. For instance, the group containing all birds is a taxon (comprising the class Aves), and the group of all species of daisies (the genus Bellis) is a taxon. Phylogenies can likewise include just one genus (i.e., depict species relationships) or span an entire kingdom.

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Evaluation of properties over phylogenetic trees using stochastic logics.

BMC bioinformatics·2016

Same author

Temporal logics for phylogenetic analysis via model checking.

IEEE/ACM transactions on computational biology and bioinformatics·2013

Same author

Model checking software for phylogenetic trees using distribution and database methods.

Journal of integrative bioinformatics·2013

Same journal

Fusion of computational and experimental provenance in RO-Crate.

Journal of integrative bioinformatics·2026

Same journal

Updates and validation of the Compi RNA-seq pipeline with a case study in Alzheimer's disease.

Journal of integrative bioinformatics·2026

Same journal

Fragment-level FAIRness: annotating scientific data and its provenance using data fragment selectors.

Journal of integrative bioinformatics·2026

Same journal

Integrating cross-omics research through FAIR Digital Objects with DataPLANT.

Journal of integrative bioinformatics·2026

Same journal

Pheno-App 2.0 - a mobile app for collecting phenotypic data in plant research.

Journal of integrative bioinformatics·2026

Same journal

Evolving bioinformatics services - the journey of KPI metrics with Scorpion.

Journal of integrative bioinformatics·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Apr 21, 2026

A Practical Guide to Phylogenetics for Nonexperts

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.

José Ignacio Requeno¹, José Manuel Colom¹

¹Department of Computer Science and Systems Engineering (DIIS), Universidad de Zaragoza, C/ María de Luna 1, 50018 Zaragoza, Spain.

Journal of Integrative Bioinformatics

|October 24, 2014

Summary

This summary is machine-generated.

This study enhances model checking for phylogenetic analysis by incorporating time and probabilities. This allows for more accurate phylogenetic tree verification and analysis of evolutionary events.

More Related Videos

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Published on: August 14, 2018

Creating and Applying a Reference to Facilitate the Discussion and Classification of Proteins in a Diverse Group

Creating and Applying a Reference to Facilitate the Discussion and Classification of Proteins in a Diverse Group

Published on: August 16, 2017

Related Experiment Videos

Last Updated: Apr 21, 2026

A Practical Guide to Phylogenetics for Nonexperts

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Using Phylogenetic Analysis to Investigate Eukaryotic Gene Origin

Published on: August 14, 2018

Creating and Applying a Reference to Facilitate the Discussion and Classification of Proteins in a Diverse Group

Creating and Applying a Reference to Facilitate the Discussion and Classification of Proteins in a Diverse Group

Published on: August 16, 2017

Area of Science:

Computational Biology
Evolutionary Biology
Formal Methods

Background:

Model checking is a verification technique used in phylogenetics.
Standard temporal logic is insufficient for phylogenetic analysis due to limitations in handling time and probabilities.
Phylogenetic questions can be represented as formulas in temporal logic.

Purpose of the Study:

To extend model checking techniques for phylogenetic analysis.
To adapt existing logical extensions and tools for phylogenetics.
To incorporate explicit time and probabilities into phylogenetic specifications.

Main Methods:

Phylogenetic trees are modeled as transition systems.
Temporal logic is used to formulate phylogenetic questions.
Model checking is applied to verify phylogenetic properties.
Logical extensions are adapted to include time and probabilities.

Main Results:

The study demonstrates the feasibility of using model checking with time and probabilities in phylogenetics.
The approach allows for the analysis of quantitative phylogenetic properties.
A real-world example of lactose intolerance evolution is used to motivate and validate the methods.

Conclusions:

Model checking can be effectively extended to incorporate time and probabilities in phylogenetic analysis.
This enhanced approach provides a more powerful tool for phylogenetic verification.
The methods facilitate the study of evolutionary processes involving temporal and probabilistic aspects.