Hassan Haghighi

Professor

Update: 2024-12-19

Hassan Haghighi

Computer Science and Engineering / Software and Information Systems

Journal Paper

  1. "An Agent Oriented Architecture to Support Flexibility of Manufacturing"
    Mona Mahmoudian Fard, Hassan Haghighi,
    journal of basic and applied scientific research (MSRT BLACKLIST),
  2. "A Flexible Agent Oriented Architecture for Business Automation"
    Mona Mahmoudian Fard, Hassan Haghighi, Mohammadmahdi Javanmard
    international journal of applied science and technology,
  3. "Doctor Code: A Machine Learning-Based Approach to Program Repair"
    Sharmin Moosavi, Mojtaba Vahidi Asl, Hassan Haghighi, Mohammad Rezaalipour
    Scientia Iranica, Vol. 31, pp.83-102, 2024
  4. "Object coverage criteria for supporting object-oriented testing"
    Mohammad Ghoreshi, Hassan Haghighi
    SOFTWARE QUALITY JOURNAL, Vol. 31, pp.1369-1414, 2023
  5. "Application of ICT in effective crisis management: A systematic review"
    Mohammad Ali Fazeli, Hamid Moghaddasi, Azamossadat Hosseini, Farkhondeh Asadi, Hassan Haghighi
    Journal of Emergency Management, Vol. 19, pp.591-606, 2021
  6. "Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation"
    Atieh Monemi Bidgoli, Hassan Haghighi
    Journal of Information Systems and Telecommunication, Vol. 8, pp.238-248, 2021
  7. "Test Data Generation Using Genetic Programming"
    Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
    INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 130, 2021
  8. "Using Likely Invariants for Test Data Generation"
    Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 164, 2020
  9. "A Search-Based Test Data Generation Method for Concurrent Programs"
    Seyed Mohsen Mirhosseini, Hassan Haghighi
    International Journal of Computational Intelligence Systems, Vol. 13, pp.1161-1175, 2020
  10. "Macrophage+: a Game With a Purpose for Applying Human Intelligence in Control Mechanisms"
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee, Amirmehdi Setarenejad
    Scientia Iranica, Vol. 27, pp.2985-3004, 2020
  11. "SLDeep Statement-level software defect prediction using deep-learning model on static code features"
    Amirabbas Majd, Mojtaba Vahidi Asl, Alireza Khalilian, Pooria Poorsarvi Tehrani, Hassan Haghighi
    EXPERT SYSTEMS WITH APPLICATIONS, Vol. 147, 2020
  12. "Constructing automated test oracle for low observablesoftware"
    Meysam Valuyan, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl
    Scientia Iranica, Vol. 27, pp.1333-1351, 2020
  13. "Designing an architectural model of crisis management information system for natural disasters in Iran"
    Mohamnadali Fazeli, Azamosadat Hosseini, Hamid Moghadasi, Farkhondeh Asadi, Hassan Haghighi
    Archives of Advances in Biosciences, Vol. 11, pp.1-14, 2020
  14. "A significance-based trust-aware recommendation approach"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    INFORMATION SYSTEMS, Vol. 87, 2020
  15. "Augmenting ant colony optimization with adaptive random testing to cover prime paths"
    Atieh Monemi Bidgoli, Hassan Haghighi
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 161, 2019
  16. "KTMiner: Distributed k-truss detection in big graphs"
    Mehdi Alemi, Hassan Haghighi
    INFORMATION SYSTEMS, Vol. 83, pp.195-216, 2019
  17. "Application of the Shuffled Frog Leaping Algorithm(SFLA) in Constructing Fuzzy Classification Systems"
    Seyed Mohsen Mirhosseini, Hassan Haghighi
    International Journal of Computational Intelligence and Applications, Vol. 18, 2019
  18. "An approach to solving non-linear real constraints for symbolic execution"
    Saeed Amiri Chimeh, Hassan Haghighi
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 157, 2019
  19. "A PROBABILISTIC EXTENSION OF UML-B"
    Mohammad Nosrati, Hassan Haghighi
    COMPUTING AND INFORMATICS, Vol. 38, pp.85-114, 2019
  20. "A Dynamic Local-Global Trust-aware Recommendation approach"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    Electronic Commerce Research and Applications, Vol. 34, pp.1-23, 2019
  21. "Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures"
    Alireza Khalilian, Alireza Mirzaeiyan, Mojtaba Vahidi Asl, Hassan Haghighi
    JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, Vol. 31, pp.267-289, 2019
  22. "G3MD Mining frequent opcode sub-graphs for metamorphic malware detection of existing families"
    Alireza Khalilian, Amir Nourazar, Mojtaba Vahidi Asl, Hassan Haghighi
    EXPERT SYSTEMS WITH APPLICATIONS, Vol. 112, pp.15-33, 2018
  23. "From Object-Z speci cation to Groovy implementation"
    Farzin Zaker, Hassan Haghighi, Eslam Nazemi
    Scientia Iranica, Vol. 25, pp.3415-3441, 2018
  24. "Extracting the main characteristics of a city to be smart"
    Amin Rahmanzadeh, Hassan Haghighi, Ali Tarihi
    International Journal of Architectural Engineering and Urban Planning, Vol. 28, pp.187-201, 2018
  25. "Improving Recommender Systems Using Context-Dependent Trust Relationships"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    Journal on Computer Science and Engineering, Vol. 16, pp.10-19, 2018
  26. "The Construction of Fuzzy Classification Systems Using the Shuffled Frog Leaping Algorithm"
    Seyed Mohsen Mirhosseini, Hassan Haghighi, Bahrami Jamshid
    Journal on Computer Science and Engineering, Vol. 15, pp.18-30, 2018
  27. "Difficulties of diagnosing alzheimer's disease: The application of clinical decision support systems"
    Masoud Amanzadeh, Hamid Moghadasi, Reza Rabiei, Ali Amini Harandi, Hassan Haghighi
    Journal of Paramedical Sciences, Vol. 9, pp.47-54, 2018
  28. "Rings A Game with a Purpose for Test Data Generation"
    Saeed Amiri Chimeh, Hassan Haghighi, Mojtaba Vahidi Asl, Kamyar Setayesh Ghajar, Farshad Gholami Ghavam Abad
    INTERACTING WITH COMPUTERS, Vol. 30, pp.1-30, 2018
  29. "CCFinder using Spark to find clustering coefficient in big graphs"
    Mehdi Alemi, Hassan Haghighi, Saeed Shahrivari
    JOURNAL OF SUPERCOMPUTING, Vol. 73, pp.4683-4710, 2017
  30. "Structural test data generation using a memetic ant colony optimization based on evolution strategies"
    Hossein Sharifipour, Mojtaba Shakeri, Hassan Haghighi
    Swarm and Evolutionary Computation, Vol. 40, pp.76-91, 2017
  31. "A new confidence-based recommendation approach Combining trust and certainty"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    INFORMATION SCIENCES, Vol. 422, pp.21-50, 2017
  32. "A semantic-enhanced trust based recommender system using ant colony optimization"
    Faezeh Gohari, Hassan Haghighi, Fereidoon Shams Aliee
    APPLIED INTELLIGENCE, Vol. 45, pp.1-37, 2016
  33. "INCIM A community-based algorithm for influence maximization problem under the linear threshold model"
    Arastoo Bozorgi, Hassan Haghighi, ,
    INFORMATION PROCESSING and MANAGEMENT, Vol. 52, pp.1188-1199, 2016
  34. "A Bio-Inspired Self-configuring Observer/ Controller for Organic Computing Systems"
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    Journal of Information Systems and Telecommunication, Vol. 4, pp.134-144, 2016
  35. "SCW A service-oriented framework for cloud workflow systems"
    Milad Torkashvan, Hassan Haghighi
    Scientia Iranica, Vol. 23, pp.1195-1216, 2016
  36. "A bipolar resource management framework for resource provisioning in Cloud s virtualized environment"
    Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosayni
    APPLIED SOFT COMPUTING, Vol. 46, pp.487-500, 2016
  37. "A SET OF REFACTORING RULES FOR UML-B SPECIFICATIONS"
    Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
    COMPUTING AND INFORMATICS, Vol. 35, pp.1001-1030, 2016
  38. "An incremental method for extracting tests from object-oriented specification"
    Mohammad Ghoreshi, Hassan Haghighi
    INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 78, pp.1-26, 2016
  39. "CBC2 A Cloud-based Botnet Command and Control"
    Milad Torkashvan, Hassan Haghighi
    INDIAN JOURNAL OF SCIENCE AND TECHNOLOGY, Vol. 8, pp.1-15, 2015
  40. "A survey on formal object-oriented program development approaches"
    Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
    Scientia Iranica, Vol. 22, pp.1001-1017, 2015
  41. "An adaptive RL based approach for dynamic resource provisioning in Cloud virtualized data centers"
    Fouad Bahrpeyma, Hassan Haghighi, Ali Zakerolhosayni
    COMPUTING, Vol. 1, pp.1-26, 2015
  42. "Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud s virtualized environment"
    Fouad Bahrpeyma, Ali Zakerolhosayni, Hassan Haghighi
    APPLIED SOFT COMPUTING, Vol. 26, pp.285-298, 2015
  43. "A CONCEPTUAL COHESION METRIC FOR SERVICE ORIENTED SYSTEMS"
    Ali KAZEMI, , Hassan Haghighi,
    Journal of Web Engineering, Vol. 13, pp.302-332, 2014
  44. "An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems"
    Mahboobeh Samadi, Hassan Haghighi
    Journal of Information Systems and Telecommunication, Vol. 2, pp.15-22, 2014
  45. "An Approach to Classify Existing Constraints as Inputs for Web Service Composition"
    Amine Akhavan Saraf, Hassan Haghighi
    International Journal of Computer Applications, Vol. 69, pp.23-31, 2013
  46. "ABSIM AN AUTOMATED BUSINESS SERVICE IDENTIFICATION METHOD"
    Ali KAZEMI, Hassan Haghighi, Fereidoon Shams Aliee
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol. 9, pp.1303-1342, 2013
  47. "A Formal Mapping from Object-Z Specification to C Code"
    Mehrnaz Najafi, Hassan Haghighi
    Scientia Iranica, Vol. 20, pp.1953-1977, 2013
  48. "A Formal Framework for Specifying Concurrent Systems"
    , Hassan Haghighi
    International Journal of Computer Applications, Vol. 68, pp.17-25, 2013
  49. "An Integration of UML-B and Object-Z in Software Development Process"
    Mehrnaz Najafi, Hassan Haghighi
    Lecture Notes in Electrical Engineering, Vol. 152, pp.633-648, 2013
  50. "A Z-Based Formalism to Specify Markov Chains"
    Hassan Haghighi, Mahsa Afsharfarnia
    Computer Science and Engineering, Vol. 2, pp.24-31, 2012
  51. "A translation from web application description language into Z notation"
    Mahsa Golshani Nasab, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
  52. "Towards a Calculus for Nondeterministic Schemas in Z"
    Hassan Haghighi,
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol. 22, pp.839-865, 2012
  53. "An approach to develop C Code from object-Z specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
  54. "An Approach to Animate Object-Z Specifications Using C"
    Mehrnaz Najafi, Hassan Haghighi
    Scientia Iranica, Vol. 19, pp.1699-1721, 2012
  55. "Incorporating CMMI with Agile Method Using Change Management"
    Hassan Haghighi, Afrooz Khormaee,
    International Journal of Emerging Technology and Advanced Engineering, Vol. 2, 2012
  56. "An agent oriented Architecture to Supply Flexibility in ERP Systems"
    , Hassan Haghighi, , Mohammadmahdi Javanmard
    Journal of Information and communication Technologies, Vol. 2, 2012
  57. "MDCHeS Model-Driven Dynamic Composition of Heterogeneous Service"
    Soodeh Farrokhi, Amirreza Ghaffari, Hassan Haghighi, Fereidoon Shams Aliee
    International Journal on Communications Network and System Science, Vol. 5, pp.644-660, 2012
  58. "An Agent Oriented Architecture to Supply Integration in ERP Systems"
    Hassan Haghighi, Sajad Ghorbani, Maryam Mohebati
    world acedemy engineering and technology, Vol. 73, 2011
  59. "Constructive Development of Probabilistic Programs"
    Hassan Haghighi, Mohammadmahdi Javanmard
    Springer, 2011
  60. "An Accelerated Methodology for Selecting Proper ERP Packages"
    Hassan Haghighi
    journal of communication and computer, Vol. 8, 2011
  61. "pz az - based formalism for modeling probabilistic behavior"
    Hassan Haghighi
    world acedemy engineering and technology, Vol. 61, 2009
  62. "towards a systematic cost - effective approach for erp selection"
    Hassan Haghighi
    world acedemy engineering and technology, Vol. 61, 2009
  63. ""
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    pp.3-14, 2019
  64. ""
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    pp.2-17, 2018
  65. ""
    Mehdi Alemi, Hassan Haghighi
    Vol. 16, pp.47-58, 2018
  66. ""
    Neda Karimirozveh, Hassan Haghighi
    Vol. 6, pp.87-95, 2015
  67. ""
    , Hassan Haghighi
    Vol. 4, pp.69-87, 2014

