✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Alexandre M***
Maître de conférences
📍 Centre Inria de l'Université de Lorraine
•
INRIA
550
Total Citations
7
H-Index
162
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Cross-Border Cooperation and Integration
Local Governance and Planning
Historical Geography and Geographical Thought
Humanities
Philosophy
Art
Tracing garbage collection
Concurrency
Separation logic
Program verification
Verifying
Space
Bounds
Concurrent
Programs
Under
Garbage
Collection
Heap space
Formal verification
Espace de tas
Glaneur de cellules
Concurrence
Vérification formelle
Logique de séparation
Formal
Verification
Stars
Rification
Formelle
Bornes
Espace
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 27 citations
Advancements in Cross-Border Cooperation and Integration: Contemporary Methods & Empirical Analysis
📖 Journal of Centre Inria de l'Université de Lorraine
👥 Other Supervisors in Centre Inria de l'Université de Lorraine
Serena I***
Professeur des universités • Centre Inria de l'Université de Lorraine
Mostafa S***
Professeur des universités • Centre Inria de l'Université de Lorraine
Nazim F***
Professeur des universités • Centre Inria de l'Université de Lorraine
Natalia T***
Directeur de recherche • Centre Inria de l'Université de Lorraine