Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche CONTRAINTES
Publications de l'équipe CONTRAINTES
2012
Rapports
- Titre
- STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification
- Auteurs
- Szymon Stoma
; Alexandre Donzé; François Bertaux; Oded Maler; Grégory Batt - Détail
- [Research Report], 2012, pp. 35. RR-8121
- Accès au texte intégral et bibtex
-
- Titre
- Reifying Global Constraints
- Auteurs
- Francois Fages; Sylvain Soliman
- Détail
- [Research Report], 2012, pp. 18. RR-8084
- Accès au texte intégral et bibtex
-
- Titre
- Automatic Curation of SBML Models based on their ODE Semantics
- Auteurs
- Francois Fages; Steven Gay; Sylvain Soliman
- Détail
- [Research Report], 2012. RR-8014
- Accès au texte intégral et bibtex
-
- Titre
- Towards a Generic Trace for Rule Based Constraint Reasoning
- Auteurs
- Armando Gonçalves Da Silva Junior; Pierre Deransart ; Luis-Carlos Menezes; Marcos-Aurélio Almeida Da Silva; Jacques Robin
- Détail
- [Research Report], 2012, pp. 42. RR-7939
- Accès au texte intégral et bibtex
-
2011
Documents sans référence de publication
- Titre
- Generic Traces and Constraints, GenTra4CP revisited
- Auteurs
- Pierre Deransart
- Détail
- May. 2011
- Accès au texte intégral et bibtex
-
2010
Articles dans des revues avec comité de lecture
- Titre
- Mathematical modelling of cell-fate decision in response to death receptor engagement.
- Auteurs
- Laurence Calzone; Laurent Tournier; Simon Fourquet; Denis Thieffry; Boris Zhivotovsky; Emmanuel Barillot; Andrei Zinovyev
- Détail
- PLoS Computational Biology, 2010, 6 (3), pp. e1000702
- Accès au texte intégral et bibtex
-
- Titre
- Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling.
- Auteurs
- Aurélien Naldi; Jorge Carneiro; Claudine Chaouiya; Denis Thieffry
- Détail
- PLoS Computational Biology, 2010, 6 (9), pp. e1000912
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
- Auteurs
- Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro; Hidde De Jong
- Détail
- [Research Report], 2010. RR-7284
- Accès au texte intégral et bibtex
-
- Titre
- Modelling molecular networks: relationships between different formalisms and levels of details
- Auteurs
- Sylvain Soliman; Claudine Chaouiya; Grégory Batt; Francois Fages; Élisabeth Remy; Franck Pommereau; Laurence Calzone
- Détail
- [Research Report], 2010. RR-7221
- Accès au texte intégral et bibtex
-
- Titre
- Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
- Auteurs
- Pierre Deransart; Rafael Oliveira
- Détail
- [Research Report], 2010, pp. 53. RR-7165
- Accès au texte intégral et bibtex
-
Documents sans référence de publication
- Titre
- Vers une exo-mémoire personnelle supportée par un seul fichier texte
- Auteurs
- Pierre Deransart
- Détail
- Aug. 2010. Une version légèrement réduite de cet article est publiée en anglais dans les actes du workshop PSD 2010 http://ekaw2010.inesc-id.pt/psd.html
- Accès au texte intégral et bibtex
-
2009
Articles dans des revues avec comité de lecture
- Titre
- Towards a systems biology approach of-G protein-coupled receptor signalling: challenges and expectations.
- Auteurs
- Domitille Heitzler; Pascale Crépieux; Anne Poupon; Frédérique Clément; Francois Fages; Eric Reiter
- Détail
- Comptes Rendus Biologies, elsevier, 2009, 332 (11), pp. 947-57
- Accès au bibtex
-
- Titre
- A general computational method for robustness analysis with applications to synthetic gene networks
- Auteurs
- Aurélien Rizk; Grégory Batt; Francois Fages; Sylvain Soliman
- Détail
- Bioinformatics, Oxford University Press, 2009, 25 (12), pp. il69-il78
- Accès au bibtex
-
- Titre
- Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans
- Auteurs
- Krishnamachari Sriram; Sylvain Soliman; Francois Fages
- Détail
- Journal of Theoretical Biology, Elsevier, 2009, 258 (1), pp. 71-88
- Accès au bibtex
-
Communications avec actes
- Titre
- CHR modulaire avec ask et tell
- Auteurs
- Francois Fages; Thierry Martinez; Cleyton Rodrigues
- Détail
- Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp. 75-85
- Accès au texte intégral et bibtex
-
- Titre
- Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure
- Auteurs
- Sylvain Soliman
- Détail
- Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09, Feb 2009, Vienna, Austria. ARGESIM, pp. 2304-2312
- Accès au bibtex
-
Autres publications
- Titre
- Conception de traces et applications (vers une méta-théorie des traces).
- Auteurs
- Pierre Deransart
- Détail
- Dec. 2009. Méta Théorie des traces et applications Manuscrit. Etat au 5/2/2010 Il s'agit de la première version dans laquelle tous les exemples ont été mis en cohérence avec le texte.
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Model-based Predictions of the Influence of Circadian Clock Genes Knock-Outs on the Cell Cycle
- Auteurs
- Elisabetta De Maria; Francois Fages; Sylvain Soliman
- Détail
- [Research Report], 2009. RR-7064
- Accès au texte intégral et bibtex
-
Documents sans référence de publication
- Titre
- Conception de traces, et applications, vers une méta-théorie des traces (Towards a Meta-Thoery of traces)
- Auteurs
- Pierre Deransart
- Détail
- Mar. 2009, temporary manuscript for collaborative work
- Accès au texte intégral et bibtex
-
2008
Articles dans des revues avec comité de lecture
- Titre
- Complex dynamics in the Oregonator model with linear delayed feedback
- Auteurs
- Krishnamachari Sriram; Samuel Bernard
- Détail
- Chaos, 2008, 18, pp. 023126
- Accès au bibtex
-
Communications avec actes
- Titre
- On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
- Auteurs
- Aurélien Rizk; Grégory Batt; Francois Fages; Sylvain Soliman
- Détail
- Springer-Verlag. CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, Oct 2008, Rostock, Germany. 5307, pp. 251-268, Lecture Notes in Computer Science
- Accès au bibtex
-
- Titre
- From reaction models to influence graphs and back: a theorem
- Auteurs
- Francois Fages; Sylvain Soliman
- Détail
- Springer-Verlag. Proceedings of Formal Methods in Systems Biology FMSB'08, Feb 2008, Cambridge, United Kingdom. 5054, LNCS
- Accès au bibtex
-
- Titre
- A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
- Auteurs
- Nicolas Beldiceanu; Mats Carlsson; Julien Martin
- Détail
- Springer-Verlag. 14th International Conference on Principles and Practice of Constraint Programming (CP'08), 2008, Australia. 5202, pp. 220-234, Lecture Notes in Computer Science
- Accès au bibtex
-
- Titre
- Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle
- Auteurs
- Francois Fages; Aurélien Rizk
- Détail
- Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp. 1-10
- Accès au texte intégral et bibtex
-
- Titre
- Des règles aux contraintes avec le langage de modélisation Rules2CP
- Auteurs
- Francois Fages; Julien Martin
- Détail
- Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp. 361-371
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- Auteurs
- Francois Fages; Julien Martin
- Détail
- [Research Report], 2008. RR-6495
- Accès au texte intégral et bibtex
-
2007
Communications avec actes
- Titre
- Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques
- Auteurs
- Pierre Deransart; Mireille Ducassé; Gérard Ferrand
- Détail
- Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France.
- Accès au texte intégral et bibtex
-
Directions d'ouvrages
- Titre
- Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming
- Auteurs
- Francois Fages; Francesca Rossi; Sylvain Soliman
- Détail
- INRIA, 2007
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
- Auteurs
- Pierre Deransart; Mireille Ducassé; Gérard Ferrand
- Détail
- [Interne], 2007, pp. 54. RR-6229
- Accès au texte intégral et bibtex
-
2006
Rapports
- Titre
- Modules for Prolog Revisited
- Auteurs
- Rémy Haemmerlé; Francois Fages
- Détail
- [Research Report], 2006, pp. 17. RR-5869
- Accès au texte intégral et bibtex
-
- Titre
- Coupling the Cell cycle and the Circadian Cycle
- Auteurs
- Laurence Calzone; Sylvain Soliman
- Détail
- [Research Report], 2006, pp. 15. RR-5835
- Accès au texte intégral et bibtex
-
- Titre
- On Internalizing Modules as Agents in Concurrent Constraint Programming
- Auteurs
- Remy Haemmerle; Francois Fages; Sylvain Soliman
- Détail
- [Research Report], 2006. RR-5981
- Accès au texte intégral et bibtex
-
2005
Communications avec actes
- Titre
- Un Système de Module Fermé pour la PLC
- Auteurs
- Rémy Haemmerlé; Francois Fages
- Détail
- Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens. Université d'Artois, Premières Journées Francophones de Programmation par Contraintes, pp. 169-178
- Accès au texte intégral et bibtex
-
- Titre
- Un système de types pour CHR
- Auteurs
- Emmanuel Coquery; Francois Fages
- Détail
- Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens. Université d'Artois, Premières Journées Francophones de Programmation par Contraintes, pp. 189-198
- Accès au texte intégral et bibtex
-
- Titre
- Machine Learning Bio-molecular Interactions from Temporal Logic Properties
- Auteurs
- Laurence Calzone; Nathalie Chabrier-Rivier; Francois Fages; Lucie Gentils; Sylvain Soliman
- Détail
- Gordon Plotkin. Third Workshop on Computational Methods in Systems Biology, Apr 2005, Edinburgh, Scotland.
- Accès au texte intégral et bibtex
-
- Titre
- A Machine Learning approach to Biochemical Reaction Rules Discovery
- Auteurs
- Laurence Calzone; Nathalie Chabrier-Rivier; Francois Fages; Sylvain Soliman
- Détail
- Francis J. Doyle III. Proceedings of Foundations of Systems Biology and Engineering {FOSBE'05}, 2005, Santa Barbara. pp. 375-379
- Accès au texte intégral et bibtex
-
- Titre
- Apprentissage de règles de réactions biochimiques à partir de propriétés en logique temporelle
- Auteurs
- Laurence Calzone; Nathalie Chabrier-Rivier; Francois Fages; Sylvain Soliman
- Détail
- Guy Perrière, Alain Guénoche et Christophe Geourjon. Actes de {JOBIM}'05, Jul 2005, Lyon. pp. 183-192
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Learning Transition Rules from Temporal Logic Properties
- Auteurs
- Nathalie Chabrier-Rivier; Francois Fages; Sylvain Soliman; Laurence Calzone
- Détail
- [Research Report], 2005. 5543
- Accès au bibtex
-
- Titre
- Allocation distribuée de ressources dans le système CONSENSUS
- Auteurs
- Sylvain Sécherre; Francois Fages
- Détail
- [Research Report], 2005, pp. 79. RT-0308
- Accès au texte intégral et bibtex
-
- Titre
- Closures are Needed for Closed Module Systems
- Auteurs
- Rémy Haemmerlé; Francois Fages
- Détail
- [Research Report], 2005, pp. 19. RR-5575
- Accès au texte intégral et bibtex
-
- Titre
- A Type System for CHR
- Auteurs
- Emmanuel Coquery; Francois Fages
- Détail
- [Research Report], 2005, pp. 17. RR-5565
- Accès au texte intégral et bibtex
-
- Titre
- Learning Transition Rules from Temporal Logic Properties
- Auteurs
- Nathalie Chabrier-Rivier; Francois Fages; Sylvain Soliman; Laurence Calzone
- Détail
- [Research Report], 2005, pp. 19. RR-5543
- Accès au texte intégral et bibtex
-
- Titre
- A Tracer Driver to Enable Concurrent Dynamic Analyses
- Auteurs
- Ludovic Langevine; Mireille Ducassé
- Détail
- [Research Report], 2005. RR-5611
- Accès au texte intégral et bibtex
-
2004
Articles dans des revues avec comité de lecture
- Titre
- Modeling and Querying biological networks
- Auteurs
- Nathalie Chabrier; Marc Chiaverini; Vincent Danos; Francois Fages; Vincent Schachter
- Détail
- Theoretical Computer Science, 2004, 325 (1), pp. 25-44
- Accès au bibtex
-
Articles de vulgarisation scientifique
- Titre
- La programmation par contraintes
- Auteurs
- Sylvain Soliman; Francois Fages
- Détail
- Interstices, INRIA, 2004
- Accès au bibtex
-
Communications avec actes
- Titre
- The Biochemical Abstract Machine {BIOCHAM}
- Auteurs
- Nathalie Chabrier-Rivier; Francois Fages; Sylvain Soliman
- Détail
- Vincent Danos and Vincent Schächter. {CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris. Springer-Verlag, 3082, pp. 172-191
- Accès au texte intégral et bibtex
-
2003
Rapports
- Titre
- Subtyping constraints in quasi-lattices
- Auteurs
- Emmanuel Coquery; Francois Fages
- Détail
- [Research Report], 2003. RR-4926
- Accès au texte intégral et bibtex
-
- Titre
- Pi-calculus and LCC, a Space Odyssey
- Auteurs
- Sylvain Soliman
- Détail
- [Research Report], 2003. RR-4855
- Accès au texte intégral et bibtex
-
2001
Rapports
- Titre
- Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
- Auteurs
- Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier
- Détail
- [Research Report], 2001. RR-4342
- Accès au texte intégral et bibtex
-
2000
Rapports
- Titre
- Well-Typed Logic Programs Are not Wrong
- Auteurs
- Pierre Deransart; Jan Georg Smaus
- Détail
- [Research Report], 2000. RR-4082
- Accès au texte intégral et bibtex
-
- Titre
- Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
- Auteurs
- Jan-Georg Smaus; Francois Fages; Pierre Deransart
- Détail
- [Research Report], 2000. RR-4020
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
