A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques M Nilashi, K Bagherifard, M Rahmani, V Rafe Computers & industrial engineering 109, 357-368, 2017 | 174 | 2017 |
A qualitative framework to assess hospital/medical websites V Rafe, M Monfaredzadeh Journal of medical systems 36, 2927-2939, 2012 | 62 | 2012 |
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy S Esfandyari, V Rafe Information and Software Technology 94, 165-185, 2018 | 60 | 2018 |
An efficient solution for model checking graph transformation systems L Baresi, V Rafe, AT Rahmani, P Spoletini Electronic Notes in Theoretical Computer Science 213 (1), 3-21, 2008 | 60 | 2008 |
A heuristic solution for model checking graph transformation systems R Yousefian, V Rafe, M Rahmani Applied Soft Computing 24, 169-180, 2014 | 56 | 2014 |
Performance improvement for recommender systems using ontology K Bagherifard, M Rahmani, M Nilashi, V Rafe Telematics and Informatics 34 (8), 1772-1792, 2017 | 49 | 2017 |
CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support M Sharifi, AT Rahmani, V Rafe, H Momeni On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE …, 2004 | 48 | 2004 |
Scenario-driven analysis of systems specified through graph transformations V Rafe Journal of Visual Languages & Computing 24 (2), 136-145, 2013 | 45 | 2013 |
An MDA-based modeling and design of service oriented architecture AT Rahmani, V Rafe, S Sedighian, A Abbaspour Computational Science–ICCS 2006: 6th International Conference, Reading, UK …, 2006 | 43 | 2006 |
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations V Rafe, M Moradi, R Yousefian, A Nikanjam Applied Soft Computing 33, 136-149, 2015 | 40 | 2015 |
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm E Pira, V Rafe, A Nikanjam Journal of Systems and Software 131, 181-200, 2017 | 39 | 2017 |
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles E Pira, V Rafe, A Nikanjam Applied Soft Computing 49, 1185-1201, 2016 | 35 | 2016 |
A hybrid heuristic workflow scheduling algorithm for cloud computing environments S Mirzayi, V Rafe Journal of experimental & theoretical artificial intelligence 27 (6), 721-735, 2015 | 33 | 2015 |
Towards automated verification of layered graph transformation specifications V Rafe, AT Rahmani, L Baresi, P Spoletini IET software 3 (4), 276-291, 2009 | 31 | 2009 |
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems R Yousefian, S Aboutorabi, V Rafe Journal of Intelligent & Fuzzy Systems 31 (1), 137-149, 2016 | 30 | 2016 |
Educational advisor system implemented by web-based fuzzy expert systems MH Goodarzi, V Rafe Scientific Research Publishing, 2012 | 28 | 2012 |
An optimal solution for test case generation using ROBDD graph and PSO algorithm A Kalaee, V Rafe Quality and Reliability Engineering International 32 (7), 2263-2279, 2016 | 25 | 2016 |
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations E Pira, V Rafe, A Nikanjam Information and Software Technology 97, 110-134, 2018 | 24 | 2018 |
Designing an architectural style for pervasive healthcare systems V Rafe, M Hajvali Journal of medical systems 37, 1-13, 2013 | 22 | 2013 |
Formal analysis of workflows using UML 2.0 activities and graph transformation systems V Rafe, AT Rahmani Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008 | 22 | 2008 |