Pedro Martins

1PUBLICATIONS
4CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Aug 05, 2022
Automatic segmentation and classification of mice ultrasonic vocalizations.

Diogo Pessoa, Lorena Petrella, Pedro Martins

Pageof 1

Frequent Collaborators

1 joint publications

Diogo Pessoa

1 joint publications

Lorena Petrella

1 joint publications

Miguel Castelo-Branco

1 joint publications

César Teixeira