researcher / François Fages

François Fages

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Model Building by Temporal Logic Constraint Solving : Investigation of the Coupling between the Cell Cycle and the Circadian Clock
Subgraph Epimorphisms : Theory and Application to Model Reductions in Systems Biology
Metro regenerative braking energy : optimization through rescheduling : mathematical model and greedy heuristics compared to MILP and CMA-ES
Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques
Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques
Un langage de modélisation à base de règles pour la programmation par contraintes
Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire
Preuves d'équivalence de programmes logiques
Typage et programmation en logique avec contraintes
Programmation concurrente avec contraintes fondee sur la logique lineaire
Programmation visuelle par contraintes et typage statique
Logique non-commutative et programmation concurrente par contraintes
Contribution de la programmation par contraintes au transport : definition et resolution d'un modele complexe de gestion de flotte
Cc(m), un noyau parallele pour l'implantation des langages de contraintes concurrents
Extension réactive de la programmation logique avec contraintes et applications en optimisation combinatoire
Concurrence et cooperation de modeles multiples dans les langages de contraintes clp et cc : vers une methodologie de programmation par modelisation
Les mondes possibles dans les systemes de production : un metalangage pour la gestion d'hypotheses et le raisonnement non monotone