Carlos Olarte
Scholar

Carlos Olarte

Google Scholar ID: 3e9DD4UAAAAJ
Associate Professor at Université Sorbonne Paris Nord
Concurrency theoryverificationlogicsemantics of programming languagesformal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
894
 
H-index
17
 
i10-index
32
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Publications
4 items
Efficient Decision Procedures for RNmatrix Semantics
2026
Cited
0
Collusion Relations and their Applications to Balance Theory
2026
Cited
0
The Modal Cube Revisited: Semantics without Worlds
2025
Cited
0
A Constraint Opinion Model
2025
Cited
0
Resume (English only)
Co-authors
22 total
Elaine Pimentel
Elaine Pimentel
University College London
Frank D. Valencia
Frank D. Valencia
CNRS, École Polytechnique de Paris
Co-author 3
Co-author 3
Catuscia Palamidessi
Catuscia Palamidessi
Inria
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Jorge A. Pérez
Jorge A. Pérez
Associate Professor, University of Groningen