Loïc Paulevé

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 52

Top Venues

CoRR

CMSB

Theor. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

École centrale de Nantes, France (PHD)

Education History

École centrale de Nantes, France

PHD

Publications

Kerian Thuillier, Anne Siegel, Loïc Paulevé
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. AAAI (2024)
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
Bringing memory to Boolean networks: a unifying framework. CoRR (2024)
Elisa Tonello, Loïc Paulevé
Phenotype control and elimination of variables in Boolean networks. CoRR (2024)
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks. CoRR (2024)
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CoRR (2023)
Elisa Tonello, Loïc Paulevé
Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction. CMSB (2023)
Elisa Tonello, Loïc Paulevé
Attractor identification in asynchronous Boolean dynamics with network reduction. CoRR (2023)
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CMSB (2023)
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF (2022)
Loïc Paulevé
Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis. CoRR (2022)
Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary Haiman, Jan Hasenauer, Joseph L. Hellerstein, Henning Hermjakob, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König, Wolfram Liebermeister, Rahuman S. Malik-Sheriff, Synchon Mandal, Robert McDougal, J. Kyle Medley, Pedro Mendes, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, James C. Schaff, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr
BioSimulators: a central registry of simulation engines and services for recommending specific tools. Nucleic Acids Res. 50 (W1) (2022)
Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary Haiman, Joseph L. Hellerstein, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König, Wolfram Liebermeister, Synchon Mandal, Robert McDougal, J. Kyle Medley, Pedro Mendes, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha, Jacky Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr
BioSimulators: a central registry of simulation engines and services for recommending specific tools. CoRR (2022)
Kyungduk Moon, Kangbok Lee, Loïc Paulevé
Computational Complexity of Minimal Trap Spaces in Boolean Networks. CoRR (2022)
Théo Roncalli, Loïc Paulevé
Variable-Depth Simulation of Most Permissive Boolean Networks. CoRR (2022)
Théo Roncalli, Loïc Paulevé
Variable-Depth Simulation of Most Permissive Boolean Networks. CMSB (2022)
Loïc Paulevé, Sylvain Sené
Non-deterministic updates of Boolean networks. CoRR (2021)
Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. CMSB (2021)
Adrien Rougny, Loïc Paulevé, Michèle Teboul, Franck Delaunay
A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation. BMC Bioinform. 22 (1) (2021)
Loïc Paulevé, Sylvain Sené
Non-Deterministic Updates of Boolean Networks. AUTOMATA (2021)
Gilles Audemard, Loïc Paulevé, Laurent Simon
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. SAT (2020)
Stefan Haar, Loïc Paulevé, Stefan Schwoon
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB (2020)
Stéphanie Chevalier, Vincent Noël, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision. CMSB (2020)
Gilles Audemard, Loïc Paulevé, Laurent Simon
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR (2020)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. Nat. Comput. 19 (1) (2020)
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. CoRR (2019)
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. ICTAI (2019)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI (2019)
Jérôme Feret, Loïc Paulevé, David Safránek
Preface. Theor. Comput. Sci. 765 (2019)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theor. Comput. Sci. 765 (2019)
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
Sequential Reprogramming of Boolean Networks Made Practical. CMSB (2019)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. CoRR (2019)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. CoRR (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. CoRR (2018)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Boolean Networks: Beyond Generalized Asynchronicity. Automata (2018)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Most Permissive Semantics of Boolean Networks. CoRR (2018)
Loïc Paulevé
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Misbah Razzaq, Loïc Paulevé, Anne Siegel, Julio Saez-Rodriguez, Jérémie Bourdon, Carito Guziolowski
Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data. PLoS Comput. Biol. 14 (10) (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Unfolding of Parametric Boolean Networks. SASB 335 (2018)
Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Algorithms Mol. Biol. 12 (1) (2017)
Loïc Paulevé
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. CMSB (2017)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Temporal Reprogramming of Boolean Networks. CMSB (2017)
Thomas Chatain, Loïc Paulevé
Goal-Driven Unfolding of Petri Nets. CONCUR (2017)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. HSB (2016)
Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, María Rodríguez Martínez, Heinz Koeppl
Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations. AAAI (2016)
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. Biosyst. 149 (2016)
Thomas Chatain, Loïc Paulevé
Goal-Driven Unfolding of Petri Nets. CoRR (2016)
Loïc Paulevé
Goal-Oriented Reduction of Automata Networks. CoRR (2016)
Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé
Qualitative dynamics semantics for SBGN process description. BMC Syst. Biol. 10 (2016)
Loïc Paulevé
Goal-Oriented Reduction of Automata Networks. CMSB (2016)
Loïc Paulevé, Nathalie Théret
Preface. Electron. Notes Theor. Comput. Sci. 326 (2016)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. CoRR (2016)
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
Boolean Network Identification from Multiplex Time Series Data. CMSB (2015)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608 (2015)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. 568 (2015)
Loïc Paulevé, Heinz Koeppl
Preface. Electron. Notes Theor. Comput. Sci. 316 (2015)
Patrick Amar, Loïc Paulevé
HSIM: A Hybrid Stochastic Simulation System for Systems Biology. Electron. Notes Theor. Comput. Sci. 313 (2015)
Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux
Analyses statiques de la dynamique des réseaux d'automates indéterministes. Tech. Sci. Informatiques 34 (4) (2015)
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB (2014)
Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. CMSB (2013)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Under-approximation of Reachability in Multivalued Asynchronous Networks. Electron. Notes Theor. Comput. Sci. 299 (2013)
Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks CoRR (2013)
Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl
Dynamical Properties of Discrete Reaction Networks CoRR (2013)
Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. CAV (2013)
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Stochastic simulation of multiple process calculi for biology. Theor. Comput. Sci. 431 (2012)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22 (4) (2012)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB (2012)
Loïc Paulevé, Adrien Richard
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. Electron. Notes Theor. Comput. Sci. 284 (2012)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 272 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Trans. Comp. Sys. Biology 13 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37 (6) (2011)
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
A generic abstract machine for stochastic process calculi. CMSB (2010)
Loïc Paulevé, Hervé Jégou, Laurent Amsaleg
Locality sensitive hashing: A comparison of hash function types and querying mechanisms. Pattern Recognit. Lett. 31 (11) (2010)
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Stochastic Simulation of Process Calculi for Biology MeCBIC (2010)

Loïc Paulevé.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Loïc Paulevé