 | 2009 |
|---|
| 7 |       | Angel A. Juan,
Daniel Riera,
David Masip,
Josep Jorba,
Javier Faulin:
A Simulation-based Methodology to Assist Decision-makers in Real Vehicle Routing Problems.
ICEIS (2) 2009: 212-217 |
| 6 |  | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
Verifying UML/OCL Operation Contracts.
IFM 2009: 40-55 |
| 2007 |
|---|
| 5 | | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.
ASE 2007: 547-548 |
| 2005 |
|---|
| 4 | | Daniel Riera,
Mercedes Narciso,
Chouaib Benqlilou:
A Petri Nets-Based Scheduling Methodology for Multipurpose Batch Plants.
Simulation 81(9): 613-623 (2005) |
| 2004 |
|---|
| 3 | | Miquel Angel Piera,
Mercedes Narciso,
Antoni Guasch,
Daniel Riera:
Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology.
Simulation 80(3): 121-129 (2004) |
| 2002 |
|---|
| 2 | | Daniel Riera,
Miquel Angel Piera,
Antoni Guasch:
PN to CSP Methodology: Improved Bounds.
CCIA 2002: 145-158 |
| 1 | | Daniel Riera,
Neil Yorke-Smith:
An Improved Hybrid Model for the Generic Hoist Scheduling Problem.
Annals OR 115(1-4): 173-191 (2002) |
