Lo\"ic Paulev\'e
Identifiers
- name variant Lo\"ic Paulev\'e 0.60 · backfill
Papers (9)
- Bringing memory to Boolean networks: a unifying framework cs.LO · 2024 · author #2
- Concurrency in Boolean networks cs.LO · 2019 · author #4
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics cs.LO · 2018 · author #3
- Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks cs.DM · 2018 · author #4
- Goal-Driven Unfolding of Petri Nets cs.LO · 2016 · author #2
- Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph cs.DM · 2016 · author #3
- Goal-Oriented Reduction of Automata Networks cs.LO · 2016 · author #1
- Under-approximating Cut Sets for Reachability in Large Scale Automata Networks cs.SY · 2013 · author #1
- Dynamical Properties of Discrete Reaction Networks cs.DM · 2013 · author #1
Mentions
Frequent Coauthors
- Stefan Haar 4 shared papers
- Juraj Kol\v{c}\'ak 3 shared papers
- Heinz Koeppl 2 shared papers
- Thomas Chatain 2 shared papers
- Aalok Thakkar 1 shared papers
- David \v{S}afr\'anek 1 shared papers
- Geoffroy Andrieux 1 shared papers
- Gheorghe Craciun 1 shared papers
- Hugues Mandon 1 shared papers
- Maximilien Gadouleau 1 shared papers
- Sara Riva 1 shared papers