Main recent publications (bioinformatics)




Corblin F, Fanchon E, Mobilia N, Trilling L.
 Modélisation ASP pour l’analyse méthodique de réseaux géniques discrets.
 JFPC 2011 (Journées Françaises de Programmation par Contraintes), Lyon, 2011.[pdf]


Corblin F, Fanchon E, Mobilia N, Trilling L.
A non monotonic declarative approach for analyzing discrete genetic regulation networks,
poster, IPG 2011 (Integrative Post-Genomics), Lyon, 2010.[pdf]


Corblin F, Bordeaux L, Fanchon E, Hamadi Y, Trilling L.
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology.
In: Hybrid Optimization: the 10 years of CP-AI-OR, P. van Hentenryck and M. Milano (eds.), Springer, 2010. [book contents] [pdf]

Corblin F, Fanchon R, Trilling L.
Application of a formal approach to decipher discrete genetic networks.
BMC Bioinformatics, 11, 385, 2010.

Corblin F, Tripodi S, Fanchon E, Ropers D, Trilling L.
A declarative constraint-based method for analyzing discrete genetic regulatory networks
Biosystems, 98, 91-104, 2009 [pdf]

Carvunis AR, Gomez E, Thierry-Mieg N, Trilling L, Vidal M.
Systems biology: from yesterday's concepts to tomorrow's discoveries [Article in French].
Med Sci (Paris). 2009 Jun-Jul;25(6-7):578-84. [pdf]

Corblin F, Bordeaux L, Hamadi Y, Fanchon E, Trilling L.
A SAT-based approach to decipher Gene Regulatory Networks.
Integrative Post-Genomics, RIAMS, Lyon, 2007  [pdf]

Corblin F, Fanchon E, Trilling L.
Modélisation de réseaux biologiques discrets en Programmation Logique par Contraintes.
Technique et Science Informatiques, n° spécial Modélisation et simulation pour la post-génomique, Edition Lavoisier, Hermes Sciences, vol. 26, 73-98, 2007. [pdf]

Corblin F, Fanchon E, Trilling L.
Constraint Logic Programming for modeling a biological system described by a logical network.
Workshop on Constraint Based Methods for Bioinformatics (WCB05), International Conference on Principles and Pratice of Constraint Programming (CP05), Sitges (Espagne), 2005. [pdf]

Corblin F, Fanchon E,Trilling L.
Modélisation d'un réseau contrôlant l'adhésion cellulaire sous la forme d'un réseau multivaluué asynchrone : mise en oeuvre en programmation logique par contraintes.
Journées Ouvertes Biologie Informatique Mathématiques (JOBIM 2005),
Lyon, 2005. [pdf]

Corblin F, Fanchon E, Trilling L
Inférer et simuler un modèle biologique décrivant l'adhérence entre cellules.
 JFPC 2005 (Journées françaises de la programmation logique avec contraintes), Lens, 2005. [pdf]

Fanchon E, Corblin F, Trilling L, Hermant B, Gulino D
Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming ,Computational Methods in Systems Biology, Lecture Notes in Bioinformatics, 3082, 104-118, 2005  [pdf]

Thierry-Mieg N, Trilling L
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans.
In O. Gascuel M.F. Sagot eds., JOBIM 2000 selected papers, Lecture Notes in Computer Science (2001), 2066, 135-146. [pdf]


Some other recent activities



Year 2011

Bernot G, Comet J-P,  Trilling L.
Réseaux logiques de régulation génique intégrant délais et accumulations,
SFBT2011 (Société Française de Biologie Théorique), Autrans, mai 2011.[ppt]

Corblin F, Fanchon E, Mobilia N, Trilling L.
An ASP (Answer Set programming) Based Declarative Analysis of Logical Genetic Networks,
 Formalisme logique, apports et défis pour la modélisation des réseaux de régulation biologique,  avril 2011, Rabat, Maroc.[pdf]

 

Year 2009

Corblin F, Tripodi S, Fanchon E, Ropers D, Trilling L.
Applying a declarative constraint-based method to the re-examination of a discrete genetic regulatory network
The 3rd Franco-Japanese on knowledge symposium discovery in systems biology, Bastia, sept. 2009. [slides1-slides2]

Fanchon E, Corblin F, Trilling L.
Constraint-based modeling of the Drosophila Gap-gene regulatory network.
EEC09 (European Conference on Complex Systems 2009), Warwick, 2009.[pdf]

Trilling L.
Approche déclarative de la modélisation de réseaux géniques discrets : expériences et perspectives.
Invited speaker, JFPC09 (Journées Francophones de Programmation avec Contraintes), Orléans, juin 2009.


Trilling L.
Bioinformatique, Intelligence Artificielle et réseaux de régulation géniques.
Invited course, COSI'2009 (Colloque sur l'Optimisation et les Systèmes d'Information), Annaba, Algérie, mai 2009.


Year 2008


Tripodi S, Corblin F, Trilling L, Fanchon E.
A constraint based declarative methodology for the construction and revision of biological network models.
ECCS08 (Europ. Conf. on Complex Systems), Jérusalem, septembre 2008.


Trilling L.
ALGOL 68 and Grenoble influence.
Soft-EU Conf.  :  ALGOL, IBM and Software Crisis, the state of historiography in transnational interpretations, Grenoble, January 2008. [slides]


Year 2007
Trilling L.
Logic and Constraint Programming for constructing and analysing Logical Models of Regulatory Networks,
Invited course for  the CNRS Thematic School, Modelling Complex Biological Systems in the context of Genomics, Evry, May 2007. [slides]

Tripodi S, Fabien C,  Fanchon E,  Ropers D, Trilling L.
A declarative approach for contructing a discrete regulatory network.
IPG07 (Integrative Post-Genomics 07), Lyon, Nov. 2007.


Fanchon E,  Corblin F, Tripodi S, Trilling L.
 Constraints-based methods for the qualitative modeling of biological networks.
 Workshop: Toward System Biology (O. Maler, Verimag), Oct. 2007. [slides]