Loïc Paulevé
14
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
- 1
- 4
- 4
- 1
- 1
- 2
- 1
- 14
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 7
- 1
|
Concurrency in Boolean networksNatural Computing, 2020, 19 (1), pp.91--109. ⟨10.1007/s11047-019-09748-4⟩
Article dans une revue
hal-01893106v2
|
|
Reconciling Qualitative, Abstract, and Scalable Modeling of Biological NetworksNature Communications, 2020, 11, ⟨10.1038/s41467-020-18112-5⟩
Article dans une revue
hal-02518582v2
|
|
Algorithms for the Sequential Reprogramming of Boolean NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1610-1619. ⟨10.1109/TCBB.2019.2914383⟩
Article dans une revue
hal-02113864v1
|
|
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory NetworksTheoretical Computer Science, 2019, 765, pp.120-144. ⟨10.1016/j.tcs.2018.03.009⟩
Article dans une revue
hal-01734805v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|