|
Search the dblp DataBase
Carlos Olarte:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Universal Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:464-465 [Conf]
- Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Declarative Diagnosis of Temporal Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:271-285 [Conf]
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. [Citation Graph (, )][DBLP]
A framework for abstract interpretation of timed concurrent constraint programs. [Citation Graph (, )][DBLP]
Universal concurrent constraint programing: symbolic semantics and applications to security. [Citation Graph (, )][DBLP]
A stochastic non-deterministic temporal concurrent constraint calculus. [Citation Graph (, )][DBLP]
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. [Citation Graph (, )][DBLP]
Towards a Unified Framework for Declarative Structured Communications [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|