LINA)

Identifiers

• name variant LINA) 0.60 · backfill

Papers (2)

1. Contraction analysis of nonlinear random dynamical systems math.OC · 2013 · author #2
2. Coinductive big-step operational semantics cs.PL · 2008 · author #3

Mentions

• 1309.5317 #2 · backfill · confidence 0.70 LINA)
• 0808.0586 #3 · backfill · confidence 0.70 LINA)

Frequent Coauthors

• Herv\'e Grall (INRIA Rennes 1 shared papers
• Jean-Jacques Slotine (MIT) 1 shared papers
• Nicolas Tabareau (INRIA - EMN 1 shared papers
• Xavier Leroy (INRIA Rocquencourt) 1 shared papers