Identifiants chercheur

Co-auteurs

Projets Européen

Export Publications

Exporter les publications affichées :
Nombre de documents

56

Loïc Paulevé


http://loicpauleve.name


Article dans une revue21 documents

Communication dans un congrès22 documents

  • Thomas Chatain, Stefan Haar, Loïc Paulevé. Boolean Networks: Beyond Generalized Asynchronicity. Baetens, Jan M. and Kutrib, Martin. AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. Springer, 10875, pp.29-42, 2018, Lecture Notes in Computer Science. 〈http://www.automata2018.ugent.be〉. 〈10.1007/978-3-319-92675-9_3〉. 〈hal-01768359v2〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Boolean Networks. 7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. Elsevier, 335, pp.67-90, 2018, Electronic Notes in Theoretical Computer Science. 〈http://sasb2016.fi.muni.cz/〉. 〈10.1016/j.entcs.2018.03.009〉. 〈hal-01354109v2〉
  • 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〉
  • 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〉
  • 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é, 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉

Chapitre d'ouvrage2 documents

  • Loïc Paulevé, Adrien Richard. Analyse statique des réseaux booléens. Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 78-2-271-11974-2. 〈https://ejcim2018.sciencesconf.org/data/pages/ejcim2018.pdf〉. 〈hal-01753101〉
  • 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

Autre publication1 document

  • Loïc Paulevé, Philippe Dague. Journées BIOSS-IA 2017. Bulletin 97 de l'AFIA - Association française pour l’Intelligence Artificielle. 2017. 〈hal-01666094〉

Rapport5 documents

  • Thomas Chatain, Stefan Haar, Loïc Paulevé. Most Permissive Semantics of Boolean Networks. [Research Report] LRI, Univ. Paris-Sud, CNRS, Inria, Université Paris-Saclay; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018. 〈hal-01864693〉
  • 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〉