Daniel Riera Terrén
Daniel Riera Terrén
Professor of Computer Science, Universitat Oberta de Catalunya (UOC)
Dirección de correo verificada de uoc.edu - Página principal
Título
Citado por
Citado por
Año
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
2532008
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
2222015
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
2052007
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
1932014
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
1282011
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
1102014
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
1062011
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
872017
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
722014
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
712004
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
682009
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
652014
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
332018
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
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
242012
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
242002
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
192012
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
131999
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20