Feret, Jérôme 1977-...
Feret, Jérôme
Jérôme Feret researcher
VIAF ID: 190764593 ( Personal )
Permalink: http://viaf.org/viaf/190764593
Preferred Forms
- 100 1 _ ‡a Feret, Jérôme
- 100 1 _ ‡a Feret, Jérôme, ‡d 1977-....
- 100 1 _ ‡a Feret, Jérôme ‡d 1977-...
- 100 0 _ ‡a Jérôme Feret ‡c researcher
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Abstractions des réseaux de réactions biochimiques. | |
Abstractions of biochemical reaction networks | |
Analyse statique de la portabilité des programmes par interprétation abstraite. | |
Analysis of mobile systems by abstract interpretation. | |
Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings | |
Coq formalization of digital filter algorithms computed using finite precision arithmetic. | |
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays | |
Formal and exact reduction for differential models of signalling pathways in rule-based languages | |
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie | |
Informatique mathématique : une photographie en 2023 | |
La Méthode Data-abstraction : une technique d’abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux. | |
Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa. |