Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Russ Harmer

a dirigé 1 thèse
a été membre de jury pour 1 thèse

Bases de données orientées graphes Bio-curation Bisimulations Flot d’information Interprétation abstraite Modélisation par règles de réécritures Modélisation à base de règles Piste d'audit Programmation logique Représentation des connaissances Réduction de modèles Réécriture de graphes Signalisation cellulaire Transformation de graphes Voies de signalisation

Fullscreen

Bases de données orientées graphes Bio-curation Bisimulations Flot d’information Interprétation abstraite Modélisation par règles de réécritures Modélisation à base de règles Piste d'audit Programmation logique Représentation des connaissances Réduction de modèles Réécriture de graphes Signalisation cellulaire Transformation de graphes Voies de signalisation

Russ Harmer a dirigé la thèse suivante :

Knowledge representation and curation in hierarchies of graphs

par Ievgeniia Oshurko sous la direction de Russ Harmer - Lyon

Informatique

Soutenue le 06-07-2020

Thèse soutenue

Accéder en ligne

Russ Harmer a été membre de jury de la thèse suivante :

Formal and exact reduction for differential models of signalling pathways in rule-based languages

par Ferdinanda Camporesi sous la direction de Jérôme Feret et de Radhia Cousot . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 23-01-2017

Thèse soutenue

Accéder en ligne