Bernot, Gilles
VIAF ID: 198768750 ( Personal )
Permalink: http://viaf.org/viaf/198768750
Preferred Forms
- 100 1 _ ‡a Bernot, Gilles
- 100 1 _ ‡a Bernot, Gilles
Works
Title | Sources |
---|---|
Abstractions of biochemical reaction networks | |
Abstracts data types with exception handling : an initial approach based on a distinction between exceptions and errors | |
Une axiomatisation de la réécriture abstraite | |
Contributions à la sémantique de la programmation logique | |
Correctness proofs for abstract implementations | |
Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. | |
Design, modeling and simulation in silico of an artificial biological nanosystem for medical diagnosis. | |
Discrete event modeling and analysis for systems biology models | |
Discrete model life cycle and application to the regulation of pancreatic cancer cells. | |
Discrete modelling of the energy metabolism regulation of eukaryotic cells and formal validation of its dynamics. | |
Dynamic of metabolic network with constraint-based model : an approach by sampling of solution trajectories. | |
Dynamique d'un réseau métabolique avec un modèle à base de contraintes : approche par échantillonnage des trajectoires solutions | |
Etude de la préservation des propriétés temporelles des réseaux de régulation génétique au travers du plongement : vers une caractérisation des systèmes complexes par l'émergence de propriétés | |
Étude et prédiction des rechutes de leucémie aiguë lymphoblastique T pédiatrique | |
Exception handling and term labelling | |
Exploitation de données de séquences et de puces à ADN pour l’étude du transcriptome | |
Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation. | |
Formalisation of biological regulatory networks | |
Good functors ... are those preserving philosophy! | |
Hardware/software partitioning using a new simulated annealing. | |
HIERARCHIE ET HETEROGENEITE DANS LES SPECIFICATIONS FORMELLES | |
Initial models of algebraic specifications with exception handling | |
Introducing unbounded arities : sequence algebras | |
Label algebras : a systematic use of terms | |
Mining sequence and microarray data to study the transcriptome. | |
Mises à jour de réseaux d'automates | |
Modèle formel pour les réseaux de régulation génétique et influence des circuits de rétroaction | |
Modèles qualitatifs de réseaux génétiques : réduction de modèles et introduction d'un temps continu | |
Modélisation, analyse et réduction des systèmes biologiques | |
Modélisation constructive des systèmes à événements discrets. Application aux organismes artificiels | |
Modélisation de la dynamique des réseaux de régulation génétique : équations diférentielles linéaires par morceaux et approches discrètes. | |
Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne | |
Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire | |
Modelling complex biological systems in the context of genomics : proceedings of the Nice spring school on..., Nice, March 30 th - April 3 rd, 2009 | |
Motifs de codes circulaires dans les gènes codant les protéines et les ARN ribosomaux | |
Neurone abstrait : une formalisation de l'intégration dendritique et ses propriétés algébriques | |
Partitionnement logiciel/matériel par recuit simulé adaptatif | |
Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée | |
Qualitative models of gene networks : model reduction and introducing continuous time. | |
Une sémantique algébrique pour une spécification differenciée des exceptions et des erreurs : application à l'implémentation et aux primitives de structuration des spécifications formelles | |
Sequential correctness properties in a shared-memory parallel language. | |
Software testing based on formal specifications : a theory and a tool | |
SPECIFICATIONS ALGEBRIQUES OBSERVATIONNELLES MODULAIRES : UNE SEMANTIQUE FONDEE SUR UNE RELATION DE SATISFACTION OBSERVATIONNELLE | |
Study and prediction of relapses in T-cell Acute Lymphoblastic Leukemia. | |
Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux biologiques | |
Temporal property preservation along embedding of genetic regulatory networks : toward complex system characterization by the emergence of properties. | |
Top predator breeding success in the context of climate change and ocean dynamics – Application to central place foragers of austral polar zone, an individual based modeling approach. | |
Topics in mass spectrometry based structure determination. | |
Updating Automata Networks. |