Investigadores
Publicaciones de Daniel Riera Terrén
Artículos de revistas
-
RIERA, D.; NARCISO, M.; BENQLILOU, C. (2005). " A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants. ". SIMULATION. Núm. 81. Pág. 613- 623. ISSN: 00375497.
-
PIERA, M. .; NARCISO, M.; GUASCH, A.; RIERA, D. (2004). " Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology. ". SIMULATION. Núm. 80. Pág. 121- 130. ISSN: 00375497.
-
RIERA, D.; YORKE-SMITH, N. (2002). " An improved hybrid model for the generic Hoist Scheduling Problem. ". ANN OPER RES. Núm. 115. Pág. 173- 191. ISSN: 02545330.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " PN to CSP methodology: Improved bounds ". Lecture Notes in Computer Science. Núm. 2504. Pág. 145- 158. ISSN: 03029743.
Capítulos de libros
-
CABOT, J.; CLARISÓ, R.; RIERA, D. (2007). " UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming ". En: EGYED, A.; FISCHER, B.; STIREWALT, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Pág. 547- 548. ISBN: 978-1-59593-882-4.
-
CABOT, J.; CLARISÓ, R.; DE, P.; RIERA, D. (2007). " UMLtoCSP: Una herramienta para la verificación de modelos mediante Constraint Programming ". En: FRANCH, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007) . Zaragoza: Thomson. Pág. 385- 386. ISBN: 978-84-9732-595-0.
-
RIUS, M. .; RIERA, D.; PRIETO, J. (2006). " Caso real de un Corrector Automático de Programas en un entorno Virtual de Aprendizaje ". En: TREMANTE, A.; WELSCH, F.; BARALT, J.; GREDIAGA, M. D. R.; AVILA, M. Actas del III Simposium Iberoamericano de Educación, Cibernética e Informática (SIECI 2006). Pág. 106- 111. ISBN: 980-6560-90-6.
Contribuciones a congresos
-
BLANCO, E.; MOYANO, J. M.; ORENGO, D. J.; SÁNCHEZ, A.; RIERA, D. (2008). " Bioinformatics virtual learning ". En: VIII Jornadas de Bioinformática. Workshop: Training in Bioinformatics. Red temática nacional de bioinformática. VALENCIA, 13 febrero.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2006). " PN to CSP methodology: Incomplete Search ". En: 2nd European Modeling and Simulation Symposium. BARCELONA, 4 octubre.
-
RIUS, M. .; PRIETO, J.; RIERA, D. (2006). " Caso Real de un Corrector Automático de Programas en un Entorno Virtual de Aprendizaje ". En: Simposium Iberoaméricano de Educación, Cibernética e Informática. 20 julio.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2003). " PN to CSP methodology: Dichotomic Search. ". En: CESA 2003. Lille, 9 julio.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " An Improvement to the Transitions Firings Bounding in the CSP to PN methodology. ". En: CCIA 2002. Castelló de la Plana, 24 octubre.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " CSP generation from Petri Nets models. ". En: IFAC 2002. 15th world congress.. BARCELONA, 21 julio.