Loïc Paulevé

According to our database, Loïc Paulevé authored at least 66 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computational Complexity of Minimal Trap Spaces in Boolean Networks.

Kyungduk Moon, Kangbok Lee, Loïc Paulevé

SIAM J. Discret. Math., 2024

scBoolSeq: Linking scRNA-seq statistics and Boolean dynamics.

Gustavo Magaña López, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé

PLoS Comput. Biol., 2024

Attractor Basins in Concurrent Systems.

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann

CoRR, 2024

Phenotype control and elimination of variables in Boolean networks.

Elisa Tonello, Loïc Paulevé

CoRR, 2024

Bringing memory to Boolean networks: a unifying framework.

Maximilien Gadouleau, Loïc Paulevé, Sara Riva

CoRR, 2024

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.

Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé

CoRR, 2024

BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks.

Stéphanie Chevalier, Déborah Boyenval, Gustavo Magaña López, Théo Roncalli, Athénaïs Vaginay, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2024

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

Kerian Thuillier, Anne Siegel, Loïc Paulevé

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction.

Elisa Tonello, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2023

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.

Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2023

2022

BioSimulators: a central registry of simulation engines and services for recommending specific tools.

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 B. 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 A. 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 Sinan Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. 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

Nucleic Acids Res., 2022

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann

Proceedings of the 13th International Symposium on Games, 2022

Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis.

Loïc Paulevé

CoRR, 2022

BioSimulators: a central registry of simulation engines and services for recommending specific tools.

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 B. 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 A. 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 Sinan Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr

CoRR, 2022

Variable-Depth Simulation of Most Permissive Boolean Networks.

Théo Roncalli, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2022

2021

A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation.

Adrien Rougny, Loïc Paulevé, Michèle Teboul, Franck Delaunay

BMC Bioinform., 2021

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.

Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel

Proceedings of the Computational Methods in Systems Biology, 2021

Non-Deterministic Updates of Boolean Networks.

Loïc Paulevé, Sylvain Sené

Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021

2020

Concurrency in Boolean networks.

Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar

Nat. Comput., 2020

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.

Gilles Audemard, Loïc Paulevé, Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Drawing the Line: Basin Boundaries in Safe Petri Nets.

Stefan Haar, Loïc Paulevé, Stefan Schwoon

Proceedings of the Computational Methods in Systems Biology, 2020

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision.

Stéphanie Chevalier, Vincent Noël, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2020

Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie.

Loïc Paulevé

, 2020

2019

Parameter space abstraction and unfolding semantics of discrete regulatory networks.

Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé

Theor. Comput. Sci., 2019

Preface.

Jérôme Feret, Loïc Paulevé, David Safránek

Theor. Comput. Sci., 2019

Algorithms for the Sequential Reprogramming of Boolean Networks.

Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

Stefan Haar, Juraj Kolcák, Loïc Paulevé

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.

Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Sequential Reprogramming of Boolean Networks Made Practical.

Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.

Loïc Paulevé

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data.

Misbah Razzaq, Loïc Paulevé, Anne Siegel, Julio Saez-Rodriguez, Jérémie Bourdon, Carito Guziolowski

PLoS Comput. Biol., 2018

Unfolding of Parametric Boolean Networks.

Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé

Proceedings of SASB 2018, 2018

Most Permissive Semantics of Boolean Networks.

Thomas Chatain, Stefan Haar, Loïc Paulevé

CoRR, 2018

Boolean Networks: Beyond Generalized Asynchronicity.

Thomas Chatain, Stefan Haar, Loïc Paulevé

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.

Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé

Algorithms Mol. Biol., 2017

Goal-Driven Unfolding of Petri Nets.

Thomas Chatain, Loïc Paulevé

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface.

Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2017

Temporal Reprogramming of Boolean Networks.

Hugues Mandon, Stefan Haar, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Qualitative dynamics semantics for SBGN process description.

Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé

BMC Syst. Biol., 2016

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.

Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski

Biosyst., 2016

Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph.

Hugues Mandon, Stefan Haar, Loïc Paulevé

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Goal-Oriented Reduction of Automata Networks.

Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2016

Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations.

Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, María Rodríguez Martínez, Heinz Koeppl

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Analyses statiques de la dynamique des réseaux d'automates indéterministes.

Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux

Tech. Sci. Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux

Theor. Comput. Sci., 2015

Preface.

Loïc Paulevé, Nathalie Théret

Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015

Boolean Network Identification from Multiplex Time Series Data.

Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Preface.

Loïc Paulevé, Heinz Koeppl

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

Characterization of Reachable Attractors Using Petri Net Unfoldings.

Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Under-approximation of Reachability in Multivalued Asynchronous Networks.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Dynamical Properties of Discrete Reaction Networks

Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl

CoRR, 2013

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.

Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl

Proceedings of the Computational Methods in Systems Biology, 2013

Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks.

Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Stochastic simulation of multiple process calculi for biology.

Matthew R. Lakin, Loïc Paulevé, Andrew Phillips

Theor. Comput. Sci., 2012

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Math. Struct. Comput. Sci., 2012

HSIM: A Hybrid Stochastic Simulation System for Systems Biology.

Patrick Amar, Loïc Paulevé

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks).

Loïc Paulevé

PhD thesis, 2011

Tuning Temporal Features within the Stochastic π-Calculus.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Trans. Comp. Sys. Biology, 2011

Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.

Loïc Paulevé, Adrien Richard

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2010

Locality sensitive hashing: A comparison of hash function types and querying mechanisms.

Loïc Paulevé, Hervé Jégou, Laurent Amsaleg

Pattern Recognit. Lett., 2010

Abstract Interpretation of Dynamics of Biological Regulatory Networks.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

Stochastic Simulation of Process Calculi for Biology

Andrew Phillips, Matthew R. Lakin, Loïc Paulevé

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.

Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010