Journal Papers

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. 2023, pp.1-46, 2023
5. "Test Data Generation Using Genetic Programming"
   Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
   INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 130, 2021
6. "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
7. "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
8. "A significance-based trust-aware recommendation approach"
   Faezeh Gohari, Fereidoon Shams Aliee, Hassan Haghighi
   INFORMATION SYSTEMS, Vol. 87, 2020
9. "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
10. "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
11. "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
12. "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
13. "Using Likely Invariants for Test Data Generation"
    Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi Asl
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 164, 2020
14. "Constructing automated test oracle for low observablesoftware"
    Meysam Valuyan, Niousha Attar, Hassan Haghighi, Mojtaba Vahidi Asl
    Scientia Iranica, Vol. 27, pp.1333-1351, 2020
15. "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
16. "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
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. "KTMiner: Distributed k-truss detection in big graphs"
    Mehdi Alemi, Hassan Haghighi
    INFORMATION SYSTEMS, Vol. 83, pp.195-216, 2019
19. "An approach to solving non-linear real constraints for symbolic execution"
    Saeed Amiri Chimeh, Hassan Haghighi
    JOURNAL OF SYSTEMS AND SOFTWARE, Vol. 157, 2019
20. "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
21. "A PROBABILISTIC EXTENSION OF UML-B"
    Mohammad Nosrati, Hassan Haghighi
    COMPUTING AND INFORMATICS, Vol. 38, pp.85-114, 2019
22. "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
23. "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
24. "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
25. "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
26. "From Object-Z speci cation to Groovy implementation"
    Farzin Zaker, Hassan Haghighi, Eslam Nazemi
    Scientia Iranica, Vol. 25, pp.3415-3441, 2018
27. "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
28. "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
29. "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
30. "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
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. "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
34. "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
35. "SCW A service-oriented framework for cloud workflow systems"
    Milad Torkashvan, Hassan Haghighi
    Scientia Iranica, Vol. 23, pp.1195-1216, 2016
36. "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
37. "An incremental method for extracting tests from object-oriented specification"
    Mohammad Ghoreshi, Hassan Haghighi
    INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 78, pp.1-26, 2016
38. "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
39. "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
40. "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
41. "A survey on formal object-oriented program development approaches"
    Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
    Scientia Iranica, Vol. 22, pp.1001-1017, 2015
42. "CBC2 A Cloud-based Botnet Command and Control"
    Milad Torkashvan, Hassan Haghighi
    INDIAN JOURNAL OF SCIENCE AND TECHNOLOGY, Vol. 8, pp.1-15, 2015
43. "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
44. "A CONCEPTUAL COHESION METRIC FOR SERVICE ORIENTED SYSTEMS"
    Ali KAZEMI, , Hassan Haghighi,
    Journal of Web Engineering, Vol. 13, pp.302-332, 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. "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
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. "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
50. "A translation from web application description language into Z notation"
    Mahsa Golshani Nasab, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
51. "An agent oriented Architecture to Supply Flexibility in ERP Systems"
    , Hassan Haghighi, , Mohammadmahdi Javanmard
    Journal of Information and communication Technologies, Vol. 2, 2012
52. "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
53. "Incorporating CMMI with Agile Method Using Change Management"
    Hassan Haghighi, Afrooz Khormaee,
    International Journal of Emerging Technology and Advanced Engineering, Vol. 2, 2012
54. "Towards a Calculus for Nondeterministic Schemas in Z"
    Hassan Haghighi,
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Vol. 22, pp.839-865, 2012
55. "An approach to develop C Code from object-Z specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Journal of Global Information Management, Vol. 1, 2012
56. "A Z-Based Formalism to Specify Markov Chains"
    Hassan Haghighi, Mahsa Afsharfarnia
    Computer Science and Engineering, Vol. 2, pp.24-31, 2012
57. "An Approach to Animate Object-Z Specifications Using C"
    Mehrnaz Najafi, Hassan Haghighi
    Scientia Iranica, Vol. 19, pp.1699-1721, 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. "An Accelerated Methodology for Selecting Proper ERP Packages"
    Hassan Haghighi
    journal of communication and computer, Vol. 8, 2011
60. "Constructive Development of Probabilistic Programs"
    Hassan Haghighi, Mohammadmahdi Javanmard
    Springer, 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 Papers

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. "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
18. "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
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. "Two Approaches for Evaluating the Degree of Agility in Agile Methodologies"
    Hassan Haghighi, Reihaneh Rashidpour
    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. "Translating WADL into Z Specification Language"
    Mahsa Golshani Nasab, Hassan Haghighi
    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. "An Animation Approach to Develop C Code from Object-Z Specifications"
    Mehrnaz Najafi, Hassan Haghighi
    Computer Science and Software Engineering (CSSE 2011), 2011
28. "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
29. "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
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. ""
    Hanieh Kashfi, Hassan Haghighi, Maziar Mobasheri, Amir Hossein Mohit
    , pp.92-99, 2019
42. ""
    Farhoud Jafari Kaleibar, Hassan Haghighi, Mobasheri Maziar, Faezeh Hosseini
    , pp.108-115, 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.255-275, 2015
49. ""
    Yousef Rastegari, Hassan Haghighi, Seyedeh Zahra Sajadi
    , pp.43-60, 2015
50. ""
    Ali Tarihi, Hassan Haghighi,
    , pp.91-108, 2015
51. ""
    Amin Rahmanzadeh, Hassan Haghighi,
    , pp.174-196, 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.128-140, 2014
56. ""
    Hassan Haghighi,
    , pp.108-120, 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, Seyedeh Elaheh Jalambadani
    , pp.154-161, 2014
61. ""
    Vahab Ghasemi, Hassan Haghighi
    , pp.556-561, 2014
62. ""
    Mahboobeh Fallahtalab, Hassan Haghighi
    , pp.218-223, 2014
63. ""
    Hassan Haghighi, Mona Mahmoudian Fard
    , pp.1089-1094, 2014
64. ""
    Hassan Haghighi, Sedigheh Khoshnevis
    , pp.168-173, 2014
65. ""
    Hassan Haghighi
    First National Conference on Advances in computer science and information retrieval approaches, pp.1-9, 2013
66. ""
    Mojtaba Barari, Hassan Haghighi,
    , pp.1-7, 2013
67. ""
    Hassan Haghighi, Mojgan Roshan Farzad
    , pp.308-314, 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. ""
    Hassan Haghighi,
    , 2012
75. ""
    Mahsa Golshani Nasab, Hassan Haghighi
    , 2012
76. ""
    Mahboobeh Samadi, Hassan Haghighi
    , 2012
77. ""
    Reihaneh Rashidpour, Hassan Haghighi
    , 2012
78. ""
    Amine Akhavan Saraf, 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