About: François Fages

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: François Fages Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Fages, François (1959-....) Fages, François (1959-....) Fages, François (1959-....) Fages, François (1959-....) Fages, François (1959-....)
Life Event	http://www.idref.fr/03429502X/birth
bnf-onto:FRBNF	12506475(xsd:integer)
preferred label	Fages, François (1959-....)
name	François Fages
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000037541119
Given name	François
familyName	Fages
has biographical i...tion (Deprecated)	Directeur de thèse à l'Université Pierre et Marie Curie - Paris 6, 2010 Chargé de recherche au CNRS, à l'École Normale Supérieure et Maître de conférences à l' École polytechnique (en 1996). Directeur de recherche à l'Inria Saclay et professeur à mi-temps à l'École polytechnique (en 2020). Directeur de recherche à l'Inria Saclay (en 2022)
gender	male
ORCID iD	0000-0001-5650-8266
Scopus ID	7004561416
is sameAs of	Fages, François (1959-....) Fages, François (1959-....) Fages, François (1959-....)
is Thesis advisor of	http://www.sudoc.fr/059954132/id http://www.sudoc.fr/177831553/id http://www.sudoc.fr/089050924/id http://www.sudoc.fr/122907922/id Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques http://www.sudoc.fr/044109199/id http://www.sudoc.fr/043726496/id http://www.sudoc.fr/184255384/id http://www.sudoc.fr/079152805/id http://www.sudoc.fr/154822655/id http://www.sudoc.fr/197032354/id http://www.sudoc.fr/049562371/id http://www.sudoc.fr/089022610/id Modélisation et vérification des réseaux de Petri hybrides temporisés, application à la métamorphose amphibienne http://www.sudoc.fr/043711545/id Subgraph Epimorphisms, Theory and Application to Model Reductions in Systems Biology http://www.sudoc.fr/198219377/id http://www.sudoc.fr/049584731/id http://www.sudoc.fr/148915566/id http://www.sudoc.fr/04359753X/id 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 http://www.sudoc.fr/247947962/id http://www.sudoc.fr/247975680/id LOGIQUE NON-COMMUTATIVE ET PROGRAMMATION CONCURRENTE PAR CONTRAINTES Un langage de modélisation à base de règles pour la programmation par contraintes http://www.sudoc.fr/245748652/id http://www.sudoc.fr/246818956/id http://www.sudoc.fr/246746750/id http://www.sudoc.fr/19895476X/id http://www.sudoc.fr/259588547/id Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques http://www.sudoc.fr/247026131/id http://www.sudoc.fr/248063421/id http://www.sudoc.fr/248049372/id Typage et programmation en logique avec contraintes http://www.sudoc.fr/246549645/id PROGRAMMATION CONCURRENTE AVEC CONTRAINTES FONDEE SUR LA LOGIQUE LINEAIRE http://www.sudoc.fr/263434001/id http://www.sudoc.fr/24573807X/id http://www.sudoc.fr/249363216/id Preuves d'équivalence de programmes logiques Metro regenerative braking energy, optimization through rescheduling, mathematical model and greedy heuristics compared to MILP and CMA-ES Model Building by Temporal Logic Constraint Solving, Investigation of the Coupling between the Cell Cycle and the Circadian Clock http://www.sudoc.fr/262758792/id http://www.sudoc.fr/26650213X/id http://www.sudoc.fr/275139654/id
is Praeses of	http://www.sudoc.fr/193764016/id http://www.sudoc.fr/237520567/id http://www.sudoc.fr/248545019/id http://www.sudoc.fr/268523967/id http://www.sudoc.fr/277579775/id
is Author of	http://www.sudoc.fr/020827210/id Formes canoniques dans les algèbres booléennes, et application à la démonstration automatique en logique de premier ordre http://www.sudoc.fr/126096767/id http://www.sudoc.fr/003906116/id http://www.sudoc.fr/04308706X/id The SYMBIONT Project: Symbolic Methods for Biological Networks Programmation logique par contraintes A graphical method for reducing and relating models in systems biology http://www.sudoc.fr/198887361/id http://www.sudoc.fr/198906331/id In silico control of biomolecular processes A constraint solving approach to model reduction by tropical equilibration On Chemical Reaction Network Design by a Nested Evolution Algorithm Graphical Conditions for Rate Independence in Chemical Reaction Networks Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs On Estimating Derivatives of Input Signals in Biochemistry On the Complexity of Quadratization for Polynomial Differential Equations Un système de types pour CHR Types for Web Rule Languages: a preliminary study On Robustness Computation and Optimization in BIOCHAM-4 http://www.sudoc.fr/240840194/id Hybrid Simulations of Heterogeneous Biochemical Models in SBML Biochemical Programs and Analog-Digital Mixed Algorithms in the Cell The SYMBIONT project: symbolic methods for biological networks

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software