Accéder directement au contenu

Loïc Paulevé

6
Documents
Identifiants chercheurs

Présentation

<https://loicpauleve.name>
<https://loicpauleve.name>

Publications

thomas-chatain
Image document

Boolean Networks: Beyond Generalized Asynchronicity

Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 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
Image document

Goal-Driven Unfolding of Petri Nets

Thomas Chatain , Loïc Paulevé
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩
Communication dans un congrès hal-01392203v2
Image document

Characterization of Reachable Attractors Using Petri Net Unfoldings

Thomas Chatain , Stefan Haar , Loïg Jezequel , Loïc Paulevé , Stefan Schwoon
CMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
Communication dans un congrès hal-01060450v1
Image document

Most Permissive Semantics of Boolean Networks

Thomas Chatain , Stefan Haar , Juraj Kolčák , Loïc Paulevé
[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