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

  • E-Mail : loic.pauleve[at]irccyn.ec-nantes.fr
  • Phone : +33 240 376 970 - Fax : +33 240 376 930
  • Office location (IRCCyN) : S.507
  • Address :
    IRCCyN
    École Centrale de Nantes
    1 rue de la Noë - B.P. 92101
    44321 Nantes Cedex 3, France

Research keywords

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

Teaching

Talks

Publications

International Journals

[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 ]

International Conferences

[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 ]

Reports

[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 ]

Co-authors

(by date/name)

Awards

Other activities

Education