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

Hannah Bayer

2PUBLICATIONS

13CO-AUTHORS

Formal methods for softwareSoftware testing, verification and validation

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (2)

Sort by Publication Date:

|Oct 27, 2022

Correction: Standardized and reproducible measurement of decision-making in mice.

Valeria Aguillon, Dora E Angelaki, Hannah Bayer

|May 20, 2021

Standardized and reproducible measurement of decision-making in mice.

Valeria Aguillon-Rodriguez, Dora Angelaki, Hannah Bayer

Pageof 1

Frequent Collaborators

2 joint publications

Dora E Angelaki

2 joint publications

Matteo Carandini

2 joint publications

Fanny Cazettes

2 joint publications

Anne K Churchland

2 joint publications

Yang Dan

2 joint publications

Michael Häusser

2 joint publications

Fei Hu

2 joint publications

Anup Khanal

2 joint publications

Zachary F Mainen

2 joint publications

Jean-Paul Noel

Frequent Collaborators

2 joint publications

Dora E Angelaki

2 joint publications

Matteo Carandini

2 joint publications

Fanny Cazettes

2 joint publications

Anne K Churchland

Top Related Videos

An Automated T-maze Based Apparatus and Protocol for Analyzing Delay- and Effort-based Decision Making in Free Moving Rodents

An Automated T-maze Based Apparatus and Protocol for Analyzing Delay- and Effort-based Decision Making in Free Moving Rodents

Published on : Aug 02, 2018

See more related videos

Top Related Videos

An Automated T-maze Based Apparatus and Protocol for Analyzing Delay- and Effort-based Decision Making in Free Moving Rodents

An Automated T-maze Based Apparatus and Protocol for Analyzing Delay- and Effort-based Decision Making in Free Moving Rodents

Published on : Aug 02, 2018

See more related videos