Domain: Bioinformatics
Keywords: Formal Methods, Biological Regulatory Networks, Parameters Inference
-
The 11th thematic school on Advances in Systems and Synthetic Biology,
Introduction to the Process Hitting and inference of its underlying Biological Regulatory Network.
March 2013, La Colle-sur-Loup, France.
[ Slides ]
-
The 10th school for young researchers about Modelling and Verifying Parallel processes,
Inferring Biological Regulatory Networks from Process Hitting models.
December 2012, Marseille, France.
[ Slides ]
-
The 10th Conference on Computational Methods in Systems Biology,
Concretizing the Process Hitting into Biological Regulatory Networks.
October 2012, London, United Kingdom.
[ Slides ]
-
ECML-PKDD 2012 Workshop on
Learning and Discovery in Symbolic Systems Biology,
Abducing Biological Regulatory Networks from Process Hitting models.
September 2012, Bristol, United Kingdom.
[ Slides ]
-
Fourth CSPSAT & ASP Seminar,
Concretizing Process Hitting models into Biological Regulatory Networks with Thomas formalism using ASP.
May 2012, Kobe, Japan.
[ Slides ]
-
KUBIC-NII Joint Seminar on Bioinformatics 2012,
Translating Process Hitting models to Thomas modeling with ASP.
April 2012, Kyoto, Japan.
[ Slides ]
-
8th Meeting on Inference-based Hypothesis-finding and its Application to Systems Biology,
Modeling and Analysis of Large Biological Regulatory Networks thanks to the Process Hitting Framework.
March 2012, Kanazawa, Japan.
[ Slides ]
Posters
Conferences and workshops with full-paper selection
-
M. Folschette, L. Paulevé, K. Inoue, M. Magnin, and O. Roux.
Concretizing the Process Hitting into Biological Regulatory Networks.
In D. Gilbert and M. Heiner, editors, Computational Methods in Systems Biology (10),
Lecture Notes in Computer Science, 166186.
Springer Berlin Heidelberg, October 2012, London, United Kingdom.
[ PDF | DOI ]
— Acceptance rate: 37%
-
M. Folschette, L. Paulevé, K. Inoue, M. Magnin, and O. Roux.
Abducing Biological Regulatory Networks from Process Hitting models.
ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology.
September 2012, Bristol, United Kingdom.
[ PDF ]
Other publications
-
M. Folschette.
Presentation of the Process Hitting framework and inference of Biological Regulatory Networks with Thomas parameters.
Short paper for the JDOC students meeting.
April 2013, Saint Nazaire, France.
[ PDF ]
-
M. Folschette.
Introduction to the Process Hitting and inference of its underlying Biological Regulatory Network.
Short paper submission for the ASSB student worshop.
March 2013, La Colle-sur-Loup, France.
[ PDF ]
-
M. Folschette.
Inferring Biological Regulatory Networks from Process Hitting models.
Extended abstract for the MOVEP student sessions.
December 2012, Marseille, France.
[ PDF ]
-
M. Folschette.
Application de la logique de Hoare aux réseaux de régulation génétique avec multiplexes,
Master thesis.
September 2011, Nantes, France.
[ PDF(fr) | Slides(fr) ]
-
M. Folschette. A presentation of Thomas modelling,
for a beginner-friendly writing contest launched by en.bioinformatyk.eu.
September 2011.
[ Link ]
Previous research interest: nuclear fusion
-
A. Murari, D. Mazon, M. Gelfusa, M. Folschette, T. Quilichini and EFDA-JET contributors.
Residual analysis of the equilibrium reconstruction quality on JET, Nuclear Fusion (51-5).
April 2011.
[ DOI ]
— Impact factor: 4.090
These subjects will be supervised by:
Masters thesis proposals for 2012/2013 (in French)
L3 internship proposals for 2012/2013 (in French)
Teaching
I give lessons and practicals at the ECN for 1st and 2nd year students (bac+3, bac+4) in the following courses:
-
MELOG: Object-oriented programming, Java language, Data structures
-
ALGPR: Algorithmic, Programming, C language
-
dSIBAD: Information systems, Databases, SQL langage
I also supervised several projects of 3rd year students (bac+5) in computer science.
Other activities
Member of the AED, an association for PhD students on the ECN campus.