Identifiants chercheur

Projets Européen

Export Publications

Exporter les publications affichées :
Nombre de documents

49

Loïc Paulevé


http://loicpauleve.name


Article dans une revue18 documents

  • Loïc Paulevé. Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2017, 〈10.1109/TCBB.2017.2749225〉. 〈hal-01580765〉
  • Louis Fippo Fitime, Olivier Roux, Carito Guziolowski, Loïc Paulevé. Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Algorithms for Molecular Biology, BioMed Central, 2017, 12 (1), pp.19. 〈10.1186/s13015-017-0110-3〉. 〈hal-01566380〉
  • 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〉
  • Jorgelindo Da Veiga Moreira, Minoo Hamraz, Mohammad Abolhassani, Erwan Bigan, Sabine Pérès, et al.. The Redox Status of Cancer Cells Supports Mechanisms behind the Warburg Effect. Metabolites, Open Access Metabolism & Metabolomics, 2016, 〈10.3390/metabo6040033〉. 〈hal-01417967〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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é, 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〉
  • 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〉

Communication dans un congrès21 documents

  • Thomas Chatain, Loïc Paulevé. Goal-Driven Unfolding of Petri Nets. 28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. 〈https://www.concur2017.tu-berlin.de/〉. 〈10.4230/LIPIcs.CONCUR.2017.14〉. 〈hal-01392203v2〉
  • Hugues Mandon, Stefan Haar, Loïc Paulevé. Temporal Reprogramming of Boolean Networks. Jérôme Feret; Heinz Koeppl. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. Springer International Publishing, 10545, pp.179 - 195, 2017, Lecture Notes in Computer Science. 〈http://cmsb2017.tu-darmstadt.de〉. 〈10.1007/978-3-319-67471-1_11〉. 〈hal-01589251〉
  • Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. Jérôme Feret; Heinz Koeppl. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. Springer International Publishing, 10545, pp.370 - 316, 2017, Lecture Notes in Computer Science. 〈http://cmsb2017.tu-darmstadt.de〉. 〈10.1007/978-3-319-67471-1_20〉. 〈hal-01589248〉
  • 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 Boolean 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-01354109v2〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉

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〉

Poster2 documents

  • Loïc Paulevé. Pint, a static analyzer for dynamics of Automata Networks. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. 〈https://www.cl.cam.ac.uk/events/cmsb2016/〉. 〈hal-01366730〉
  • Adrien Rougny, Christine Froidevaux, Loïc Paulevé. Two Qualitative Dynamics Semantics for SBGN Process Description Maps. CMSB'15, Sep 2015, Nantes, France. 2015. 〈hal-01258943〉

Direction d'ouvrage, Proceedings, Dossier2 documents

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), 2011. Français. 〈tel-00635750v2〉