Carlos Olarte

Carlos Olarte

Universidade Federal do Rio Grande do Norte - Muscat / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 833969
Federal University of Rio Grande do Norte UFRN
person_outline Carlos Olarte's MOST POPULAR ARTICLES
1-) Universal concurrent constraint programing: symbolic semantics and applications to securityC Olarte, FD ValenciaProceedings of the 2008 ACM symposium on Applied computing, 145-150, 2008592008
2-) Models and emerging trends of concurrent constraint programmingC Olarte, C Rueda, FD ValenciaConstraints 18 (4), 535-578, 2013532013
3-) A general proof system for modalities in concurrent constraint programmingV Nigam, C Olarte, E PimentelInternational Conference on Concurrency Theory, 410-424, 2013362013
4-) The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for securityC Olarte, FD ValenciaProceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008372008
5-) Concurrent constraints models of music interactionM Toro, C Rueda, F Valencia, G Sarria, C OlarteConstraint Programming in Music, 133, 2011322011