|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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, Frank D. Valencia, Cristian Versari |
On the Expressive Power of Restriction and Priorities in CCS with Replication. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia |
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
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 | Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia |
On Recursion, Replication and Scope Mechanisms in Process Calculi. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Juan Francisco Díaz, V. James Ortíz |
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")