Loïc Paulevé

87 papers A* 3A 1B 3Journal 46Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bringing memory to Boolean networks: A unifying framework.
J. Comput. Syst. Sci.
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
2025 — conf
Seed Inference in Interacting Microbial Communities Using Combinatorial Optimization.
CMSB
Chabname Ghassemi Nedjad, Sebastián Nelson Mendoza, Clémence Frioux, Loïc Paulevé
2025 J jnl
Seed2LP: seed inference in metabolic networks for reverse ecology applications.
Bioinform.
Chabname Ghassemi Nedjad, Mathieu Bolteau, Lucas Bourneuf, Loïc Paulevé, Clémence Frioux
2024 J jnl
Attractor Basins in Concurrent Systems.
CoRR
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
2024 — conf
BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks.
CMSB
Stéphanie Chevalier, Déborah Boyenval, Gustavo Magaña López, Théo Roncalli, Athénaïs Vaginay, Loïc Paulevé
2024 J jnl
Bringing memory to Boolean networks: a unifying framework.
CoRR
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
2024 A* conf
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
AAAI
Kerian Thuillier, Anne Siegel, Loïc Paulevé
2024 J jnl
Computational Complexity of Minimal Trap Spaces in Boolean Networks.
SIAM J. Discret. Math.
Kyungduk Moon, Kangbok Lee, Loïc Paulevé
2024 J jnl
Phenotype control and elimination of variables in Boolean networks.
CoRR
Elisa Tonello, Loïc Paulevé
2024 J jnl
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.
CoRR
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
2024 J jnl
scBoolSeq: Linking scRNA-seq statistics and Boolean dynamics.
PLoS Comput. Biol.
Gustavo Magaña López, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé
2023 — conf
Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction.
CMSB
Elisa Tonello, Loïc Paulevé
2023 J jnl
Attractor identification in asynchronous Boolean dynamics with network reduction.
CoRR
Elisa Tonello, Loïc Paulevé
2023 — conf
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CMSB
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2023 J jnl
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CoRR
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2022 — conf
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.
GandALF
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
2022 J jnl
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
CoRR
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
2022 J jnl
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
Nucleic Acids Res.
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
2022 J jnl
Computational Complexity of Minimal Trap Spaces in Boolean Networks.
CoRR
Kyungduk Moon, Kangbok Lee, Loïc Paulevé
2022 J jnl
MERRIN: MEtabolic regulation rule INference from time series data.
Bioinform.
Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel
2022 J jnl
Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis.
CoRR
Loïc Paulevé
2022 — conf
Variable-Depth Simulation of Most Permissive Boolean Networks.
CMSB
Théo Roncalli, Loïc Paulevé
2022 J jnl
Variable-Depth Simulation of Most Permissive Boolean Networks.
CoRR
Théo Roncalli, Loïc Paulevé
2021 J jnl
A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation.
BMC Bioinform.
Adrien Rougny, Loïc Paulevé, Michèle Teboul, Franck Delaunay
2021 — ed.
Computational Methods in Systems Biology - 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings
CMSB
Eugenio Cinquemani, Loïc Paulevé
2021 — conf
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.
CMSB
Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel
2021 — conf
Non-Deterministic Updates of Boolean Networks.
AUTOMATA
Loïc Paulevé, Sylvain Sené
2021 J jnl
Non-deterministic updates of Boolean networks.
CoRR
Loïc Paulevé, Sylvain Sené
2020 J jnl
Concurrency in Boolean networks.
Nat. Comput.
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2020 — conf
Drawing the Line: Basin Boundaries in Safe Petri Nets.
CMSB
Stefan Haar, Loïc Paulevé, Stefan Schwoon
2020 — book
Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie.
Loïc Paulevé
2020 A conf
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.
SAT
Gilles Audemard, Loïc Paulevé, Laurent Simon
2020 J jnl
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.
CoRR
Gilles Audemard, Loïc Paulevé, Laurent Simon
2020 — conf
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision.
CMSB
Stéphanie Chevalier, Vincent Noël, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé
2019 J jnl
Algorithms for the Sequential Reprogramming of Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
2019 B conf
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
VMCAI
Stefan Haar, Juraj Kolcák, Loïc Paulevé
2019 J jnl
Concurrency in Boolean networks.
CoRR
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2019 J jnl
Parameter space abstraction and unfolding semantics of discrete regulatory networks.
Theor. Comput. Sci.
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2019 J jnl
Preface.
Theor. Comput. Sci.
Jérôme Feret, Loïc Paulevé, David Safránek
2019 — conf
Sequential Reprogramming of Boolean Networks Made Practical.
CMSB
Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
2019 B conf
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.
ICTAI
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
2019 J jnl
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.
CoRR
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
2018 — conf
Boolean Networks: Beyond Generalized Asynchronicity.
Automata
Thomas Chatain, Stefan Haar, Loïc Paulevé
2018 J jnl
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
CoRR
Stefan Haar, Juraj Kolcák, Loïc Paulevé
2018 J jnl
Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data.
PLoS Comput. Biol.
Misbah Razzaq, Loïc Paulevé, Anne Siegel, Julio Saez-Rodriguez, Jérémie Bourdon, Carito Guziolowski
2018 J jnl
Most Permissive Semantics of Boolean Networks.
CoRR
Thomas Chatain, Stefan Haar, Loïc Paulevé
2018 J jnl
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
CoRR
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2018 J jnl
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.
IEEE ACM Trans. Comput. Biol. Bioinform.
Loïc Paulevé
2018 — conf
Unfolding of Parametric Boolean Networks.
SASB
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2017 B conf
Goal-Driven Unfolding of Petri Nets.
CONCUR
Thomas Chatain, Loïc Paulevé
2017 J jnl
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.
Algorithms Mol. Biol.
Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé
2017 — conf
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface.
CMSB
Loïc Paulevé
2017 — conf
Temporal Reprogramming of Boolean Networks.
CMSB
Hugues Mandon, Stefan Haar, Loïc Paulevé
2016 — ed.
6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015
SASB
Loïc Paulevé, Nathalie Théret
2016 J jnl
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.
Biosyst.
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
2016 J jnl
Goal-Driven Unfolding of Petri Nets.
CoRR
Thomas Chatain, Loïc Paulevé
2016 — conf
Goal-Oriented Reduction of Automata Networks.
CMSB
Loïc Paulevé
2016 J jnl
Goal-Oriented Reduction of Automata Networks.
CoRR
Loïc Paulevé
2016 A* conf
Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations.
AAAI
Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, María Rodríguez Martínez, Heinz Koeppl
2016 J jnl
Qualitative dynamics semantics for SBGN process description.
BMC Syst. Biol.
Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé
2016 — conf
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph.
HSB
Hugues Mandon, Stefan Haar, Loïc Paulevé
2016 J jnl
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph.
CoRR
Hugues Mandon, Stefan Haar, Loïc Paulevé
2015 — ed.
5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014
SASB
Loïc Paulevé, Heinz Koeppl
2015 J jnl
Analyses statiques de la dynamique des réseaux d'automates indéterministes.
Tech. Sci. Informatiques
Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux
2015 — conf
Boolean Network Identification from Multiplex Time Series Data.
CMSB
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
2015 J jnl
Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci.
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2015 — conf
Preface.
SASB
Loïc Paulevé, Nathalie Théret
2015 J jnl
Sufficient conditions for reachability in automata networks with priorities.
Theor. Comput. Sci.
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2014 — conf
Characterization of Reachable Attractors Using Petri Net Unfoldings.
CMSB
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
2014 — conf
Preface.
SASB
Loïc Paulevé, Heinz Koeppl
2013 — conf
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.
CMSB
Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl
2013 J jnl
Dynamical Properties of Discrete Reaction Networks
CoRR
Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl
2013 A* conf
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks.
CAV
Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
2013 J jnl
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
CoRR
Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
2013 — conf
Under-approximation of Reachability in Multivalued Asynchronous Networks.
CS2Bio
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2012 — conf
Concretizing the Process Hitting into Biological Regulatory Networks.
CMSB
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2012 — conf
HSIM: A Hybrid Stochastic Simulation System for Systems Biology.
SASB
Patrick Amar, Loïc Paulevé
2012 J jnl
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Math. Struct. Comput. Sci.
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2012 J jnl
Stochastic simulation of multiple process calculi for biology.
Theor. Comput. Sci.
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
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é
2011 J jnl
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.
Trans. Comp. Sys. Biology
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2011 — conf
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.
SASB
Loïc Paulevé, Adrien Richard
2011 J jnl
Tuning Temporal Features within the Stochastic π-Calculus.
IEEE Trans. Software Eng.
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2010 — conf
A generic abstract machine for stochastic process calculi.
CMSB
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
2010 — conf
Abstract Interpretation of Dynamics of Biological Regulatory Networks.
SASB
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2010 J jnl
Locality sensitive hashing: A comparison of hash function types and querying mechanisms.
Pattern Recognit. Lett.
Loïc Paulevé, Hervé Jégou, Laurent Amsaleg
2010 — conf
Stochastic Simulation of Process Calculi for Biology
MeCBIC
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé