| Verification of UML/OCL class diagrams using constraint programming J Cabot, R Claris, D Riera 2008 IEEE International Conference on Software Testing Verification and …, 2008 | 278 | 2008 |
| A literature review of gamification design frameworks A Mora, D Riera, C Gonzalez, J Arnedo-Moreno 2015 7th International Conference on Games and Virtual Worlds for Serious …, 2015 | 266 | 2015 |
| Rich vehicle routing problem: Survey J Caceres-Cruz, P Arias, D Guimarans, D Riera, AA Juan ACM Computing Surveys (CSUR) 47 (2), 1-28, 2014 | 228 | 2014 |
| UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming J Cabot, R Clarisó, D Riera Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 222 | 2007 |
| Gamification: a systematic review of design frameworks A Mora, D Riera, C González, J Arnedo-Moreno Journal of Computing in Higher Education 29 (3), 516-548, 2017 | 141 | 2017 |
| On the use of Monte Carlo simulation, cache and splitting techniques to improve the Clarke and Wright savings heuristics AA Juan, J Faulín, J Jorba, D Riera, D Masip, B Barrios Journal of the Operational Research Society 62 (6), 1085-1097, 2011 | 132 | 2011 |
| On the verification of UML/OCL class diagrams using constraint programming J Cabot, R Clarisó, D Riera Journal of Systems and Software 93, 1-23, 2014 | 130 | 2014 |
| Using safety stocks and simulation to solve the vehicle routing problem with stochastic demands A Juan, J Faulin, S Grasman, D Riera, J Marull, C Mendez Transportation Research Part C: Emerging Technologies 19 (5), 751-765, 2011 | 115 | 2011 |
| A simheuristic algorithm for solving the permutation flow shop problem with stochastic processing times AA Juan, BB Barrios, E Vallada, D Riera, J Jorba Simulation Modelling Practice and Theory 46, 101-117, 2014 | 86 | 2014 |
| Optimization of logistic and manufacturing systems through simulation: a colored Petri net-based methodology MÀ Piera, M Narciso, A Guasch, D Riera Simulation 80 (3), 121-129, 2004 | 77 | 2004 |
| Verifying UML/OCL operation contracts J Cabot, R Clarisó, D Riera International Conference on Integrated Formal Methods, 40-55, 2009 | 72 | 2009 |
| A simheuristic algorithm for solving the arc routing problem with stochastic demands S Gonzalez-Martin, AA Juan, D Riera, MG Elizondo, JJ Ramos Journal of Simulation 12 (1), 53-66, 2018 | 55 | 2018 |
| Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem S González-Martín, AA Juan, D Riera, Q Castellà, R Muñoz, A Pérez AI Communications 25 (2), 173-189, 2012 | 26 | 2012 |
| Combining probabilistic algorithms, constraint programming and lagrangian relaxation to solve the vehicle routing problem D Guimarans, R Herrero, D Riera, AA Juan, JJ Ramos Annals of Mathematics and Artificial Intelligence 62 (3), 299-315, 2011 | 26 | 2011 |
| An improved hybrid model for the generic hoist scheduling problem D Riera, N Yorke-Smith Annals of Operations Research 115 (1), 173-191, 2002 | 25 | 2002 |
| Sim-randsharp: A hybrid algorithm for solving the arc routing problem with stochastic demands S González, D Riera, AA Juan, MG Elizondo, P Fonseca Proceedings of the 2012 Winter Simulation Conference (WSC), 1-11, 2012 | 18 | 2012 |
| A Petri nets based object oriented tool for the scheduling of stochastic flexible manufacturing systems AJ Gambin, MA Piera, D Riera 1999 7th IEEE International Conference on Emerging Technologies and Factory …, 1999 | 13 | 1999 |
| A petri nets-based scheduling methodology for multipurpose batch plants D Riera, M Narciso, C Benqlilou Simulation 81 (9), 613-623, 2005 | 9 | 2005 |
| Biased randomization of classical heuristics AA Juan, J Cáceres-Cruz, S González-Martín, D Riera, BB Barrios Encyclopedia of Business Analytics and Optimization, 304-314, 2014 | 7 | 2014 |
| ¿ Podemos darle la vuelta a la enseñanza del desarrollo del software? JM Marco Simó, D Riera Terrén, S Caballé Llobet, J Cabot Sagrera, ... Novatica-revista de la Asociacion de Tecnicos de Informatica, 2007 | 7 | 2007 |
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Verified email at icrea.cat