Conference Paper

  1. "Use Cases of the Application Reference Model in IRAN"
    Hassan Haghighi, Mobasheri Maziar, Farhoud Jafari Kaleibar, Faezeh Hoseini
    21st International Conference on Enterprise Information Systems (ICEIS 2019), pp.674-681, 2019
  2. "Greenify: A Game with the Purpose of TestData Generation for Unit Testing"
    Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzadeh, Mojtaba Vahidi Asl
    8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019), pp.77-92, 2019
  3. "A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses"
    Atieh Monemi Bidgoli, Hassan Haghighi
    10th Symposium on Search-Based Software Engineering, pp.343-348, 2018
  4. "Privacy Preserving Random Decision Tree Classification over Horizontally and Vertically Partitioned Data"
    Fatemeh Khodaparast, Mina Sheikhalishahi, Hassan Haghighi, Fabio Martinelli
    The 16th IEEE International Conference on Dependable Autonomic and Secure Computing (DASC 2018), pp.600-607, 2018
  5. "A Classifier-based Test Oracle for Embedded Software"
    Farshad Gholami Ghavam Abad, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl, Meysam Valuyan, Saina Mohamadyari Nigjeh
    The CSI International Symposium on Real-Time and Embedded Systems and Technologies, 2018
  6. "A trust-aware group recommender system using particle swarm optimization"
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    2017 International Symposium on Computer Science and Software Engineering Conference (CSSE), pp.1-6, 2017
  7. "Using Swarm Intelligence to Generate Test Data for Covering Prime Paths"
    Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab,
    7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017), pp.132-147, 2017
  8. "MetaSPD Metamorphic Analysis for Automatic Software Piracy Detection"
    Alireza Khalilian, Hadi Golbaghi, Amir Nourazar, Hassan Haghighi, Mojtaba Vahidi Asl
    International Conference on Computer and Knowledge Engineering (ICCKE 2016), 2016
  9. "A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems"
    Hassan Haghighi
    sixth IPM International Conference on Fundamentals of Software Engineering (FSEN), pp.80-89, 2015
  10. ""
    Arastoo Bozorgi, Hassan Haghighi,
    The 6th Conference on Information and Knowledge Technology, pp.1019-1026, 2014
  11. "An approach to reduce QoS monitoring overhead in ESB"
    Hassan Haghighi
    8th International Conference on e-Commerce in Developing Counties With Focus on e-Trust (ECDC), 2014
  12. "An Improved Architectural Pattern for Organic Resource-Flow Systems"
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    The 2013 CSI International Symposium on Computer Science and Software Engineering (CSSE), pp.1-11, 2013
  13. "An Energy-Efficient Approach for Virtual Machine Placement in Cloud Based Data Centers"
    Negin Kord, Hassan Haghighi
    5-th conference on Information Knowledge Technology (IKT), pp.241-246, 2013
  14. "Formal Analysis of Pure-join Model of Chord Using Alloy"
    Hooman Sadeghian, Alborz Samadi, Hassan Haghighi
    4th IEEE International Conference on Software Engineering and Service Sciences (ICSESS 2013), pp.102-106, 2013
  15. "CSLAM A Framework for Cloud Service Level Agreement Management Based on WSLA"
    Milad Torkashvan, Hassan Haghighi
    Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012
  16. "A Greedy Approach for Service Composition"
    Milad Torkashvan, Hassan Haghighi
    Sixth International Symposium on Telecommunications with emphasis on Information and Communication Technology (IST 2012), 2012
  17. "Safe Stopping of Running Component-based Distributed Systems Challenges and Research Gaps"
    Hassan Haghighi
    Adaptive and Reconfigurable Service Oriented and Component-based Applications and Architectures (AROSA 2012), 2012
  18. "An Architectural Approach to Ensure Globally Consistent Dynamic Reconfiguration of Component-Based Systems"
    Hassan Haghighi
    15th ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2012), 2012
  19. "A Service Oriented Framework for Cloud Computing"
    Milad Torkashvan, Hassan Haghighi
    The third International Conference on Information and Communication Systems (ICICS 2012), pp.1-5, 2012
  20. "A Formal Presentation of an Agent Oriented Architecture to Supply Intelligent Notification in ERP Systems"
    Hassan Haghighi,
    International workshop on Information Science and Education Technology (WISET2012), pp.417-421, 2012
  21. "A Refactoring Rule for UML-B Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    4th International Conference on Advanced Computer Theory and Engineering (ICACTE 2011), 2011
  22. "Translating WADL into Z Specification Language"
    Mahsa Golshani Nasab, Hassan Haghighi
    2nd World Conference on Information Technology, 2011
  23. "An Approach to Develop C Code from Object-Z Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    2nd World Conference on Information Technology, 2011
  24. "Two Approaches for Evaluating the Degree of Agility in Agile Methodologies"
    Hassan Haghighi, Reihaneh Rashidpour
    2nd World Conference on Information Technology, 2011
  25. "An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion"
    Ali KAZEMI, Ali Rostampoor, Amin Zamiri, Hassan Haghighi, Fereidoon Shams Aliee
    11th International Conference On Quality Software (QSIC2011), pp.102-111, 2011
  26. "Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing"
    Ali KAZEMI, Ali Rostampoor, Hassan Haghighi, Fereidoon Shams Aliee
    2011 IEEE International Conference on Services Computing (SCC2011), pp.504-511, 2011
  27. "A Metric Suite for Measuring Service Modularity"
    Ali KAZEMI, Ali Rostampoor, Hassan Haghighi, Fereidoon Shams Aliee
    Computer Science and Software Engineering (CSSE 2011), pp.95-102, 2011
  28. "An Animation Approach to Develop C Code from Object-Z Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Computer Science and Software Engineering (CSSE 2011), 2011
  29. "A Metric Suite for Measuring Service Alignment with Business Agility"
    Ali Rostampoor, Ali KAZEMI, Amin Zamiri, Hassan Haghighi, Fereidoon Shams Aliee
    Computer Science and Software Engineering (CSSE 2011), pp.121-128, 2011
  30. "Process Patterns for Service-Oriented Software Development"
    Fereidoon Shams Aliee, Hassan Haghighi
    Fifth IEEE International Conference on Research Challenges in Information Science, pp.1-9, 2011
  31. "An Integration of UML-B and Object-Z in Software Development Process"
    Mehrnaz Najafi, Hassan Haghighi
    cisse2011 international joint conferences on cimputer information and systems siences and engineering, 2011
  32. "Constructive Development of Probabilistic Programs"
    Hassan Haghighi, Mohammadmahdi Javanmard
    4th IPM international conference on Fundamentals of Software Engineering, 2011
  33. "An agente oriented architecture to supply integration in ERP system"
    Hassan Haghighi
    ICISE 2011, 2011
  34. "Towards a Formal Framework for Developing Concurrent Programs Modeling Dynamic Behavior"
    Hassan Haghighi
    The eighth ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), 2010
  35. ""
    Hassan Haghighi,
    , 2010
  36. ""
    Hassan Haghighi,
    , 2010
  37. "a refinement approach for developing probabilistic programs"
    Hassan Haghighi,
    proceeding of the 14th international csi computer conference (csicc2009), 2009
  38. ""
    Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
    11th International Conference on Information and Knowledge Technology (IKT), pp.8-13, 2020
  39. ""
    Mohammad Ghoreshi, Hassan Haghighi
    11th International Conference on Information and Knowledge Technology (IKT), pp.93-100, 2020
  40. "Challenges of Specification Mining-Based Test Oracle for Cyber-Physical Systems"
    Maryam Raiyat ali abadi, Hassan Haghighi, Mojtaba Vahidi Asl, Ramak Ghavamizadeh meybodi
    11th International Conference on Information and Knowledge Technology (IKT), pp.1-7, 2020
  41. ""
    Farhoud Jafari Kaleibar, Hassan Haghighi, Mobasheri Maziar, Faezeh Hosseini
    , pp.108-115, 2019
  42. ""
    Hanieh Kashfi, Hassan Haghighi, Maziar Mobasheri, Amir Hossein Mohit
    , pp.92-99, 2019
  43. ""
    Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
    CSICC 2018, 2018
  44. ""
    Hassan Haghighi, Farhoud Jafari Kaleibar, Maghsoud Abbaspour, Rohollah Gorgani
    , pp.1-11, 2017
  45. ""
    Seyed Mohsen Mirhosseini, Hassan Haghighi, Mohammad Rezaalipour
    , pp.1-8, 2017
  46. ""
    Mehdi Alemi, Hassan Haghighi
    , pp.127-133, 2017
  47. ""
    Atieh Monemi Bidgoli, Hassan Haghighi, Mohammad Javad Fath Gharib Bidgoli
    , pp.220-226, 2017
  48. ""
    Amin Rahmanzadeh, Hassan Haghighi,
    , pp.174-196, 2015
  49. ""
    Ali Tarihi, Hassan Haghighi,
    , pp.91-108, 2015
  50. ""
    Amin Rahmanzadeh, Hassan Haghighi
    , pp.255-275, 2015
  51. ""
    Yousef Rastegari, Hassan Haghighi, Seyedeh Zahra Sajadi
    , pp.43-60, 2015
  52. ""
    Seyedeh Zahra Sajadi, Hassan Haghighi
    , 2015
  53. ""
    Ali Tarihi, Hassan Haghighi, Fereidoon Shams Aliee
    , 2015
  54. ""
    Nima Reshadi, Hassan Haghighi
    , pp.859-865, 2015
  55. ""
    Hassan Haghighi,
    , pp.108-120, 2014
  56. ""
    Hassan Haghighi,
    , pp.128-140, 2014
  57. ""
    Fateme Shekarara, Hassan Haghighi,
    , pp.1-8, 2014
  58. ""
    Mojtaba Barari, Hassan Haghighi,
    , pp.1-7, 2014
  59. ""
    Reihaneh Rashidpour, Hassan Haghighi,
    , pp.1-13, 2014
  60. ""
    Hassan Haghighi, Sedigheh Khoshnevis
    , pp.168-173, 2014
  61. ""
    Hassan Haghighi, Seyedeh Elaheh Jalambadani
    , pp.154-161, 2014
  62. ""
    Vahab Ghasemi, Hassan Haghighi
    , pp.556-561, 2014
  63. ""
    Mahboobeh Fallahtalab, Hassan Haghighi
    , pp.218-223, 2014
  64. ""
    Hassan Haghighi, Mona Mahmoudian Fard
    , pp.1089-1094, 2014
  65. ""
    Hassan Haghighi
    First National Conference on Advances in computer science and information retrieval approaches, pp.1-9, 2013
  66. ""
    Hassan Haghighi, Mojgan Roshan Farzad
    , pp.308-314, 2013
  67. ""
    Mojtaba Barari, Hassan Haghighi,
    , pp.1-7, 2013
  68. ""
    Hassan Haghighi, Zohreh Derhami
    , pp.3002-3009, 2013
  69. ""
    Negin Kord, Hassan Haghighi
    , 2013
  70. ""
    Milad Mohammadi, Seyed Mohammad Gharshi, Hassan Haghighi
    , 2012
  71. ""
    Mahsa Afsharfarnia, Hassan Haghighi
    , 2012
  72. ""
    Shahrzad Riahi Chalshotori, Hassan Haghighi
    , 2012
  73. ""
    Hassan Haghighi
    , 2012
  74. ""
    Mahboobeh Samadi, Hassan Haghighi
    , 2012
  75. ""
    Reihaneh Rashidpour, Hassan Haghighi
    , 2012
  76. ""
    Hassan Haghighi,
    , 2012
  77. ""
    Amine Akhavan Saraf, Hassan Haghighi
    , 2012
  78. ""
    Mahsa Golshani Nasab, Hassan Haghighi
    , 2012
  79. ""
    Hassan Haghighi, Mona Mahmoudian Fard,
    , 2011
  80. ""
    Hassan Haghighi,
    , 2011
  81. ""
    Hassan Haghighi, Sajad Ghorbani
    , 2011
  82. "A Constructive Approach for Developing Probabilistic Programs Martin lof"
    Hassan Haghighi
    18th Iranian Conference on Electrical Engineering, 2010
  83. ""
    Hassan Haghighi,
    , 2010
  84. ""
    Hassan Haghighi,
    , 2010