Investigadores

Artículos de revistas

• MARCO, J. M.; GUITART, I.; MARCO, M. J.; RIUS, M. �.; RODRÍGUEZ, M. E.; ARNEDO, J.; CABOT, J.; CABALLÉ, S.; RIERA, D. (2008). " ¿Podemos darle la vuelta a la enseñanza del desarrollo del software? ". Novatica-revista de la Asociacion de Tecnicos de Informatica. Núm. 193. Pág. 59- 62. ISSN: 0211-2124.

  >> ver los detalles

• 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.

  >> ver los detalles

• 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.

  >> ver los detalles

• 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.

  >> ver los detalles

• 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.

  >> ver los detalles

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.

  >> ver los detalles

• 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.

  >> ver los detalles

• 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.

  >> ver los detalles

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.

  >> ver los detalles

• RIERA, D.; PIERA, M. �.; GUASCH, A. (2006). " PN to CSP methodology: Incomplete Search ". En: 2nd European Modeling and Simulation Symposium. BARCELONA, 4 octubre.

  >> ver los detalles

• 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.

  >> ver los detalles

• RIERA, D.; PIERA, M. �.; GUASCH, A. (2003). " PN to CSP methodology: Dichotomic Search. ". En: CESA 2003. Lille, 9 julio.

  >> ver los detalles

• 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.

  >> ver los detalles

• RIERA, D.; PIERA, M. �.; GUASCH, A. (2002). " CSP generation from Petri Nets models. ". En: IFAC 2002. 15th world congress.. BARCELONA, 21 julio.

  >> ver los detalles