Anton Kast

3PUBLICATIONS
13CO-AUTHORS
Formal methods for softwareSatellite communicationsSolar system energetic particles
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

Sort by Publication Date:
|May 19, 2026
An AI system to help scientists write expert-level empirical software.

|Dec 17, 2024
Publisher Correction: Mapping the ionosphere with millions of phones.

Jamie Smith, Anton Kast, Anton Geraschenko

|Nov 13, 2024
Mapping the ionosphere with millions of phones.

Jamie Smith, Anton Kast, Anton Geraschenko

Pageof 1

Frequent Collaborators

3 joint publications

Michael P Brenner

3 joint publications

Brian P Williams

2 joint publications

Jamie Smith

2 joint publications

Anton Geraschenko

2 joint publications

Frank van Diggelen

1 joint publications

Hao Cui

1 joint publications

Cory Y McLean

1 joint publications

Subhashini Venugopalan

1 joint publications

Sarah Martinson

1 joint publications

Jan-Matthis Lueckmann

Frequent Collaborators

3 joint publications

Michael P Brenner

3 joint publications

Brian P Williams

2 joint publications

Jamie Smith

2 joint publications

Anton Geraschenko

JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies
Jove
Visualize
Contact Us