Research Grants

  • Initiating RoboCup Soccer Activities in Pakistan, Higher Education Commission, Pakistan, 2011-2014.
  • Anti-Money Laundeing Modeling Software, National ICT R&D Fund, Pakistan, 2012-2013.
  • STEM Education with Robotics, Third World Academy of Sciences, Italy, 2012.

Publications

  • Kumail Abbas and Sajjad Haider, Duckworth-Lewis-Stern Method Comparison with Machine Learning Approach, In Proceedings of 17th International Conference on Frontiers of Information Technology (FIT) , 2019, pp. 1970 – 1975
  • Asma Larik and Sajjad Haider, A Framework based on Evolutionary Algorithm for Strategy Optimization in Robot Soccer, Soft Computing , 23(16), 2019, pp. 7287-7302
  • Nida Sadaf Khan, Sayeed Ghani and Sajjad Haider, Real-Time Analysis of a Sensor’s Data for Automated Decision Making in an IoT-Based Smart Home, Sensors , 18(6), 1711, 2018
  • Furqan H. Essani and Sajjad Haider, An Algorithm for Mapping the Asymmetric Multiple Traveling Salesman Problem onto Colored Petri Nets, Algorithms , 11 (10), 2018
  • Muhammad Usman Arif and Sajjad Haider, A Flexible Evolutionary Algorithm for Task Allocation in Multi-robot Team, Lecture Notes in Computer Science , Vol. 11056, 2018
  • Asma Larik and Sajjad Haider, A Survey of Nature Inspired Optimization Algorithms Applied to Cooperative Strategies in Robot Soccer, In Proceedings of Conference on Advancement in Computational Sciences , 2018, pp. 1 – 6
  • Zarmeen Nasim and Sajjad Haider, An open-source tool for Aspect Based Sentiment Analysis, International Journal on Artificial Intelligence Tools , Vol. 26 (6), 2017, pp. 1 – 31
  • Zarmeen Nasim, Quratulain Rajput and Sajjad Haider, Sentiment analysis of student feedback using machine learning and lexicon based approaches, In Proceedings of the 5th International Conference on Research and Innovation in Information Systems (ICRIIS) , 2017.
  • Muhammad Usman Arif and Sajjad Haider, An Evolutionary Traveling Salesman Approach for Multi-Robot Task Allocation, In Proceedings of the 9th International Conference on Agents and Artificial Intelligence , 2017, pp. 567 – 574
  • Quratulain Rajput, Sajjad Haider, Sayeed Ghani, Lexicon-based Sentiment Analysis of Teachers' Evaluation, Applied Computational Intelligence and Soft Computing , 2016
  • Asma Larik and Sajjad Haider, On Using Evolutionary Computation Approach for Strategy Optimization in Robot Soccer, In Proceedings of the 2nd International Conference on Robotics and Artificial Intelligence , 2016, pp. 11-16
  • Asma Larik and Sajjad Haider, Opponent Classification in Robot Soccer, Lecture Notes in Computer Science , 9101, 2015, pp. 478-487
  • Sajjad Haider and Syed Ali Raza, Complexity Reduction of Influence Nets using Arc Removal, Journal of Intelligent and Fuzzy Systems , 28(4), 2015, pp. 1849-1859
  • M. Usman Arif, S. Ali Raza and Sajjad Haider, On Developing a Hybrid Approach for Kick Optimization in Humanoid Robots, In Proceedings of IEEE International Conference on Robotics and Biomimetics , Indonesia, 2014
  • Imran Khan and Sajjad Haider, On Building a Consistent Framework for Executable Systems Architecture, Journal of Systems and Software , 98, 2014, pp. 155-171
  • Imran Khan and Sajjad Haider, A Feasibility Study of the Ontology Driven Executable Systems Architecture Framework, Journal of Integrated Design and Process Science , 18(3), 2014, pp. 41-58
  • Quratulain Rajput, Nida Sadaf Khan, Asma Larik and Sajjad Haider, Ontology based Expert System for Suspicious Transactions Detection, Computer and Information Science , 7(1), 2014, pp. 103-114.
  • Nida Sadaf Khan, Asma Larik, Quratulain Rajput and Sajjad Haider, A Bayesian Approach for Suspicious Financial Activity Reporting, International Journal of Computers and Applications , 35(4), 2013,
  • Saleha Raza, Sajjad Haider and Mary-Anne Williams, Robot Reasoning Using First Order Bayesian Networks, Lecture Notes in Computer Science , 8032, 2013, pp. 1-12.
  • Saleha Raza and Sajjad Haider, Path Planning in RoboCup Soccer Simulation 3D Using Evolutionary Artificial Neural Network, Lecture Notes in Computer Science , 7929, 2013, pp. 342-350.
  • Ali Raza and Sajjad Haider, Designing and Optimization of Omni-Directional Kick for Bipedal Robots, Lecture Notes in Computer Science , 7906, 2013, pp. 292-301.
  • Sajjad Haider, Shaukat Abidi and Mary-Anne Williams, On Evolving a Dynamic Bipedal Walk using Partial Fourier Series, In Proceedings of IEEE International Conference on Robotics and Biomimetics , Guanzhou, China, 2012, pp. 8-13.
  • Saleha Raza, Sajjad Haider and Mary-Anne Williams, Teaching Coordinated Strategies to Soccer Robot via Imitation, In Proceedings of IEEE International Conference on Robotics and Biomimetics , Guanzhou, China, 2012, pp. 1434-1439.
  • Ali Raza, Usman Shareef and Sajjad Haider, On Learning Coordination Among Soccer Agents, In Proceedings of IEEE International Conference on Robotics and Biomimetics , Guanzhou, China, 2012, pp. 699-703.
  • Saleha Raza and Sajjad Haider, Building Soccer Skills via Imitation In Proceedings of 3rd International Conference on Advanced Topics in Artificial Inteligence , Singapore, 2012.
  • Sajjad Haider, Mohammad Shafqat and Shabih Haider, Using Influence Nets in Financial Informatics: A Case Study of Pakistan, Journal of Computing and Information and Technology , 20 (2), 2012, pp. 113-124..
  • Asma Larik and Sajjad Haider, Rule-Based Behavior Prediction of Opponent Agents using Robocup 3D Soccer Simulation League Logfiles, IFIP Advances in Information and Communication Technologies , 381, 2012, pp. 285-295.
  • Sajjad Haider, Samad Hassan and Mohammad Nishat, Influence Nets based Decision Support System, In Proceedings of 7th IASTED International Conference on Advances in Computer Science and Engineering , Phuket, Thailand, 2012.
  • Chris Stanton, Edward Ratanasena, Sajjad Haider and Mary-Anne Williams, Perceiving Bumps and Touches from Proprioceptive Expectations, In Proceedings of 2011 RoboCup Symposium, 2011
  • Quratulain Rajput and Sajjad Haider, BNOSA: A Bayesian Network and Ontology based Semantic Annotation Framework, Journal of Web Semantics, 9, 2011, pp. 99-112.
  • Saleha Raza and Sajjad Haider, Suspicious Activity Reporting using Dynamic Bayesian Networks, Proceedia Computer Science, 3, 2011, pp. 987 – 991.
  • Asma Larik and Sajjad Haider, Clustering based Anomalous Transaction Reporting, Proceedia Computer Science, 3, 2011, pp. 606 - 610.
  • Quratulain Rajput and Sajjad Haider, A Comparison of Ontology-based and Reference-set-based Semantic Annotation Frameworks, Proceedia Computer Science, 3, 2011, pp. 1535 - 1540.
  • Quratulain Rajput and Sajjad Haider, A Comparison of Two Ontology based Semantic Annotation Frameworks, Advances in Information and Communication Technologies, 33, 2010, pp. 187 – 194.
  • Imran Khan and Sajjad Haider, Automatic Generation of UML Class Diagram from OWL Ontology using OntoUML, In Proceedings of 4th Asia-Pacific Conference on Systems Engineering, Keelung, Taiwan, 2010
  • Asma Larik and Sajjad Haider, Efforts to Blend Ontology with Bayesian Networks: An Overview, In Proceedings of 3rd International Conference on Advanced Computer Theory and Engineering, Chendgu, China, 2010.
  • Saleha Raza and Sajjad Haider, Modeling First-Order Bayesian Networks (FOBN) - A Comparative Study of BLOG, BLP and MEBN, In Proceedings of 3rd International Conference on Advanced Computer Theory and Engineering, Chendgu, China, 2010.
  • Raza H. Abedi, Sayeed Ghani and Sajjad Haider, Selection of Cluster Heads in Wireless Sensor Networks using Bayesian Network, In Proceedings of International Conference on Computer, Electrical, Systems, Science and Engineering , Amsterdam, Netherlands, 2010
  • Sajjad Haider, From Dynamic Influence Nets to Dynamic Bayesian Networks: A Transformation Algorithm, International Journal of Intelligent Systems, 24(2), 2009, pp. 919-933
  • Sajjad Haider and Mohammed Nishat, On Testing Efficiency of Karachi Stock Exchange Using Computational Intelligence, In Proceedings of International Conference on Information and Financial Engineering, Singapore, 2009, pp. 32-36
  • Ahmed Abbas and Sajjad Haider, Comparison of AIS and PSO for Constrained Portfolio Optimization, In Proceedings of International Conference on Information and Financial Engineering, Singapore, 2009, pp. 50-54
  • Quratulain Rajput and Sajjad Haider, Use of Bayesian Networks in Information Extraction from Unstructured Data Sources, In Proceedings of International Conference on Ontological and Semantic Engineering, Rome, Italy, 2009, pp. 325-331
  • Quratulain Rajput, Sajjad Haider and Nasir Touheed, Information Extraction from Unstructured and Ungrammatical Data Sources for Semantic Annotation, In Proceedings of International Conference on Ontological and Semantic Engineering, Rome, Italy, 2009, pp. 295-303
  • Sajjad Haider and Alexander H. Levis, Finding Effective Coruses of Action using Particle Swarm Intelligence, In Proceedings of IEEE World Congress on Computational Intelligence, Hong Kong, 2008, pp. 1135-1140
  • Sajjad Haider, On Finding the Best Combination of Events in a Bayesian Network, In Proceedings of IASTED International Conference on Advances in Computer Science and Technology, Langkawi, Malaysia, 2008, pp. 378-383
  • Sajjad Haider, Abbas K. Zaidi and Alexander H. Levis, Identification of Best Set of Actions in Influence Nets, International Journal of Hybrid Intelligent Systems (IJHIS), 5 (1), 2008, pp. 19-29
  • Sajjad Haider and Alexander H. Levis, Modeling Time-varying Uncertain Situations using Dynamic Influence Nets, International Journal of Approximate Reasoning, 49 (2), 2008, pp. 488-502
  • Sajjad Haider and Alexander H. Levis, Effective Courses of Action Determination to Achieve Desired Effects, IEEE Transactions on Systems, Man, and Cybernetics - Part A,, 36 (6), 2007, pp. 1140-1150
  • Sajjad Haider and Alexander H. Levis, Courses of Action for Effects Based Operations Using Evolutionary Algorithms, SPIE Defense and Security Symposium, Orlando, FL, 2006
  • Sajjad Haider and Alexander H. Levis, Dynamic Influence Nets: An Extension of Timed Influence Nets for Modeling Dynamic Uncertain Situations, In Proceedings of 10th International Command and Control Research and Technology Symposium, Washington, DC, 2005
  • Sajjad Haider and Alexander H. Levis, On Finding Effective Courses of Action in a Complex Situation using Evolutionary Algorithms, In Proceedings of 10th International Command and Control Research and Technology Symposium, Washington, DC, 2005
  • Abbas K. Zaidi, Lee W. Wagenhals and Sajjad Haider, Assessment of Effects Based Operations Using Temporal Logic, 10th International Command and Control Research and Technology Symposium, Washington, DC, 2005
  • Sajjad Haider, Abbas K. Zaidi and Alexander H. Levis, On Temporal Analysis of Timed Influence Nets using Point Graphs, In Proceedings of 18th International FLAIRS Conference, Clearwater Beach, FL, 2005, pp. 629-634
  • Sajjad Haider, Abbas K. Zaidi and Alexander H. Levis, A Heuristic Approach for Best Set of Actions Determination in Influence Nets, In Proceedings of IEEE International Conference on Information Reuse and Integration, Las Vegas, NV, 2004, pp. 600-605
  • Sajjad Haider and Abbas K. Zaidi, Transforming Timed Influence Nets into Time Sliced Bayesian Networks., In Proceedings of Command and Control Research and Technology Symposium, San Deigo, CA, 2004
  • Sajjad Haider and Alexander H. Levis, An Approximation Technique for Belief Revision in Timed Influence Nets, In Proceedings of Command and Control Research and Technology Symposium, San Diego, CA.
  • Sajjad Haider, Belief Functions Based Parameter and Structure Learning of Bayesian Networks in the Presence of Missing Data, International Journal of Hybrid Intelligent Systems (IJHIS), 1 (4), 2004, pp. 164-175
  • Sajjad Haider (2003) On Computing Marginal Probability Intervals in Inference Networks, In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Washington, DC, 2003, pp. 4724-4729
  • Lee Wagenhals, Sajjad Haider and Alexander H. Levis (2003) Synthesizing Executable Models of Object Oriented C4ISR Architectures, Journal of Systems Engineering, 6 (4), 2003, pp. 266-300
  • Sajjad Haider, A Hybrid Approach for Learning Parameters of Probabilistic Networks from Incomplete Databases, Design and Application of Hybrid Intelligent Systems, Netherland, IOS Press, 2003, pp. 321-330 (book chapter)
  • Lee W. Wagenhals, Sajjad Haider and Alexander H. Levis (2002) Synthesizing Executable Models of Object Oriented Architectures, In Proceedings of 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, 2002, pp. 85-93
  • Bo Lindstrom and Sajjad Haider, Equivalent Colored Petri Nets Models of a Class of Timed Influence Nets with Logic, In Proceedings of Third Workshop and Tutorial on Practical Use of Colored Petri Nets and the CPN Tools, Arhus, Denmark, 2001, pp. 35-54
  • Sajjad Haider, Ahmed Abbas and Abbas K. Zaidi, A Multi-Technique Approach for User Verification through Keystroke Dynamics, In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, 2000, pp. 1336-1341
  • Sajjad Haider, Rescheduling using Temporal Logic Programming, FAST-IEEE Combined Conference, Lahore, Pakistan, 1998