UJF)

Identifiers

• name variant UJF) 0.60 · backfill

Papers (4)

1. First steps towards the certification of an ARM simulator using Compcert cs.LO · 2012 · author #3
2. Designing a CPU model: from a pseudo-formal document to fast code cs.SE · 2011 · author #5
3. Wafer-scale selective area growth of GaN hexagonal prismatic nanostructures on c-sapphire substrate cond-mat.mtrl-sci · 2011 · author #9
4. Confidence intervals for sensitivity indices using reduced-basis metamodels stat.CO · 2011 · author #3

Mentions

• 1202.6472 #3 · backfill · confidence 0.70 UJF)
• 1109.4351 #5 · backfill · confidence 0.70 UJF)
• 1106.4290 #9 · backfill · confidence 0.70 UJF)
• 1102.4668 #3 · backfill · confidence 0.70 UJF)

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 2 shared papers
• Jean-Fran\c{c}ois Monin (LIAMA 2 shared papers
• Xiaomu Shi (LIAMA) 2 shared papers
• Alexandre Janon (INRIA Rh\^one-Alpes / LJK Laboratoire Jean Kuntzmann 1 shared papers
• Brigitte Martin 1 shared papers
• Christophe Durand (NPSC 1 shared papers
• Claude Helmstetter (LIAMA) 1 shared papers
• Cl\'ementine Prieur (INRIA Rh\^one-Alpes / LJK Laboratoire Jean Kuntzmann 1 shared papers
• Daniel Le Si Dang (NEEL) 1 shared papers
• Frederic Tuong (LIAMA) 1 shared papers
• Guillaume Perillat-Merceroz (LEMMA) 1 shared papers
• Jo\"el Eymery (NPSC) 1 shared papers
• Jun-Seo Hwang (NEEL) 1 shared papers
• Ma\"elle Nodet (INRIA Rh\^one-Alpes / LJK Laboratoire Jean Kuntzmann) 1 shared papers
• - M\'ethodes d'Analyse Stochastique des Codes et Traitements Num\'eriques 1 shared papers
• Stefan Landis 1 shared papers
• Vania Joloboff (LIAMA) 1 shared papers
• Xiao Jun Chen (NPSC) 1 shared papers