Daniel Riera Terrén
Daniel Riera Terrén
Professor of Computer Science, Universitat Oberta de Catalunya (UOC)
Geverifieerd e-mailadres voor uoc.edu - Homepage
Geciteerd door
Geciteerd door
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
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
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
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
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
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
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
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
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
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
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
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
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
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
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
An improved hybrid model for the generic hoist scheduling problem
D Riera, N Yorke-Smith
Annals of Operations Research 115 (1), 173-191, 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
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
A petri nets-based scheduling methodology for multipurpose batch plants
D Riera, M Narciso, C Benqlilou
Simulation 81 (9), 613-623, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20