Loïc Paulevé
83
Documents
Identifiants chercheurs
loic-pauleve-
0000-0002-7219-2027
- Google Scholar : https://scholar.google.fr/citations?user=Lcdry6AAAAAJ
- IdRef : 127903690
Présentation
<https://loicpauleve.name>
<https://loicpauleve.name>
Publications
- 2
- 4
- 8
- 4
- 7
- 5
- 6
- 5
- 11
- 6
- 2
- 4
- 8
- 5
- 5
- 1
- 14
- 13
- 11
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 12
- 10
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
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-04420454v1
|
|
|
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-03910483v1
|
|
|
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-03773855v1
|
|
|
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-03704761v1
|
|
|
Non-deterministic updates of Boolean networks27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), 2021, Marseille, France. pp.10:1--10:16, ⟨10.4230/OASIcs.AUTOMATA.2021.10⟩
Communication dans un congrès
hal-03210805v2
|
|
|
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-03207589v3
|
|
|
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-02704747v1
|
|
|
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-02898849v2
|
|
|
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-02898841v1
|
|
|
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-02178917v2
|
|
|
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-01940174v1
|
|
|
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-02276921v2
|
|
|
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-01768359v2
|
|
|
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-01589248v1
|
|
|
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-01589251v1
|
|
|
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-01392203v2
|
|
|
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-01354109v2
|
|
|
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-01149118v2
|
|
|
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-01361350v1
|
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-01305967v1
|
|
|
|
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-01354079v1
|
|
|
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-01164751v1
|
|
|
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-01060450v1
|
|
|
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-00872963v1
|
|
|
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-00769447v3
|
|
|
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-00873000v1
|
|
|
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-00704569v2
|
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-00712557v1
|
|
|
|
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-01314470v1
|
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-00758168v1
|
|
|
|
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-00714476v2
|
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-00574362v1
|
|
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-00601118v1
|
|
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-00525503v1
|
Boolean networks and their dynamics: the impact of updatesSystems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
Chapitre d'ouvrage
hal-03736899v1
|
|
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-03612593v1
|
|
|
|
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-01753101v1
|
|
|
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
Chapitre d'ouvrage
hal-01060490v1
|
|
|
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-04328778v1
|
|
|
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-01366730v1
|
|
|
Two Qualitative Dynamics Semantics for SBGN Process Description MapsCMSB'15, Sep 2015, Nantes, France. 2015
Poster de conférence
hal-01258943v1
|
Journées BIOSS-IA 20172017
Autre publication scientifique
hal-01666094v1
|
Computational Complexity of Minimal Trap Spaces in Boolean Networks2023
Pré-publication, Document de travail
hal-04309014v1
|
|
|
|
scBoolSeq: Linking scRNA-Seq Statistics and Boolean Dynamics2023
Pré-publication, Document de travail
hal-04294917v1
|
|
|
BioSimulators: a central registry of simulation engines and services for recommending specific tools2022
Pré-publication, Document de travail
hal-03613651v1
|
|
|
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
hal-01864693v2
|
|
|
From the Process Hitting to Petri Nets and Back2012
Rapport
hal-00744807v1
|
|
|
A Dynamical Model for the Transmembrane Potential Regulation by pH[Research Report] LIX, Ecole polytechnique. 2012
Rapport
hal-00769446v1
|
|
|
Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics2011
Rapport
hal-00574353v2
|
|
|
Euclidean lattices for high dimensional indexing and searching[Research Report] PI 1903, 2008, pp.57
Rapport
inria-00326262v1
|
|
|
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-00635750v2
|
|
|
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-03150976v1
|