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
2472008
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
2032007
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
1942015
Rich vehicle routing problem: Survey
J Caceres-Cruz, P Arias, D Guimarans, D Riera, AA Juan
ACM Computing Surveys (CSUR) 47 (2), 32, 2015
1642015
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
1252011
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
1012014
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
982011
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
682004
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
652017
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
642014
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
642009
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
622014
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
272011
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
242018
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?
JM Marco Simó, D Riera Terrén, S Caballé Llobet, J Cabot Sagrera, ...
Novatica-revista de la Asociacion de Tecnicos de Informatica, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20