density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 989 papers with an AI index.
29.3k citations
- F. Rossi2 profiles18 · h 27
- S. Tixeuil2 profiles16 · h 35
- Laurent Romary3 profiles15 · h 26
- F. Bach14 · h 108
- Marc Schoenauer2 profiles13 · h 49
- M. Fliess2 profiles10 · h 51
- Fabien Mathieu9 · h 15
- Gaël Varoquaux9
- Konstantin Avrachenkov2 profiles9 · h 41
- M. Potop-Butucaru2 profiles9 · h 31
- N. Carbonell2 profiles9 · h 14
- P. Robert9 · h 20
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR116 papers
- Centre National de la Recherche ScientifiqueFR109 papers
- Centre Inria de SaclayFR98 papers
- Centre Inria de l'Université de LilleFR50 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR38 papers
- Université Grenoble AlpesFR32 papers
- Centre Inria de l'université de BordeauxFR30 papers
- Sorbonne UniversitéFR29 papers
- Institut Élie Cartan de LorraineFR28 papers
- Laboratoire de l'Informatique du ParallélismeFR27 papers
- École PolytechniqueFR26 papers
- LIP6FR25 papers
Showing 2009 · cs.PLShow all
2 papers · 2 filters
cs.PL2009★ 2 cited
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…
cs.PL2009★ 150 cited
Mechanized semantics for the Clight subset of the C language
Sandrine Blazy, Xavier Leroy
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured…