|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 21 publication records. Showing 21 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 | Néstor Cataño, Camilo Rueda |
Matelas: A Predicate Calculus Common Formal Definition for Social Networking. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda |
A Case Study in JML-Assisted Software Development. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Néstor Cataño, Camilo Rueda |
Teaching Formal Methods for the Unconquered Territory. |
TFM |
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 | Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez, Camilo Rueda |
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
Timed Concurrent Constraint Programming for Analysing Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
A Declarative Framework for Security: Secure Concurrent Constraint Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda |
Implementing an Abstraction Framework for Soft Constraints. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Olarte, Camilo Rueda |
A stochastic non-deterministic temporal concurrent constraint calculus. |
SCCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rueda, Frank D. Valencia |
On validity in modelization of musical problems by CCP. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rueda, Frank D. Valencia |
Non-viability Deductions in Arc-Consistency Computation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda |
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. |
MOZ |
2004 |
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 |
|
| 1 | Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag |
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. |
Constraints |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Francisco Díaz, Camilo Rueda |
Modelos para la Computación Móvil (Invited paper). |
Revista Colombiana de Computación |
2000 |
DBLP BibTeX RDF |
|
| 1 | Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia |
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. |
CLEI Electron. J. |
1998 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")