Concepedia

Carlos Olarte

CO

15

Publications

279

Citations

11

H-Index

2008

Active since

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

Pontificia Universidad Javeriana

Universidade Federal do Rio Grande do Norte

University of Siena

École Polytechnique

Carlos Olarte is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningFormal SpecificationMathematical ProgrammingProgram AnalysisParallel Computing

Publications per year

2008–2022

15

Publications

15

Models and emerging trends of concurrent constraint programming

Carlos Olarte, Camilo Rueda, Frank Valencia · Constraints · 2013 · 40 citations · Full text

Mathematical Programming, Concurrent Constraint Programming, Constraint Solving +8

Universal concurrent constraint programing

Carlos Olarte, Frank Valencia · 2008 · 35 citations

Mathematical Programming, Engineering, Verification +20

Concurrent constraints models of music interaction

Mauricio Toro, Camilo Rueda, Frank Valencia et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 26 citations · Full text

Modelling non-Markovian dynamics in biochemical reactions

Davide Chiarugi, Moreno Falaschi, Diana Hermith et al. · BMC Systems Biology · 2015 · 22 citations · Full text

The expressivity of universal timed CCP

Carlos Olarte, Frank Valencia · 2008 · 20 citations · Full text

Computational Complexity Theory, Engineering, Verification +16

Rows per page

1–5 of 15