Access content directly

Yann Salmon

15
Documents

Presentation

Professeur agrégé (mathématiques option informatique), nommé pour l'enseignement de l'informatique en CPGE au lycée Descartes de Tours. Mes travaux de recherche s'inscrivent dans le cadre général de la vérification formelle de programmes par analyse statique. Un des objectifs de l'équipe Celtique de l'IRISA/INRIA Rennes est de développer des méthodes et des outils de vérification. J'utilise comme modèles formels des programmes les systèmes de réécriture de termes et les automates d'arbres. Ma thèse porte principalement sur l'adaptation de la complétion d'automate d'arbre à la stratégie d'évaluation en profondeur en vue de l'analyse de programmes fonctionnels, notamment ceux rédigés en OCaml.

Publications

Image document

Global transpiration data from sap flow measurements: the SAPFLUXNET database

Rafael Poyatos , Víctor Granda , Víctor Flo , Mark A Adams , Balázs Adorján
Earth System Science Data, 2021, 13, pp.2607 - 2649. ⟨10.5194/essd-13-2607-2021⟩
Journal articles hal-03261880v1

Research frontiers for improving our understanding of drought-induced tree and forest mortality

Henrik Hartmann , Catarina F. Moura , William R. L. Anderegg , Nadine K. Ruehr , Yann Salmon
New Phytologist, 2018, 218 (1), pp.15 - 28. ⟨10.1111/nph.15048⟩
Journal articles hal-02626328v1
Image document

Reachability Analysis of Innermost Rewriting - extended version

Thomas Genet , Yann Salmon
Logical Methods in Computer Science, 2017, ⟨10.2168/LMCS-???⟩
Journal articles hal-01532090v1

Drivers of apoplastic freezing in gymnosperm and angiosperm branches

Anna Lintunen , Stefan Mayr , Yann Salmon , Hervé Cochard , Teemu Hölttä
Ecology and Evolution, 2017, 8 (1), 11 p. ⟨10.1002/ece3.3665⟩
Journal articles hal-01663297v1
Image document

Osmolality and non-structural carbohydrate composition in the secondary phloem of trees across a latitudinal gradient in Europe

Anna Lintunen , Teemu Paljakka , Tuula Jyske , Mikko Peltoniemi , Frank Sterck
Frontiers in Plant Science, 2016, 7, 15 p. ⟨10.3389/fpls.2016.00726⟩
Journal articles hal-02635301v1
Image document

Effects of ontogeny on delta C-13 of plant- and soil-respired CO2 and on respiratory carbon fractionation in C-3 herbaceous species

Yann Salmon , Nina Buchmann , Romain Barnard L.
PLoS ONE, 2016, 11 (3), ⟨10.1371/journal.pone.0151583⟩
Journal articles hal-02637635v1

Balancing the risks of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pine

Yann Salmon , Jose Manuel Torres Ruiz , Rafael Poyatos , Jordi Martinez Vilalta , Patrick Meir
Plant, Cell and Environment, 2015, 38 (12), pp.2575-2588. ⟨10.1111/pce.12572⟩
Journal articles hal-02635661v1

Physiological controls of the isotopic time lag between leaf assimilation and soil CO2 efflux

Yann Salmon , Romain Barnard , Nina Buchmann
Functional Plant Biology, 2014, 41 (8), pp.850-859. ⟨10.1071/FP13212⟩
Journal articles hal-02640009v1
Image document

Balancing the risk of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pine

Yann Salmon , Jose Manuel Torres Ruiz , Rafael Poyatos , Jordi Martinez-Vilalta , Patrick Meir
Xylem International Meeting, Sep 2015, Bordeaux, France. 86 p
Conference papers hal-02742313v1
Image document

Reachability Analysis of Innermost Rewriting

Thomas Genet , Yann Salmon
Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland
Conference papers hal-01194530v1
Image document

Proving Reachability Properties on Term Rewriting Systems with Strategies

Thomas Genet , Yann Salmon
Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom
Conference papers hal-01111038v1