Javier Oliver Villarroya
Título
Citado por
Citado por
Año
Structural and dynamic changes in concurrent systems: reconfigurable Petri nets
M Llorens, J Oliver
IEEE Transactions on Computers 53 (9), 1147-1158, 2004
1302004
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1282005
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1162005
Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems
E Badouel, J Oliver
851998
Who is who at different cameras: people re-identification using depth cameras
A Albiol, J Oliver, JM Mossi
IET computer vision 6 (5), 378-387, 2012
472012
Modeling Concurrent Systems: Reconfigurable Nets.
E Badouel, M Llorens, J Oliver
PDPTA, 1568-1574, 2003
452003
Dynamic slicing techniques for petri nets
M Llorens, J Oliver, J Silva, S Tamarit, G Vidal
Electronic Notes in Theoretical Computer Science 223, 153-165, 2008
362008
Mass appraisal of residential real estate using multilevel modelling
I Arribas, F García, F Guijarro, J Oliver, R Tamošiūnienė
International Journal of Strategic Property Management 20 (1), 77-87, 2016
252016
3D descriptor for people re-identification
J Oliver, A Albiol, A Albiol
Proceedings of the 21st International Conference on Pattern Recognition …, 2012
232012
Operational semantics for functional logic languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Electronic Notes in Theoretical Computer Science 76, 1-19, 2002
222002
Hybrid fuzzy neural network to predict price direction in the German DAX-30 index
F Garcia, F Guijarro, J Oliver, R Tamošiūnienė
Technological and Economic Development of Economy 24 (6), 2161-2178, 2018
212018
Introducing structural dynamic changes in Petri nets: Marked-controlled reconfigurable nets
M Llorens, J Oliver
International Symposium on Automated Technology for Verification and …, 2004
212004
The MEB and CEB static analysis for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
202008
Marked-controlled reconfigurable workflow nets
M Llorens, J Oliver
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006
142006
Reforma, interiorismo y diseno de mobiliario para una vivienda antigua
PC Marchante
Ph. D. dissertation, 2011
132011
SOC: a slicer for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
132009
Reconfigurable nets: A class of high-level Petri nets supporting dynamic changes with workflow systems
E Badouel, J Oliver
INRIA Research Report, PI-1163, 1998
131998
Index tracking optimization with cardinality constraint: a performance comparison of genetic algorithms and tabu search heuristics
F García, F Guijarro, J Oliver
Neural Computing and Applications 30 (8), 2625-2641, 2018
112018
Static slicing of CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Proc. of the 18th International Symposium on Logic-Based Program Synthesis …, 2008
102008
Selecting socially responsible portfolios: a fuzzy multicriteria approach
F García, J González-Bueno, J Oliver, N Riley
Sustainability 11 (9), 2496, 2019
82019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20