Loïc Paulevé's HomePage

Computer science Ph.D. Student - 3rd year

"Introduction of temporal parameters within π-calculus modelling of gene regulatory networks."

Supervised by Oliver Roux and Morgan Magnin - Laboratory: IRCCyN, Nantes, France.

Contact

systems biology, abstract interpretation, static analysis, stochastic processes, parameters inference, biological regulatory networks.

(2010) Moniteur à l'École centrale de Nantes.
(2010) École centrale de Nantes, 1re année : dSIBAD (SQL) - TP.
(2010) École centrale de Nantes, 1re année : ALGPR (C) - TD, TP.
(2009, 2008) École centrale de Nantes, 2e année : MELOG (Java) - TD, TP.
(2009) Licence Pro SIL de Nantes : Bases de données distribuées - cours magistral, TD.

Journée des doctorants de l'ED STIM, Modélisation et Vérification des Réseaux de Régulations entre Gènes. April 2010. Best presentation award. [ slides ].
Biogenouest integrative genomics project, Modélisation, Simulation, Vérification et Contrôle des Grands Réseaux de Régulation Génique. April 2010. [ slides ].
Workshop "Modélisation dynamique et simulation des réseaux biologiques", Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. June 2009. [ slides ].
Workshop "Constructing gene networks", Stochastic π-calculus modelling of gene regulatory networks. January 2009. [ slides ].
Workshop MaReBio'08, Temporal parameters within π-calculus modelling of gene regulatory networks. November 2008. [ slides ]
Soutenance de master recherche, Réseaux géométriques pour l'indexation et la recherche en grandes dimensions. June 2008. [ slides ]

[PR10-CRAS]: Loïc Paulevé and Adrien Richard. Topological Fixed Points in Boolean Networks. Comptes Rendus de l'Académie des Sciences - Section Mathématique, 348(15-16):825 - 828, 2010. [ bib | DOI ]
[PMR10-TCSB]: Loïc Paulevé, Morgan Magnin, and Olivier Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. Transactions in Computational Systems Biology, To appear, 2010. Preprint: http://www.irccyn.ec-nantes.fr/~pauleve/refining-revised.pdf. [ bib ]
[PJA10]: Loïc Paulevé, Hervé Jégou, and Laurent Amsaleg. Locality sensitive hashing: A comparison of hash function types and querying mechanisms. Pattern Recognition Letters, 31(11):1348 - 1358, 2010. [ bib | DOI ]

[PMR10-SASB]: Loïc Paulevé, Morgan Magnin, and Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. In The First International Workshop on Static Analysis and Systems Biology (SASB 2010), To appear, 2010. [ bib ]
[PYLP10-CMSB]: Loïc Paulevé, Simon Youssef, Matthew R. Lakin, and Andrew Phillips. A Generic Abstract Machine for Stochastic Process Calculi. In Computational Methods in Systems Biology (CMSB 2010), To appear, 2010. [ bib ]

[PMR09-RR-Tuning]: Loïc Paulevé, Morgan Magnin, and Olivier Roux. Tuning Temporal Features within the Stochastic π-Calculus. Research Report hal-00397308, IRCCyN, June 2009. [ bib | http ]
[PMR09-RR-Refining]: Loïc Paulevé, Morgan Magnin, and Olivier Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. Research Report hal-00397235, IRCCyN, June 2009. [ bib | http ]
[PauMasterThesis]: Loïc Paulevé. Euclidean lattices for high dimensional indexing and searching. Research report, IRISA, 2008. [ bib | http ]

(by date/name)