Loïc Paulevé
2
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
- 1
- 2
- 2
- 1
- 1
- 2
- 2
|
|
Concurrency in Boolean networksNatural Computing, 2020, 19 (1), pp.91--109. ⟨10.1007/s11047-019-09748-4⟩
Article dans une revue
hal-01893106v2
|
|
|
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
|