Jove
Visualize
Contact Us
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

Jose M Soler

2PUBLICATIONS
38CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

Sort by Publication Date:
|Jul 17, 2020
The CECAM electronic structure library and the modular software development paradigm.

Micael J T Oliveira, Nick Papior, Yann Pouillon

|Jun 04, 2020
Siesta: Recent developments and applications.

Alberto García, Nick Papior, Arsalan Akhtar

Pageof 1

Frequent Collaborators

2 joint publications

Alberto García

2 joint publications

Nick Papior

2 joint publications

Emilio Artacho

2 joint publications

Volker Blum

2 joint publications

Víctor M García-Suárez

2 joint publications

Pablo López-Tarifa

2 joint publications

Stephan Mohr

1 joint publications

Arsalan Akhtar

1 joint publications

Emanuele Bosoni

1 joint publications

Peter Koval

Frequent Collaborators

2 joint publications

Alberto García

2 joint publications

Nick Papior

2 joint publications

Emilio Artacho

2 joint publications

Volker Blum

Top Related Videos

Operation of the Collaborative Composite Manufacturing (CCM) System
10:09

Operation of the Collaborative Composite Manufacturing (CCM) System

Published on : Oct 01, 2019

7.0K
Drug-Induced Sleep Endoscopy (DISE) with Target Controlled Infusion (TCI) and Bispectral Analysis in Obstructive Sleep Apnea
07:54

Drug-Induced Sleep Endoscopy (DISE) with Target Controlled Infusion (TCI) and Bispectral Analysis in Obstructive Sleep Apnea

Published on : Dec 06, 2016

20.3K
See more related videos

Top Related Videos

Operation of the Collaborative Composite Manufacturing (CCM) System
10:09

Operation of the Collaborative Composite Manufacturing (CCM) System

Published on : Oct 01, 2019

7.0K
Drug-Induced Sleep Endoscopy (DISE) with Target Controlled Infusion (TCI) and Bispectral Analysis in Obstructive Sleep Apnea
07:54

Drug-Induced Sleep Endoscopy (DISE) with Target Controlled Infusion (TCI) and Bispectral Analysis in Obstructive Sleep Apnea

Published on : Dec 06, 2016

20.3K
See more related videos