Identifiants chercheur

Projets Européen

Export Publications

Exporter les publications affichées :
Nombre de documents

43

Loïc Paulevé


http://loicpauleve.name


Article dans une revue15 documents

  • Erwan Bigan, Loïc Paulevé, Jean-Marc Steyaert, Stéphane Douady. Necessary and sufficient conditions for protocell growth. Journal of Mathematical Biology, Springer Verlag (Germany), 2016, <10.1007/s00285-016-0998-0>. <hal-01338156>
  • Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé. Qualitative dynamics semantics for SBGN process description. BMC Systems Biology, BioMed Central, 2016, <10.1186/s12918-016-0285-0>. <hal-01332679>
  • Lirong Huang, Loïc Paulevé, Christoph Zechner, Michael Unger, Anders S. Hansen, et al.. Reconstructing dynamic molecular states from single-cell time series. Interface, Royal Society, The, 2016, 13 (122), <10.1098/rsif.2016.0533>. <hal-01362502>
  • Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski. Boolean Network Identification from Perturbation Time Series Data combining Dynamics Abstraction and Logic Programming. BioSystems, Elsevier, 2016, <10.1016/j.biosystems.2016.07.009>. <hal-01354075>
  • Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier Roux. Sufficient Conditions for Reachability in Automata Networks with Priorities. Journal of Theoretical Computer Science (TCS), Elsevier, 2015, <http://www.sciencedirect.com/science/article/pii/S0304397515007872>. <10.1016/j.tcs.2015.08.040>. <hal-01202671>
  • Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Identification of Biological Regulatory Networks from Process Hitting models. Theoretical Computer Science, Elsevier, 2015, 568, pp.39. <10.1016/j.tcs.2014.12.002>. <hal-01094249>
  • Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (4), pp.22. <10.3166/TSI.34.463-484>. <hal-01070295v2>
  • Jorgelindo da Veiga Moreira, Sabine Pérès, Jean-Marc Steyaert, Erwan Bigan, Loïc Paulevé, et al.. Cell cycle progression is regulated by intertwined redox oscillators. Theoretical Biology and Medical Modelling, BioMed Central, 2015, 12 (1), pp.10. <10.1186/s12976-015-0005-2>. <hal-01158514>
  • Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl. Dynamical Properties of Discrete Reaction Networks. Journal of Mathematical Biology, Springer Verlag (Germany), 2013, pp.Online First, 1-18. <10.1007/s00285-013-0686-2>. <hal-00769448v2>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp 651-685. <10.1017/S0960129511000739>. <hal-00714481>
  • Matthew Lakin, Loïc Paulevé, Andrew Phillips. Stochastic simulation of multiple process calculi for biology. Theoretical Computer Science, Elsevier, 2012, 431, pp.181-206. <10.1016/j.tcs.2011.12.057>. <hal-00872969>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. Tuning Temporal Features within the Stochastic π-Calculus. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (6), pp.858-871. <10.1109/TSE.2010.95>. <hal-00397308>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. Transactions on Computational Systems Biology, Springer, 2011, XIII, pp.171-191. <10.1007/978-3-642-19748-2_8>. <hal-00397235v2>
  • Loïc Paulevé, Adrien Richard. Topological fixed points in Boolean networks. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2010, 348 (15-16), pp.825-828. <10.1016/j.crma.2010.07.014>. <hal-00510892>
  • Loïc Paulevé, Hervé Jégou, Laurent Amsaleg. Locality sensitive hashing: a comparison of hash function types and querying mechanisms. Pattern Recognition Letters, Elsevier, 2010, 31 (11), pp.1348-1358. <10.1016/j.patrec.2010.04.004>. <inria-00567191>

