21
TITLE: Timed Concurrent Constraint Programming for Analysing Biological Systems
AUTHORS: Gutierrez, J; Perez, JA ; Rueda, C; Valencia, FD;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 171, ISSUE: 2 SPEC. ISS.
INDEXED IN: Scopus CrossRef
IN MY: ORCID
22
TITLE: A declarative framework for security: Secure concurrent constraint programming
AUTHORS: Lopez, HA; Palamidessi, C; Perez, JA ; Rueda, C; Valencia, FD;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
23
TITLE: An interactive tool for the controlled execution of an automated timetabling constraint engine
AUTHORS: Delgado, A; Perez, JA ; Pabon, G; Jordan, R; Diaz, JF; Rueda, C;
PUBLISHED: 2005, SOURCE: Second International Conference - Multiparadigm Programming in Mozart/OZ, MOZ 2004 in Lecture Notes in Computer Science, VOLUME: 3389
INDEXED IN: Scopus
IN MY: ORCID
24
TITLE: Implementing an abstraction framework for soft constraints
AUTHORS: Delgado, A; Perez, JA ; Rueda, C;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
25
TITLE: Implementing semiring-based constraints using Mozart
AUTHORS: Delgado, A; Olarte, CA; Perez, JA ; Rueda, C;
PUBLISHED: 2005, SOURCE: Second International Conference - Multiparadigm Programming in Mozart/OZ, MOZ 2004 in Lecture Notes in Computer Science, VOLUME: 3389
INDEXED IN: Scopus
IN MY: ORCID
Página 3 de 3. Total de resultados: 25.