
Loïc Paulevé
91
Documents
Identifiants chercheurs
Présentation
Publications
1
9
4
8
4
7
5
7
5
10
6
2
4
9
5
4
1
15
13
11
9
7
6
6
5
4
4
4
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
24
19
10
4
3
3
3
2
2
1
1
1
1
1
1
1
1
1
1
1
Publications
|
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics ProblemsAAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-8
Communication dans un congrès
hal-04420454
v1
|
|
BoNesis: a Python-based declarative environment for the verification, reprogramming, and synthesis of Most Permissive Boolean networksCMSB 2024: 22nd International Conference on Computational Methods in Systems Biology, Sep 2024, Pisa, Italy. ⟨10.1007/978-3-031-71671-3_6⟩
Communication dans un congrès
hal-04629083
v1
|
|
Attractor Identification in Asynchronous Boolean Dynamics with Network ReductionComputational Methods in Systems Biology (CMSB 2023), 2023, Luxembourg, Luxembourg. pp.202-219, ⟨10.1007/978-3-031-42697-1_14⟩
Communication dans un congrès
hal-04601061
v1
|
|
Tackling Universal Properties of Minimal Trap Spaces of Boolean NetworksComputational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.157-174, ⟨10.1007/978-3-031-42697-1_11⟩
Communication dans un congrès
hal-04325368
v1
|
|
A logic programming exploration of metabolic networks to explain microbial community modelsGT Bioss 2022 - Journée annuelle du Groupe de Travail sur la Biologie Systémique Symbolique, Nov 2022, Nantes, France
Communication dans un congrès
hal-03910483
v1
|
|
Variable-Depth Simulation of Most Permissive Boolean Networks20th International Conference on Computational Methods in Systems Biology (CMSB 2022), 2022, Bucharest, Romania. ⟨10.1007/978-3-031-15034-0_7⟩
Communication dans un congrès
hal-03704761
v1
|
|
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri NetsGandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩
Communication dans un congrès
hal-03773855
v1
|
|
Non-deterministic updates of Boolean networks27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), Jul 2021, Marseille, France. pp.10:1-10:16, ⟨10.4230/OASIcs.AUTOMATA.2021.10⟩
Communication dans un congrès
hal-03210805
v2
|
|
Learning Boolean controls in regulated metabolic networks: a case-studyCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. pp.159-180, ⟨10.1007/978-3-030-85633-5_10⟩
Communication dans un congrès
hal-03207589
v3
|
|
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solversSAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing, 2020, Alghero, Italy. pp.107-113, ⟨10.1007/978-3-030-51825-7_8⟩
Communication dans un congrès
hal-02704747
v1
|
|
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision18th International Conference on Computational Methods in Systems Biology (CMSB), 2020, Online, Germany. pp.193--209, ⟨10.1007/978-3-030-60327-4_11⟩
Communication dans un congrès
hal-02898849
v2
|
|
Drawing the Line: Basin Boundaries in Safe Petri NetsCMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩
Communication dans un congrès
hal-02898841
v1
|
|
Combining Refinement of Parametric Models with Goal-Oriented Reduction of DynamicsVMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
Communication dans un congrès
hal-01940174
v1
|
|
Sequential Reprogramming of Boolean Networks Made PracticalCMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, France. pp.3--19, ⟨10.1007/978-3-030-31304-3_1⟩
Communication dans un congrès
hal-02178917
v2
|
|
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019, Portland, Oregon, United States. ⟨10.1109/ICTAI.2019.00014⟩
Communication dans un congrès
hal-02276921
v2
|
|
Boolean Networks: Beyond Generalized AsynchronicityAUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Communication dans un congrès
hal-01768359
v2
|
|
Unfolding of Parametric Boolean Networks7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. pp.67-90, ⟨10.1016/j.entcs.2018.03.009⟩
Communication dans un congrès
hal-01354109
v2
|
|
Temporal Reprogramming of Boolean NetworksCMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.179 - 195, ⟨10.1007/978-3-319-67471-1_11⟩
Communication dans un congrès
hal-01589251
v1
|
|
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython InterfaceCMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.370 - 316, ⟨10.1007/978-3-319-67471-1_20⟩
Communication dans un congrès
hal-01589248
v1
|
|
Goal-Driven Unfolding of Petri Nets28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩
Communication dans un congrès
hal-01392203
v2
|
|
Identification of Bifurcations in Biological Regulatory Networks using Answer-Set ProgrammingConstraint-Based Methods for Bioinformatics Workshop, Sep 2016, Toulouse, France
Communication dans un congrès
hal-01361350
v1
|
|
Goal-Oriented Reduction of Automata Networks14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. pp.252-272, ⟨10.1007/978-3-319-45177-0_16⟩
Communication dans un congrès
hal-01149118
v2
|
Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete ObservationsAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, Arizona, United States
Communication dans un congrès
hal-01305967
v1
|
|
|
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction GraphFifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. pp.113-127, ⟨10.1007/978-3-319-47151-8_8⟩
Communication dans un congrès
hal-01354079
v1
|
|
Boolean Network Identification from Multiplex Time Series DataCMSB 2015 - 13th conference on Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.170-181, ⟨10.1007/978-3-319-23401-4_15⟩
Communication dans un congrès
hal-01164751
v1
|
|
Characterization of Reachable Attractors Using Petri Net UnfoldingsCMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
Communication dans un congrès
hal-01060450
v1
|
|
Coarse-grained brownian dynamics simulation of rule-based modelsThe 11th Conference on Computational Methods in Systems Biology (CMSB'13), Sep 2013, Klosterneuburg, Austria. pp.64-77, ⟨10.1007/978-3-642-40708-6_6⟩
Communication dans un congrès
hal-00872963
v1
|
|
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Jul 2013, Saint Petersburg, Russia. pp.69-84, ⟨10.1007/978-3-642-39799-8_4⟩
Communication dans un congrès
hal-00769447
v3
|
|
Under-approximation of Reachability in Multivalued Asynchronous Networksfourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. pp.33--51, ⟨10.1016/j.entcs.2013.11.004⟩
Communication dans un congrès
hal-00873000
v1
|
|
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey2nd International Workshop on Static Analysis and Systems Biology (SASB 2011), Sep 2011, Venice, Italy. pp.93-104, ⟨10.1016/j.entcs.2012.05.017⟩
Communication dans un congrès
hal-00714476
v2
|
|
Concretizing the Process Hitting into Biological Regulatory NetworksComputational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩
Communication dans un congrès
hal-00704569
v2
|
Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?IWBDA - 4th International Workshop on Bio-Design Automation - 2012, Jun 2012, San Francisco, United States
Communication dans un congrès
hal-00712557
v1
|
|
|
Abducing Biological Regulatory Networks from Process Hitting modelsECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom
Communication dans un congrès
hal-01314470
v1
|
|
HSIM: an hybrid stochastic simulation system for systems biologyThe Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. pp.3 -- 21, ⟨10.1016/j.entcs.2015.04.016⟩
Communication dans un congrès
hal-00758168
v1
|
|
Abstract Interpretation of Dynamics of Biological Regulatory Networks1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Sep 2010, Perpignan, France. pp.43-56, ⟨10.1016/j.entcs.2011.04.004⟩
Communication dans un congrès
hal-00601118
v1
|
A generic abstract machine for stochastic process calculiCMSB '10: The 8th International Conference on Computational Methods in Systems Biology, Sep 2010, Trento, Italy. pp.43--54, ⟨10.1145/1839764.1839771⟩
Communication dans un congrès
hal-00525503
v1
|
|
|
Stochastic simulation of process calculi for biologyProceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010, Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.1⟩
Communication dans un congrès
hal-00574362
v1
|
|
Réseaux booléens : formalisme, sémantiques, et complexitéCédric Lhoussaine; Élisabeth Remy. Approches symboliques de la modélisation et de l'analyse des systèmes biologiques, ISTE Editions, 2022, 9781789490299
Chapitre d'ouvrage
hal-03612593
v1
|
|
Boolean networks and their dynamics: the impact of updatesSystems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, pp.173-250, 2022, 978-1-119-71658-7. ⟨10.1002/9781119716600.ch6⟩
Chapitre d'ouvrage
hal-03736899
v1
|
|
Analyse statique des réseaux booléensEmmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 978-2-271-11974-2
Chapitre d'ouvrage
hal-01753101
v1
|
|
Analyzing Large Network Dynamics with Process HittingLuis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. ⟨10.1002/9781119005223.ch4⟩
Chapitre d'ouvrage
hal-01060490
v1
|
|
Logic and linear programming for seed identification in metabolic networksBiorégul 2023 - Modélisation Formelle de Réseaux de Régulation Biologique, Jun 2023, Porquerolles (Hyères), France. pp.1-1, 2023
Poster de conférence
hal-04328778
v1
|
|
Pint, a static analyzer for dynamics of Automata Networks14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom.
Poster de conférence
hal-01366730
v1
|
|
Two Qualitative Dynamics Semantics for SBGN Process Description MapsCMSB'15, Sep 2015, Nantes, France. 2015
Poster de conférence
hal-01258943
v1
|
Journées BIOSS-IA 20172017
Autre publication scientifique
hal-01666094
v1
|
Reproducible Boolean model analyses and simulations with the CoLoMoTo software suite: a tutorial2025
Pré-publication, Document de travail
hal-04916645
v1
|
|
|
Attractor Basins in Concurrent Systems2024
Pré-publication, Document de travail
hal-04687172
v1
|
|
Data-driven inference of Boolean networks from transcriptomes to predict cellular differentiation and reprogramming2024
Pré-publication, Document de travail
hal-04753079
v1
|
|
Seed2LP: seed inference in metabolic networks for reverse ecology applications2024
Pré-publication, Document de travail
hal-04713829
v1
|
|
BioSimulators: a central registry of simulation engines and services for recommending specific tools2022
Pré-publication, Document de travail
hal-03613651
v1
|
|
Most Permissive Semantics of Boolean Networks[Research Report] Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, F-33400 Talence, France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2020
Rapport
(rapport de recherche)
hal-01864693
v2
|
|
From the Process Hitting to Petri Nets and Back2012
Rapport
hal-00744807
v1
|
|
A Dynamical Model for the Transmembrane Potential Regulation by pH[Research Report] LIX, Ecole polytechnique. 2012
Rapport
(rapport de recherche)
hal-00769446
v1
|
|
Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics2011
Rapport
hal-00574353
v2
|
|
Euclidean lattices for high dimensional indexing and searching[Research Report] PI 1903, 2008, pp.57
Rapport
(rapport de recherche)
inria-00326262
v1
|
|
Modélisation, Simulation et Vérification des Grands Réseaux de Régulation BiologiqueRéseaux et télécommunications [cs.NI]. Ecole Centrale de Nantes (ECN), 2011. Français. ⟨NNT : ⟩
Thèse
tel-00635750
v2
|
|
Réseaux booléens : méthodes formelles et outils pour la modélisation en biologieBio-informatique [q-bio.QM]. Université Paris-Saclay, 2020
HDR
tel-03150976
v1
|
Chargement...
Chargement...