25303 articles – 19554 references  [version française]
.:. Browse > By laboratory > ASCOLA .:.
5 documents ordered by :

fulltext access Univalence for free
Sozeau M. et al
[hal-00786589 - version 3] (21/03/2013)
fulltext access Contraction analysis of nonlinear random dynamical systems
Tabareau N. et al
Research report (2013) 17 [hal-00864079 - version 2]
fulltext access A Monadic Interpretation of Execution Levels and Exceptions for AOP
Tabareau N.
Modularity: AOSD'12, Germany (2012) [inria-00592132 - version 3]
fulltext access Aspect Oriented Programming: a language for 2-categories
Tabareau N.
Research report (2011) 30 [inria-00470400 - version 3]
How synchronization protects from noise.
Tabareau N. et al
PLoS Computational Biology 6, 1 (2010) e1000637 [inria-00460739 - version 1]