Concepedia

Daniel Riera

DR

Statistics

Publications

14

Citations

1.1K

H-Index

14

Active since

2002

Affiliations

Universitat Oberta de Catalunya(Current)

Universitat Autònoma de Barcelona

Universidad Autónoma de Nuevo León

Universitat Politècnica de Catalunya

Universidad Publica de Navarra

Daniel Riera is an author at Universitat Oberta de Catalunya specializing in engineering, systems engineering, and operations research.

Top concepts

EngineeringSystems EngineeringComputer ScienceOperations ResearchBusinessLogisticsCombinatorial OptimizationComputer EngineeringMathematical ProgrammingModeling And Simulation

Publications per year

2002–2020

14

Publications

14

Verification of UML/OCL Class Diagrams using Constraint Programming

Jordi Cabot, Robert Clarisó, Daniel Riera · 2008 · 217 citations

Engineering, Constraint Programming Paradigm, Verification +18

Jordi Cabot, Robert Clarisó, Daniel Riera · 2007 · 161 citations

Engineering, Uml/ocl Models, Verification +16

On the verification of UML/OCL class diagrams using constraint programming

Jordi Cabot, Robert Clarisó, Daniel Riera · Journal of Systems and Software · 2014 · 126 citations

Formal Specification, Engineering, Program Analysis +12

On the use of Monte Carlo simulation, cache and splitting techniques to improve the Clarke and Wright savings heuristics

Ángel A. Juan, Javier Faulín, Josep Jorba et al. · Journal of the Operational Research Society · 2010 · 124 citations · Full text

Using safety stocks and simulation to solve the vehicle routing problem with stochastic demands

Ángel A. Juan, Javier Faulín, Scott E. Grasman et al. · Transportation Research Part C Emerging Technologies · 2010 · 115 citations · Full text

Vehicle Routing, Engineering, Route Planning +14

1–5 of 14