Search results for "Carlos Olarte"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia	Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.	PACBB	2011	DBLP DOI BibTeX RDF
1	Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	Compositional modelling of signalling pathways in timed concurrent constraint programming.	BCB	2010	DBLP DOI BibTeX RDF
1	Hugo A. López, Carlos Olarte, Jorge A. Pérez	Towards a Unified Framework for Declarative Structured Communications	PLACES	2009	DBLP DOI BibTeX RDF
1	Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia	An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.	ICLP	2009	DBLP DOI BibTeX RDF
1	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
1	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
1	Carlos Olarte, Frank D. Valencia	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.	PPDP	2008	DBLP DOI BibTeX RDF	first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
1	Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Universal Timed Concurrent Constraint Programming.	ICLP	2007	DBLP DOI BibTeX RDF
1	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Declarative Diagnosis of Temporal Concurrent Constraint Programs.	ICLP	2007	DBLP DOI BibTeX RDF	timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic
1	Carlos Olarte, Camilo Rueda	A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.	CLEI Electron. J.	2006	DBLP BibTeX RDF
1	Carlos Olarte, Camilo Rueda	A stochastic non-deterministic temporal concurrent constraint calculus.	SCCC	2005	DBLP DOI BibTeX RDF
1	Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda	Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.	MOZ	2004	DBLP DOI BibTeX RDF
1	Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda	Implementing Semiring-Based Constraints Using Mozart.	MOZ	2004	DBLP DOI BibTeX RDF
1	Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda	CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction.	CP	2004	DBLP DOI BibTeX RDF

Publications of Carlos Olarte Carlos Alberto Olarte ( http://dblp.L3S.de/Authors/Carlos_Olarte )