A generic abstract machine for stochastic process calculi. - Loïc Paulevé; Simon Youssef; Matthew R. Lakin; Andrew Phillips (CMSB, 2010)

Stochastic Simulation of Process Calculi for Biology - Andrew Phillips; Matthew R. Lakin; Loïc Paulevé (MeCBIC, 2010)

Abstract Interpretation of Dynamics of Biological Regulatory Networks. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (SASB, 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)

Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. - Loïc Paulevé; Adrien Richard (SASB, 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)

Tuning Temporal Features within the Stochastic π-Calculus. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (IEEE Trans. Software Eng., 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)

Concretizing the Process Hitting into Biological Regulatory Networks. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (CMSB, 2012)

HSIM: A Hybrid Stochastic Simulation System for Systems Biology. - Patrick Amar; Loïc Paulevé (SASB, 2012)

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Math. Struct. Comput. Sci., 2012)

Stochastic simulation of multiple process calculi for biology. - Matthew R. Lakin; Loïc Paulevé; Andrew Phillips (Theor. Comput. Sci., 2012)

Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. - Loïc Paulevé; Geoffroy Andrieux; Heinz Koeppl (CAV, 2013)

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. - Michael Klann; Loïc Paulevé; Tatjana Petrov; Heinz Koeppl (CMSB, 2013)

Dynamical Properties of Discrete Reaction Networks - Loïc Paulevé; Gheorghe Craciun; Heinz Koeppl (CoRR, 2013)

Under-approximation of Reachability in Multivalued Asynchronous Networks. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (CS2Bio, 2013)

Characterization of Reachable Attractors Using Petri Net Unfoldings. - Thomas Chatain; Stefan Haar; Loïg Jezequel; Loïc Paulevé; Stefan Schwoon (CMSB, 2014)

Preface. - Loïc Paulevé; Heinz Koeppl (SASB, 2014)

Boolean Network Identification from Multiplex Time Series Data. - Max Ostrowski; Loïc Paulevé; Torsten Schaub; Anne Siegel; Carito Guziolowski (CMSB, 2015)

Preface. - Loïc Paulevé; Nathalie Théret (SASB, 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)

Sufficient conditions for reachability in automata networks with priorities. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 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)

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 (AAAI, 2016)

Goal-Oriented Reduction of Automata Networks. - Loïc Paulevé (CMSB, 2016)

Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. - Hugues Mandon; Stefan Haar; Loïc Paulevé (HSB, 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)

Qualitative dynamics semantics for SBGN process description. - Adrien Rougny; Christine Froidevaux; Laurence Calzone; Loïc Paulevé (BMC Syst. Biol., 2016)

Temporal Reprogramming of Boolean Networks. - Hugues Mandon; Stefan Haar; Loïc Paulevé (CMSB, 2017)

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. - Loïc Paulevé (CMSB, 2017)

Goal-Driven Unfolding of Petri Nets. - Thomas Chatain; Loïc Paulevé (CONCUR, 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)

Boolean Networks: Beyond Generalized Asynchronicity. - Thomas Chatain; Stefan Haar; Loïc Paulevé (Automata, 2018)

Most Permissive Semantics of Boolean Networks. - Thomas Chatain; Stefan Haar; Loïc Paulevé (CoRR, 2018)

Unfolding of Parametric Boolean Networks. - Juraj Kolcák; David Safránek; Stefan Haar; Loïc Paulevé (SASB, 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)

Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. - Loïc Paulevé (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Sequential Reprogramming of Boolean Networks Made Practical. - Hugues Mandon; Cui Su; Stefan Haar; Jun Pang 001; Loïc Paulevé (CMSB, 2019)

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. - Stéphanie Chevalier; Christine Froidevaux; Loïc Paulevé; Andrei Yu. Zinovyev (ICTAI, 2019)

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. - Stefan Haar; Juraj Kolcák; Loïc Paulevé (VMCAI, 2019)

Algorithms for the Sequential Reprogramming of Boolean Networks. - Hugues Mandon; Cui Su; Jun Pang 001; Soumya Paul; Stefan Haar; Loïc Paulevé (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Preface. - Jérôme Feret; Loïc Paulevé; David Safránek (Theor. Comput. Sci., 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)

Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie. - Loïc Paulevé (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é (CMSB, 2020)

Drawing the Line: Basin Boundaries in Safe Petri Nets. - Stefan Haar; Loïc Paulevé; Stefan Schwoon (CMSB, 2020)

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. - Gilles Audemard; Loïc Paulevé; Laurent Simon 001 (SAT, 2020)

Concurrency in Boolean networks. - Thomas Chatain; Stefan Haar; Juraj Kolcák; Loïc Paulevé; Aalok Thakkar (Nat. Comput., 2020)

Non-Deterministic Updates of Boolean Networks. - Loïc Paulevé; Sylvain Sené (AUTOMATA, 2021)

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (CMSB, 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)

Variable-Depth Simulation of Most Permissive Boolean Networks. - Théo Roncalli; Loïc Paulevé (CMSB, 2022)

MERRIN: MEtabolic regulation rule INference from time series data. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (Bioinform., 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 006; et al. (CoRR, 2022)

Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis. - Loïc Paulevé (CoRR, 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 (GandALF, 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 006; et al. (Nucleic Acids Res., 2022)

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. - Sara Riva; Jean-Marie Lagniez; Gustavo Magaña López; Loïc Paulevé (CMSB, 2023)

Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction. - Elisa Tonello; Loïc Paulevé (CMSB, 2023)

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. - Kerian Thuillier; Anne Siegel; Loïc Paulevé (AAAI, 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é (CMSB, 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)

Bringing memory to Boolean networks: a unifying framework. - Maximilien Gadouleau; Loïc Paulevé; Sara Riva (CoRR, 2024)

Phenotype control and elimination of variables in Boolean networks. - Elisa Tonello; Loïc Paulevé (CoRR, 2024)

Attractor Basins in Concurrent Systems. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (CoRR, 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)

Computational Complexity of Minimal Trap Spaces in Boolean Networks. - Kyungduk Moon; Kangbok Lee; Loïc Paulevé (SIAM J. Discret. Math., 2024)

Seed Inference in Interacting Microbial Communities Using Combinatorial Optimization. - Chabname Ghassemi Nedjad; Sebastián Nelson Mendoza; Clémence Frioux; Loïc Paulevé (CMSB, 2025)