Knowledge Tree

researcher / Gilles Bernot

Gilles Bernot

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Mathematics

Edit Merge See Links

Thesis:

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

Directed Thesis:

Modélisation constructive des systèmes à événements discrets. Application aux organismes artificiels

Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques

Modeling the dynamics of gene regulatory networks : piecewise linear differential equations and discrete approaches

Modèle formel pour les réseaux de régulation génétique et influence des circuits de rétroaction

Partitionnement logiciel/matériel par recuit simulé adaptatif

Une axiomatisation de la réécriture abstraite

Hierarchie et heterogeneite dans les specifications formelles

Specifications algebriques observationnelles modulaires : une semantique fondee sur une relation de satisfaction observationnelle