Daniel Riera Terrén
Daniel Riera Terrén
Professor of Computer Science, Universitat Oberta de Catalunya (UOC)
Verified email at uoc.edu - Homepage
TitleCited byYear
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
2392008
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
1952007
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
1722015
Rich vehicle routing problem: Survey
J Caceres-Cruz, P Arias, D Guimarans, D Riera, AA Juan
ACM Computing Surveys (CSUR) 47 (2), 32, 2015
1542015
On the use of Monte Carlo simulation, cache and splitting techniques to improve the Clarke and Wright savings heuristics
AA Juan, J Faulin, J Jorba, D Riera, D Masip, B Barrios
Journal of the Operational Research Society 62 (6), 1085-1097, 2011
1212011
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
962014
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
952011
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
652004
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
642009
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
622014
Using iterated local search for solving the flow‐shop problem: parallelization, parametrization, and randomization issues
AA Juan, HR Lourenço, M Mateo, R Luo, Q Castella
International Transactions in Operational Research 21 (1), 103-126, 2014
592014
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
532017
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-4), 299-315, 2011
262011
An improved hybrid model for the generic hoist scheduling problem
D Riera, N Yorke-Smith
Annals of Operations Research 115 (1-4), 173-191, 2002
252002
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
212018
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
212012
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 winter simulation conference, 275, 2012
182012
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
141999
A petri nets-based scheduling methodology for multipurpose batch plants
D Riera, M Narciso, C Benqlilou
Simulation 81 (9), 613-623, 2005
92005
¿ Podemos darle la vuelta a la enseñanza del desarrollo del software?
M Simó, J Maria, D Riera Terrén, S Caballé Llobet, J Cabot Sagrera, ...
Novatica-revista de la Asociacion de Tecnicos de Informatica, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20