default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLoïc Paulevé
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c35]Kerian Thuillier, Anne Siegel, Loïc Paulevé:
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. AAAI 2024: 8146-8153- [c34]Stéphanie Chevalier, Déborah Boyenval, Gustavo Magaña López, Théo Roncalli, Athénaïs Vaginay, Loïc Paulevé
:
BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks. CMSB 2024: 71-79 - [i22]Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé:
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks. CoRR abs/2403.06255 (2024) - [i21]Maximilien Gadouleau, Loïc Paulevé, Sara Riva:
Bringing memory to Boolean networks: a unifying framework. CoRR abs/2404.03553 (2024) - [i20]Elisa Tonello, Loïc Paulevé:
Phenotype control and elimination of variables in Boolean networks. CoRR abs/2406.02304 (2024) - [i19]Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann:
Attractor Basins in Concurrent Systems. CoRR abs/2409.01079 (2024) - 2023
- [c33]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: 157-174 - [c32]Elisa Tonello, Loïc Paulevé:
Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction. CMSB 2023: 202-219 - [i18]Elisa Tonello, Loïc Paulevé:
Attractor identification in asynchronous Boolean dynamics with network reduction. CoRR abs/2305.01327 (2023) - [i17]Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé:
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CoRR abs/2305.02442 (2023) - 2022
- [j19]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:
BioSimulators: a central registry of simulation engines and services for recommending specific tools. Nucleic Acids Res. 50(W1): 108-114 (2022) - [c31]Théo Roncalli, Loïc Paulevé:
Variable-Depth Simulation of Most Permissive Boolean Networks. CMSB 2022: 138-157 - [c30]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: 178-193 - [i16]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:
BioSimulators: a central registry of simulation engines and services for recommending specific tools. CoRR abs/2203.06732 (2022) - [i15]Théo Roncalli, Loïc Paulevé:
Variable-Depth Simulation of Most Permissive Boolean Networks. CoRR abs/2206.12729 (2022) - [i14]Loïc Paulevé:
Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis. CoRR abs/2207.13307 (2022) - [i13]Kyungduk Moon, Kangbok Lee, Loïc Paulevé:
Computational Complexity of Minimal Trap Spaces in Boolean Networks. CoRR abs/2212.12756 (2022) - 2021
- [j18]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): 240 (2021) - [c29]Loïc Paulevé, Sylvain Sené:
Non-Deterministic Updates of Boolean Networks. AUTOMATA 2021: 10:1-10:16 - [c28]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: 159-180 - [e3]Eugenio Cinquemani, Loïc Paulevé:
Computational Methods in Systems Biology - 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings. Lecture Notes in Computer Science 12881, Springer 2021, ISBN 978-3-030-85632-8 [contents] - [i12]Loïc Paulevé, Sylvain Sené:
Non-deterministic updates of Boolean networks. CoRR abs/2106.15372 (2021) - 2020
- [b2]Loïc Paulevé:
Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie. University of Paris-Saclay, France, 2020 - [j17]Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. Nat. Comput. 19(1): 91-109 (2020) - [c27]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: 193-209 - [c26]Stefan Haar, Loïc Paulevé, Stefan Schwoon:
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB 2020: 321-336 - [c25]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: 107-113 - [i11]Gilles Audemard, Loïc Paulevé, Laurent Simon:
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR abs/2006.01503 (2020)
2010 – 2019
- 2019
- [j16]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): 1610-1619 (2019) - [j15]Jérôme Feret, Loïc Paulevé, David Safránek:
Preface. Theor. Comput. Sci. 765: 1-2 (2019) - [j14]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: 120-144 (2019) - [c24]Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019: 3-19 - [c23]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: 34-41 - [c22]Stefan Haar, Juraj Kolcák, Loïc Paulevé:
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI 2019: 555-576 - [i10]Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. CoRR abs/1905.13467 (2019) - [i9]Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev:
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. CoRR abs/1909.04309 (2019) - 2018
- [j13]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) - [j12]Loïc Paulevé:
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1167-1179 (2018) - [c21]Thomas Chatain, Stefan Haar, Loïc Paulevé:
Boolean Networks: Beyond Generalized Asynchronicity. Automata 2018: 29-42 - [c20]Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Unfolding of Parametric Boolean Networks. SASB 2018: 67-90 - [i8]Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. CoRR abs/1803.06157 (2018) - [i7]Thomas Chatain, Stefan Haar, Loïc Paulevé:
Most Permissive Semantics of Boolean Networks. CoRR abs/1808.10240 (2018) - [i6]Stefan Haar, Juraj Kolcák, Loïc Paulevé:
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. CoRR abs/1811.12377 (2018) - 2017
- [j11]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): 19:1-19:14 (2017) - [c19]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Temporal Reprogramming of Boolean Networks. CMSB 2017: 179-195 - [c18]Loïc Paulevé:
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. CMSB 2017: 309-316 - [c17]Thomas Chatain, Loïc Paulevé:
Goal-Driven Unfolding of Petri Nets. CONCUR 2017: 18:1-18:16 - 2016
- [j10]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: 139-153 (2016) - [j9]Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé:
Qualitative dynamics semantics for SBGN process description. BMC Syst. Biol. 10: 42 (2016) - [c16]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: 2051-2057 - [c15]Loïc Paulevé:
Goal-Oriented Reduction of Automata Networks. CMSB 2016: 252-272 - [c14]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. HSB 2016: 113-127 - [e2]Loïc Paulevé, Nathalie Théret:
6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015. Electronic Notes in Theoretical Computer Science 326, Elsevier 2016 [contents] - [i5]Loïc Paulevé:
Goal-Oriented Reduction of Automata Networks. CoRR abs/1608.05548 (2016) - [i4]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. CoRR abs/1608.05552 (2016) - [i3]Thomas Chatain, Loïc Paulevé:
Goal-Driven Unfolding of Petri Nets. CoRR abs/1611.01296 (2016) - 2015
- [j8]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: 49-71 (2015) - [j7]Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608: 66-83 (2015) - [j6]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): 463-484 (2015) - [c13]Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski:
Boolean Network Identification from Multiplex Time Series Data. CMSB 2015: 170-181 - [c12]Loïc Paulevé, Nathalie Théret:
Preface. SASB 2015: 1-2 - [e1]Loïc Paulevé, Heinz Koeppl:
5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 316, Elsevier 2015 [contents] - 2014
- [c11]Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon:
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB 2014: 129-142 - [c10]Loïc Paulevé, Heinz Koeppl:
Preface. SASB 2014: 1-2 - 2013
- [c9]Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl:
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. CAV 2013: 69-84 - [c8]Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl:
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. CMSB 2013: 64-77 - [c7]Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Under-approximation of Reachability in Multivalued Asynchronous Networks. CS2Bio 2013: 33-51 - [i2]Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl:
Dynamical Properties of Discrete Reaction Networks. CoRR abs/1302.3363 (2013) - [i1]Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl:
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks. CoRR abs/1302.3365 (2013) - 2012
- [j5]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22(4): 651-685 (2012) - [j4]Matthew R. Lakin, Loïc Paulevé, Andrew Phillips:
Stochastic simulation of multiple process calculi for biology. Theor. Comput. Sci. 431: 181-206 (2012) - [c6]Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux:
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186 - [c5]Patrick Amar, Loïc Paulevé:
HSIM: A Hybrid Stochastic Simulation System for Systems Biology. SASB 2012: 3-21 - 2011
- [b1]Loïc Paulevé:
Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks). École centrale de Nantes, France, 2011 - [j3]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: 171-191 (2011) - [j2]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37(6): 858-871 (2011) - [c4]Loïc Paulevé, Adrien Richard:
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. SASB 2011: 93-104 - 2010
- [j1]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): 1348-1358 (2010) - [c3]Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips:
A generic abstract machine for stochastic process calculi. CMSB 2010: 43-54 - [c2]Andrew Phillips, Matthew R. Lakin, Loïc Paulevé:
Stochastic Simulation of Process Calculi for Biology. MeCBIC 2010: 1-5 - [c1]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Abstract Interpretation of Dynamics of Biological Regulatory Networks. SASB 2010: 43-56
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