Communication dans un congrès18 documents

  • Louis Fippo Fitime, Olivier Roux, Carito Guziolowski, Loïc Paulevé. Identification of Bifurcations in Biological Regulatory Networks using Answer-Set Programming. Constraint-Based Methods for Bioinformatics Workshop, Sep 2016, Toulouse, France. <hal-01361350>
  • Loïc Paulevé. Goal-Oriented Reduction of Automata Networks. Ezio Bartocci, Pietro Lio, Nicola Paoletti. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. Springer International Publishing, 9859, pp.252-272, Lecture Notes in Computer Science. <https://www.cl.cam.ac.uk/events/cmsb2016/>. <10.1007/978-3-319-45177-0_16>. <hal-01149118v2>
  • Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Logical Regulatory Networks. The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. Elsevier, accepted, Electronic Notes in Theoretical Computer Science. <http://sasb2016.fi.muni.cz/>. <hal-01354109>
  • Hugues Mandon, Stefan Haar, Loïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. Eugenio Cinquemani; Alexandre Donzé. Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. Springer International Publishing, 9957, pp.113-127, Lecture Notes in Computer Science. <http://hsb2016.imag.fr/>. <10.1007/978-3-319-47151-8_8>. <hal-01354079>
  • Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, Maria Rodriguez Martinez, et al.. Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations. AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, Arizona, United States. <http://www.aaai.org/Conferences/AAAI/aaai16.php>. <hal-01305967>
  • Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski. Boolean Network Identification from Multiplex Time Series Data. Olivier Roux; Jérémie Bourdon. CMSB 2015 - 13th conference on Computational Methods for Systems Biology, Sep 2015, Nantes, France. Springer International Publishing, 9308, pp.170-181, Lecture Notes in Computer Science. <http://cmsb2015.sciencesconf.org/>. <10.1007/978-3-319-23401-4_15>. <hal-01164751>
  • Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. Pedro Mendes; Joseph Dada; Kieran Smallbone. CMSB 2014, Nov 2014, Manchester, United Kingdom. Springer International Publishing, 8859, pp.14, 2014, LNCS/LNBI. <10.1007/978-3-319-12982-2_10>. <hal-01060450>
  • Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier Roux. Under-approximation of Reachability in Multivalued Asynchronous Networks. fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. 299, pp.33--51, 2013, <10.1016/j.entcs.2013.11.004>. <hal-00873000>
  • Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl. Under-approximating Cut Sets for Reachability in Large Scale Automata Networks. 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Jul 2013, Saint Petersburg, Russia. 8044, pp.69-84, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-39799-8_4>. <hal-00769447v3>
  • Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl. Coarse-grained brownian dynamics simulation of rule-based models. The 11th Conference on Computational Methods in Systems Biology (CMSB'13), Sep 2013, Klosterneuburg, Austria. LNCS 8130, pp.64-77, 2013, Computational Methods in Systems Biology. <10.1007/978-3-642-40708-6_6>. <hal-00872963>
  • Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Abducing Biological Regulatory Networks from Process Hitting models. ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom. <http://www.cs.bris.ac.uk/~oray/LDSSB12/>. <hal-01314470>
  • Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Concretizing the Process Hitting into Biological Regulatory Networks. Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. Springer Berlin Heidelberg, p. 166-186, 2012, <10.1007/978-3-642-33636-2_11>. <hal-00704569v2>
  • Stefan Janssen, Loïc Paulevé, Yann Ponty, Balaji Raman, Matthias Zytnicki. Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?. IWBDA - 4th International Workshop on Bio-Design Automation - 2012, Jun 2012, San Francisco, United States. 2012, <http://www.iwbdaconf.org/2012>. <hal-00712557>
  • Patrick Amar, Loïc Paulevé. HSIM: an hybrid stochastic simulation system for systems biology. The Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. Electronic Notes in Theoretical Computer Science, 313, pp.3 -- 21, 2012, <10.1016/j.entcs.2015.04.016>. <hal-00758168>
  • Loïc Paulevé, Adrien Richard. Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011), Sep 2011, Venice, Italy. 284, pp.93-104, 2012, <10.1016/j.entcs.2012.05.017>. <hal-00714476>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. 1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Sep 2010, Perpignan, France. 272, pp.43-56, 2011, <10.1016/j.entcs.2011.04.004>. <hal-00601118>
  • Loïc Paulevé, Simon Youssef, Matthew Lakin, Andrew Phillips. A generic abstract machine for stochastic process calculi. CMSB '10: The 8th International Conference on Computational Methods in Systems Biology, Sep 2010, Trento, Italy. pp.43--54, 2010, <10.1145/1839764.1839771>. <hal-00525503>
  • Andrew Phillips, Matthew Lakin, Loïc Paulevé. Stochastic simulation of process calculi for biology. Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010, Aug 2010, Jena, Germany. <10.4204/EPTCS.40.1>. <hal-00574362>

Chapitre d'ouvrage1 document

  • Loïc Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyzing Large Network Dynamics with Process Hitting. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. <hal-01060490>

Poster1 document

Direction d'ouvrage, Proceedings2 documents

Pré-publication, Document de travail1 document

  • Thomas Chatain, Loïc Paulevé. Goal-Driven Unfolding of Petri Nets. 2016. <hal-01392203>

Rapport4 documents

  • Araks Martirosyan, Loïc Paulevé, Clair Poignard, Mireille Régnier, Jean-Marc Steyaert, et al.. A Dynamical Model for the Transmembrane Potential Regulation by pH. [Research Report] LIX, Ecole polytechnique. 2012. <hal-00769446>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. From the Process Hitting to Petri Nets and Back. 2012. <hal-00744807>
  • Loïc Paulevé, Morgan Magnin, Olivier Roux. Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics. 2011. <hal-00574353v2>
  • Loïc Paulevé. Euclidean lattices for high dimensional indexing and searching. [Research Report] PI 1903, 2008, pp.57. <inria-00326262>

Thèse1 document

  • Loïc Paulevé. Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. Réseaux et télécommunications [cs.NI]. Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2011. Français. <tel-00635750v2>