|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 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 | Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia |
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik, Frank Valencia (eds.) |
Proceedings 18th International Workshop on Expressiveness in Concurrency |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Frank D. Valencia (eds.) |
Proceedings 17th International Workshop on Expressiveness in Concurrency |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia |
Concurrent and Reactive Constraint Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Pawel Sobocinski, Frank D. Valencia |
Foreword: Festschrift for Mogens Nielsen's 60th birthday. |
Theor. Comput. Sci. |
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 | Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (eds.) |
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings |
SOFSEM |
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 | Catuscia Palamidessi, Frank D. Valencia |
Preface. |
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 | 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 | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia |
On the Asynchronous Nature of the Asynchronous pi-Calculus. |
Concurrency, Graphs and Models |
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 | 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 | 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 | Catuscia Palamidessi, Frank D. Valencia |
Languages for Concurrency. |
Bulletin of the EATCS |
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 | 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 | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor |
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank D. Valencia |
Decidability of infinite-state timed CCP processes and first-order LTL. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
Recursion vs Replication in Process Calculi: Expressiveness. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan S. Dantchev, Frank D. Valencia |
On the computational limits of infinite satisfaction. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
infinite CSP, open CSP, decidability, constraint satisfaction problems |
| 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 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank D. Valencia |
Concurrency, Time, and Constraints. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank D. Valencia |
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Frank D. Valencia |
Notes on Timed Concurrent Constraint Programming. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
| 1 | Mogens Nielsen, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Applications and Behavior. |
Formal and Natural Computing |
2002 |
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 | Catuscia Palamidessi, Frank D. Valencia |
A Temporal Concurrent Constraint Programming Calculus. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank D. Valencia |
Temporal Concurrent Constraint Programming. |
CP |
2001 |
DBLP DOI 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 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")