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
- 1
- 2
- 1
- 1
|
MERRIN: MEtabolic Regulation Rule INference from time series dataBioinformatics, 2022, 38 (Supplement_2), pp.ii127-ii133. ⟨10.1093/bioinformatics/btac479⟩
Article dans une revue
hal-03701755v2
|
|
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
|