Daniel Riera Terrén
Daniel Riera Terrén
Professor of Computer Science, Universitat Oberta de Catalunya (UOC)
Correu electrònic verificat a uoc.edu - Pàgina d'inici
TítolCitada perAny
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
2512008
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
2032015
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
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
1722014
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
1272011
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
1022014
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
1012011
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
722017
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
692004
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
672014
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
652009
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
222012
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20