✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Loïc P***
Directeur de recherche
📍 Laboratoire Bordelais de Recherche en Informatique
•
INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Forecast
Covid
Epidemic
France
Vision
Simulation
Co-scheduling
Algorithms
Cache-partitioned
Systems
Geometry theorem proving
Decision procedure
Nullstellensatz
Proof assistant
Proof
Certificates
Algebra
Their
Application
Automatic
Geometry
Theorem
Proving
Connecting
Bases
Programs
Proofs
Arithmetics
Type theory
Formalization
Ambiguities
Notations
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 22 citations
Advancements in Forecast: Contemporary Methods & Empirical Analysis
📖 Journal of Laboratoire Bordelais de Recherche en Informatique
👥 Other Supervisors in Laboratoire Bordelais de Recherche en Informatique
Yvonne J***
Professeur des universités • Laboratoire Bordelais de Recherche en Informatique
Xavier H***
Maître de conférences • Laboratoire Bordelais de Recherche en Informatique
Jelena M***
Directeur de recherche • Laboratoire Bordelais de Recherche en Informatique
Laércio Lima P***
Directeur de recherche • Laboratoire Bordelais de Recherche en Informatique