• Publications
  • Influence
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
TLDR
This paper presents a novel framework for the modeling of biological networks. Expand
  • 16
  • 5
  • PDF
Méthodologie semi-formelle pour l’étude de systèmes biologiques : application à l'homéostasie du fer
Les travaux de cette these portent principalement sur le developpement d'une methodologie pour la modelisation de systemes biologiques. Cette methodologie, basee sur une modelisation en equationsExpand
  • 7
  • 4
ASP for Construction and Validation of Regulatory Biological Networks
In this chapter, we present a declarative approach for analyzing and building genetic regulatory networks (GRNs). A declarative approach is not only restricted to check properties of a fixed network,Expand
  • 5
  • 1
  • PDF
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework
TLDR
We present a constraint based declarative approach for analyzing qualitatively genetic regulatory networks (GRNs) with the discrete formalism of R. Thomas. Expand
  • 8
  • 1
  • PDF
Iron for proliferation of cell lines and hematopoietic progenitors: Nailing down the intracellular functional iron concentration.
Iron is an essential nutrient which must be provided in sufficient amounts to support growth of eukaryotic cells. All organisms devote specialized pathways to ensure proper delivery. Yet, aExpand
  • 17
  • PDF
Producing a Set of Models for the Iron Homeostasis Network
TLDR
We present a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and formal verification of STL (Signal Temporal Logic) formula. Expand
  • 7
  • PDF
Cellular iron regulation in animals: need and use of suitable models
As with virtually all biologically essential transition metals, but probably in a more acute way than most, iron excess and deficiency underlie a range of pathological conditions in animals.Expand
  • 4
  • PDF
Nutzen-Risiko-Bewertung von Mineralstoffen und Spurenelementen
Die Jahrestagungen der Gesellschaft fur Mineralstoffe und Spurenelemente e .V. (GMS) behandeln Themen an den Schnittstellen zwischen Medizin, Ernahrung, Biologie, Chemie und Umwelt. Dieses BuchExpand