21
TÍTULO: Timed Concurrent Constraint Programming for Analysing Biological Systems
AUTORES: Gutierrez, J; Perez, JA ; Rueda, C; Valencia, FD;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 171, NÚMERO: 2 SPEC. ISS.
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
22
TÍTULO: A declarative framework for security: Secure concurrent constraint programming
AUTORES: Lopez, HA; Palamidessi, C; Perez, JA ; Rueda, C; Valencia, FD;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming, ICLP 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4079 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
23
TÍTULO: An interactive tool for the controlled execution of an automated timetabling constraint engine
AUTORES: Delgado, A; Perez, JA ; Pabon, G; Jordan, R; Diaz, JF; Rueda, C;
PUBLICAÇÃO: 2005, FONTE: Second International Conference - Multiparadigm Programming in Mozart/OZ, MOZ 2004 in Lecture Notes in Computer Science, VOLUME: 3389
INDEXADO EM: Scopus
NO MEU: ORCID
24
TÍTULO: Implementing an abstraction framework for soft constraints
AUTORES: Delgado, A; Perez, JA ; Rueda, C;
PUBLICAÇÃO: 2005, FONTE: 6th International Symposium on Abstraction, Reformulation and Approximation, SARA 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3607 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
25
TÍTULO: Implementing semiring-based constraints using Mozart
AUTORES: Delgado, A; Olarte, CA; Perez, JA ; Rueda, C;
PUBLICAÇÃO: 2005, FONTE: Second International Conference - Multiparadigm Programming in Mozart/OZ, MOZ 2004 in Lecture Notes in Computer Science, VOLUME: 3389
INDEXADO EM: Scopus
NO MEU: ORCID
Página 3 de 3. Total de resultados: 25.