Researchers
Publications of Daniel Riera Terrén
Journal articles
-
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. Number. 193. Page. 59- 62. ISSN: 0211-2124.
-
RIERA, D.; NARCISO, M.; BENQLILOU, C. (2005). " A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants. ". SIMULATION. Number. 81. Page. 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. Number. 80. Page. 121- 130. ISSN: 00375497.
-
RIERA, D.; YORKE-SMITH, N. (2002). " An improved hybrid model for the generic Hoist Scheduling Problem. ". ANN OPER RES. Number. 115. Page. 173- 191. ISSN: 02545330.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " PN to CSP methodology: Improved bounds ". Lecture Notes in Computer Science. Number. 2504. Page. 145- 158. ISSN: 03029743.
Book chapters
-
CABOT, J.; CLARISÓ, R.; RIERA, D. (2007). " UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming ". In: EGYED, A.; FISCHER, B.; STIREWALT, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Page. 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 ". In: FRANCH, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007) . Zaragoza: Thomson. Page. 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 ". In: 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). Page. 106- 111. ISBN: 980-6560-90-6.
Conference contributions
-
BLANCO, E.; MOYANO, J. M.; ORENGO, D. J.; SÁNCHEZ, A.; RIERA, D. (2008). " Bioinformatics virtual learning ". In: VIII Jornadas de Bioinformática. Workshop: Training in Bioinformatics. Red temática nacional de bioinformática. VALENCIA, 13 February.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2006). " PN to CSP methodology: Incomplete Search ". In: 2nd European Modeling and Simulation Symposium. BARCELONA, 4 October.
-
RIUS, M. .; PRIETO, J.; RIERA, D. (2006). " Real de un Corrector Automático de Programas en un Entorno Virtual de Aprendizaje ". In: Simposium Iberoaméricano de Educación, Cibernética e Informática. 20 July.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2003). " PN to CSP methodology: Dichotomic Search. ". In: CESA 2003. Lille, 9 July.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " An Improvement to the Transitions Firings Bounding in the CSP to PN methodology. ". In: CCIA 2002. Castelló de la Plana, 24 October.
-
RIERA, D.; PIERA, M. .; GUASCH, A. (2002). " CSP generation from Petri Nets models. IFAC 2002. 15th world congress. ". In: IFAC 2002. BARCELONA, 21 July.