Scholar
Carlos Olarte
Google Scholar ID: 3e9DD4UAAAAJ
Associate Professor at Université Sorbonne Paris Nord
Concurrency theory
verification
logic
semantics of programming languages
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
894
H-index
17
i10-index
32
Publications
20
Co-authors
22
list available
Publications
5 items
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
2026
Cited
0
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
Co-authors
8 total
Elaine Pimentel
University College London
Frank D. Valencia
CNRS, École Polytechnique de Paris
Catuscia Palamidessi
Inria
Jorge A. Pérez
Associate Professor, University of Groningen
Hugo Andrés López
Associate Professor, Technical University of Denmark
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Valeria de Paiva
Topos Institute, University of Birmingham
Julian Gutierrez
Associate Professor, University of Sussex
