[
  {
    "year": 2025,
    "authors": "M. Adil Saleem, S. Ali Raza, Sajjad Haider",
    "title": "Leveraging Clinical Notes with Medical NER for Treatment Recommendation",
    "venue": "IEEE SMC Conference, Vienna, Austria",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2025,
    "authors": "Solat J. Sheikh, Sajjad Haider",
    "title": "On Comparing LLM-Generated Causal Networks with a Rule-Based Approach",
    "venue": "17th Asian Conference on Intelligent Information and Database Systems (ACIIDS), Kitakyushu, Japan",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2025,
    "authors": "Sumaira Saeed, Quratulain N. Rajput, Sajjad Haider",
    "title": "On Combining Embeddings, Ontology and LLM to Retrieve Semantically Similar Quranic Verses and Generate Their Explanations",
    "venue": "3rd World Conference on eXplainable Artificial Intelligence, Istanbul, Turkey",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2024,
    "authors": "Sumaira Saeed, Quratulain N. Rajput, Sajjad Haider",
    "title": "SUMEX: A Hybrid Framework for Semantic Textual Similarity and Explanation Generation",
    "venue": "Information Processing & Management, 61(5)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2024,
    "authors": "Muhammad Usman Arif, Sajjad Haider",
    "title": "On-line Task Allocation for Multi-robot Teams under Dynamic Scenarios",
    "venue": "Intelligent Decision Technologies, 18(2)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2023,
    "authors": "Solat J. Sheikh, Sajjad Haider, Alexander H. Levis",
    "title": "On Semi-Automated Extraction of Causal Networks from Raw Text",
    "venue": "Engineering Applications of Artificial Intelligence",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2022,
    "authors": "Zarmeen Nasim, Sajjad Haider",
    "title": "Evaluation of Clustering Techniques on Urdu News Headlines: A Case of Short-Length Text",
    "venue": "Journal of Experimental and Theoretical Artificial Intelligence",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2022,
    "authors": "Zarmeen Nasim, Sajjad Haider",
    "title": "Cluster Analysis of Urdu Tweets",
    "venue": "Journal of King Saud University – Computer and Information Sciences, 34(5)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2022,
    "authors": "Jam Jahanzeb Khan Behan, Sajjad Haider",
    "title": "Survey and Comparison of Nature Inspired Optimization Algorithms",
    "venue": "International Conference on Computational Science and Computational Intelligence",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2021,
    "authors": "Muhammad Usman Arif, Sajjad Haider",
    "title": "A Flexible Framework for Diverse Multi-Robot Task Allocation Scenarios Including Multi-Tasking",
    "venue": "ACM Transactions on Autonomous and Adaptive Systems, 16(1)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2020,
    "authors": "Zarmeen Nasim, Shaukat Abidi, Sajjad Haider",
    "title": "Modeling POS Tagging for the Urdu Language",
    "venue": "International Conference on Emerging Trends in Smart Technologies (ICETST)",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2020,
    "authors": "Sumaira Saeed, Sajjad Haider, Quratulain N. Rajput",
    "title": "On Finding Similar Verses from the Holy Quran Using Word Embeddings",
    "venue": "International Conference on Emerging Trends in Smart Technologies (ICETST)",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2019,
    "authors": "Kumail Abbas, Sajjad Haider",
    "title": "Duckworth-Lewis-Stern Method Comparison with Machine Learning Approach",
    "venue": "17th International Conference on Frontiers of Information Technology (FIT)",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2019,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "A Framework Based on Evolutionary Algorithm for Strategy Optimization in Robot Soccer",
    "venue": "Soft Computing, 23(16)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2018,
    "authors": "Nida Sadaf Khan, Sayeed Ghani, Sajjad Haider",
    "title": "Real-Time Analysis of a Sensor's Data for Automated Decision Making in an IoT-Based Smart Home",
    "venue": "Sensors, 18(6)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2018,
    "authors": "Furqan H. Essani, Sajjad Haider",
    "title": "An Algorithm for Mapping the Asymmetric Multiple Traveling Salesman Problem onto Colored Petri Nets",
    "venue": "Algorithms, 11(10)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2018,
    "authors": "Muhammad Usman Arif, Sajjad Haider",
    "title": "A Flexible Evolutionary Algorithm for Task Allocation in Multi-Robot Team",
    "venue": "Lecture Notes in Computer Science, 11056",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2018,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "A Survey of Nature Inspired Optimization Algorithms Applied to Cooperative Strategies in Robot Soccer",
    "venue": "Conference on Advancement in Computational Sciences",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2017,
    "authors": "Zarmeen Nasim, Sajjad Haider",
    "title": "An Open-Source Tool for Aspect-Based Sentiment Analysis",
    "venue": "International Journal on Artificial Intelligence Tools, 26(6)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2017,
    "authors": "Zarmeen Nasim, Quratulain Rajput, Sajjad Haider",
    "title": "Sentiment Analysis of Student Feedback Using Machine Learning and Lexicon-Based Approaches",
    "venue": "5th International Conference on Research and Innovation in Information Systems (ICRIIS), Malaysia",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2017,
    "authors": "Muhammad Usman Arif, Sajjad Haider",
    "title": "An Evolutionary Traveling Salesman Approach for Multi-Robot Task Allocation",
    "venue": "9th International Conference on Agents and Artificial Intelligence (ICAART), Portugal",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2016,
    "authors": "Quratulain Rajput, Sajjad Haider, Sayeed Ghani",
    "title": "Lexicon-Based Sentiment Analysis of Teachers' Evaluation",
    "venue": "Applied Computational Intelligence and Soft Computing",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2016,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "On Using Evolutionary Computation Approach for Strategy Optimization in Robot Soccer",
    "venue": "2nd International Conference on Robotics and Artificial Intelligence",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2016,
    "authors": "Saleha Raza, Sajjad Haider",
    "title": "Using Imitation to Build Collaborative Agents",
    "venue": "ACM Transactions on Autonomous and Adaptive Systems, 11(1)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2016,
    "authors": "Nabeel Z. Rajput, Imran Hemani, Safeer-e-Hussain, Shaukat R. Abidi, Sajjad Haider",
    "title": "On Developing a Cost-Effective Helper Robot",
    "venue": "1st National Conference on Emerging Trends and Innovation in Computing and Technology, Karachi, Pakistan",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2015,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "Opponent Classification in Robot Soccer",
    "venue": "Lecture Notes in Computer Science, 9101",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2015,
    "authors": "Sajjad Haider, Syed Ali Raza",
    "title": "Complexity Reduction of Influence Nets Using Arc Removal",
    "venue": "Journal of Intelligent and Fuzzy Systems, 24(8)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2014,
    "authors": "Imran Khan, Sajjad Haider",
    "title": "On Building a Consistent Framework for Executable Systems Architecture",
    "venue": "Journal of Systems and Software, 98",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2014,
    "authors": "Muhammad Usman Arif, S. Ali Raza, Sajjad Haider",
    "title": "On Developing a Hybrid Approach for Kick Optimization in Humanoid Robots",
    "venue": "IEEE International Conference on Robotics and Biomimetics, Indonesia",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2014,
    "authors": "Imran Khan, Sajjad Haider",
    "title": "A Feasibility Study of the Ontology-Driven Executable Systems Architecture Framework",
    "venue": "Journal of Integrated Design and Process Science, 18(3)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2014,
    "authors": "Quratulain Rajput, Nida Sadaf Khan, Asma Larik, Sajjad Haider",
    "title": "Ontology-Based Expert System for Suspicious Transactions Detection",
    "venue": "Computer and Information Science, 7(1)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2013,
    "authors": "Nida Sadaf Khan, Asma Larik, Quratulain Rajput, Sajjad Haider",
    "title": "A Bayesian Approach for Suspicious Financial Activity Reporting",
    "venue": "International Journal of Computers and Applications, 35(4)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2013,
    "authors": "Saleha Raza, Sajjad Haider, Mary-Anne Williams",
    "title": "Robot Reasoning Using First-Order Bayesian Networks",
    "venue": "Lecture Notes in Artificial Intelligence, 8032",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  
  {
    "year": 2013,
    "authors": "Saleha Raza, Sajjad Haider",
    "title": "Path Planning in RoboCup Soccer Simulation 3D Using Evolutionary Artificial Neural Network",
    "venue": "Lecture Notes in Computer Science, 7929",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2013,
    "authors": "Ali Raza, Sajjad Haider",
    "title": "Designing and Optimization of Omni-Directional Kick for Bipedal Robots",
    "venue": "Lecture Notes in Computer Science, 7906",
    "type": "Conference",
    "doi": "",
    "link": ""
  },

  {
    "year": 2012,
    "authors": "Sajjad Haider, Shaukat Abidi, Mary-Anne Williams",
    "title": "On Evolving a Dynamic Bipedal Walk Using Partial Fourier Series",
    "venue": "IEEE International Conference on Robotics and Biomimetics, Guangzhou, China",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Saleha Raza, Sajjad Haider, Mary-Anne Williams",
    "title": "Teaching Coordinated Strategies to Robot Soccer via Imitation",
    "venue": "IEEE International Conference on Robotics and Biomimetics, Guangzhou, China",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Ali Raza, Usman Shareef, Sajjad Haider",
    "title": "On Learning Coordination among Soccer Agents",
    "venue": "IEEE International Conference on Robotics and Biomimetics, Guangzhou, China",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Saleha Raza, Sajjad Haider",
    "title": "Building Soccer Skills via Imitation",
    "venue": "3rd International Conference on Advanced Topics in Artificial Intelligence, Singapore",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "Rule-Based Behavior Prediction of Opponent Agents Using RoboCup 3D Soccer Simulation League Log Files",
    "venue": "IFIP Advances in Information and Communication Technologies, 381",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Sajjad Haider, Mohammad Shafqat, Shabih Haider",
    "title": "Using Influence Nets in Financial Informatics",
    "venue": "Journal of Computing and Information Technology, 20(2)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Sajjad Haider, Samad Hassan, Mohammad Nishat",
    "title": "Influence Nets-Based Decision Support System",
    "venue": "7th IASTED International Conference on Advances in Computer Science and Engineering",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2011,
    "authors": "Quratulain Rajput, Sajjad Haider",
    "title": "BNOSA: A Bayesian Network and Ontology-Based Semantic Annotation Framework",
    "venue": "Journal of Web Semantics, 9",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2012,
    "authors": "Chris Stanton, Edward Ratanasena, Sajjad Haider, Mary-Anne Williams",
    "title": "Perceiving Forces, Bumps and Touches from Proprioceptive Expectations",
    "venue": "Lecture Notes in Computer Science, 7416",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2011,
    "authors": "Saleha Raza, Sajjad Haider",
    "title": "Suspicious Activity Reporting Using Dynamic Bayesian Networks",
    "venue": "Procedia Computer Science, 3",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2011,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "Clustering-Based Anomalous Transaction Reporting",
    "venue": "Procedia Computer Science, 3",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2011,
    "authors": "Quratulain Rajput, Sajjad Haider",
    "title": "A Comparison of Ontology-Based and Reference-Set-Based Semantic Annotation Frameworks",
    "venue": "Procedia Computer Science, 3",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2010,
    "authors": "Quratulain Rajput, Sajjad Haider",
    "title": "A Comparison of Two Ontology-Based Semantic Annotation Frameworks",
    "venue": "IFIP Advances in Information and Communication Technologies, 33",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2010,
    "authors": "Imran Khan, Sajjad Haider",
    "title": "Automatic Generation of UML Class Diagram from OWL Ontology Using OntoUML",
    "venue": "4th Asia-Pacific Conference on Systems Engineering, Keelung, Taiwan",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2010,
    "authors": "Raza H. Abedi, Sayeed Ghani, Sajjad Haider",
    "title": "Selection of Cluster Heads in Wireless Sensor Networks Using Bayesian Network",
    "venue": "International Conference on Computer, Electrical, Systems, Science and Engineering, Amsterdam, Netherlands",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2010,
    "authors": "Asma Larik, Sajjad Haider",
    "title": "Efforts to Blend Ontology with Bayesian Networks: An Overview",
    "venue": "3rd International Conference on Advanced Computer Theory and Engineering, Chengdu, China",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2010,
    "authors": "Saleha Raza, Sajjad Haider",
    "title": "Modeling First-Order Bayesian Networks (FOBN): A Comparative Study of BLOG, BLP and MEBN",
    "venue": "3rd International Conference on Advanced Computer Theory and Engineering, Chengdu, China",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2009,
    "authors": "Sajjad Haider",
    "title": "From Dynamic Influence Nets to Dynamic Bayesian Networks: A Transformation Algorithm",
    "venue": "International Journal of Intelligent Systems, 24(2)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2009,
    "authors": "Quratulain Rajput, Sajjad Haider",
    "title": "Use of Bayesian Networks in Information Extraction from Unstructured Data Sources",
    "venue": "World Academy of Science, Technology and Engineering, 52",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2009,
    "authors": "Quratulain Rajput, Sajjad Haider, Nasir Touheed",
    "title": "Information Extraction from Unstructured and Ungrammatical Data Sources for Semantic Annotation",
    "venue": "World Academy of Science, Technology and Engineering, 52",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2009,
    "authors": "Sajjad Haider, Mohammad Nishat",
    "title": "On Testing Efficiency of Karachi Stock Exchange Using Computational Intelligence",
    "venue": "International Conference on Information and Financial Engineering, Singapore",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2009,
    "authors": "Ahmed Abbas, Sajjad Haider",
    "title": "Comparison of AIS and PSO for Constrained Portfolio Optimization",
    "venue": "International Conference on Information and Financial Engineering, Singapore",
    "type": "Conference",
    "doi": "",
    "link": ""
  },

  {
    "year": 2008,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "Modeling Time-Varying Uncertain Situations Using Dynamic Influence Nets",
    "venue": "International Journal of Approximate Reasoning, 49(2)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2008,
    "authors": "Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis",
    "title": "Identification of Best Set of Actions in Time-Independent Probabilistic Networks",
    "venue": "International Journal of Hybrid Intelligent Systems, 5(1)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2008,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "Finding Courses of Action Using Particle Swarm Intelligence",
    "venue": "IEEE World Congress on Computational Intelligence, Hong Kong",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2008,
    "authors": "Sajjad Haider",
    "title": "On Finding the Best Combination of Events in a Bayesian Network",
    "venue": "IASTED International Conference on Advancement in Computer Science and Technology, Malaysia",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2007,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "Effective Courses of Action Determination to Achieve Desired Effects",
    "venue": "IEEE Transactions on Systems, Man, and Cybernetics – Part A, 36(6)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2006,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "Courses of Action for Effects-Based Operations Using Evolutionary Algorithms",
    "venue": "Modeling and Simulation for Military Applications, SPIE",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2006,
    "authors": "Lee Wagenhals, Alexander H. Levis, Sajjad Haider",
    "title": "Planning, Execution, and Assessment of Effects-Based Operations (EBO)",
    "venue": "Air Force Research Laboratory, Information Directorate, Rome, NY",
    "type": "Technical Report",
    "doi": "",
    "link": ""
  },
  {
    "year": 2005,
    "authors": "Sajjad Haider",
    "title": "On Finding Effective Courses of Action in Dynamic Uncertain Situations",
    "venue": "Dissertation, George Mason University, VA",
    "type": "Thesis",
    "doi": "",
    "link": ""
  },
  {
    "year": 2005,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "Dynamic Influence Nets: An Extension of Timed Influence Nets for Modeling Dynamic Uncertain Situations",
    "venue": "10th International Command and Control Research and Technology Symposium, Washington DC",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2005,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "On Finding Effective Courses of Action in a Complex Situation Using Evolutionary Algorithms",
    "venue": "10th International Command and Control Research and Technology Symposium, Washington DC",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2005,
    "authors": "Abbas K. Zaidi, Lee W. Wagenhals, Sajjad Haider",
    "title": "Assessment of Effects-Based Operations Using Temporal Logic",
    "venue": "10th International Command and Control Research and Technology Symposium, Washington DC",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2005,
    "authors": "Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis",
    "title": "On Temporal Analysis of Timed Influence Nets Using Point Graphs",
    "venue": "18th International FLAIRS Conference, Orlando, FL",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2004,
    "authors": "Sajjad Haider",
    "title": "Belief Functions-Based Parameter and Structure Learning of Bayesian Networks in the Presence of Missing Data",
    "venue": "International Journal of Hybrid Intelligent Systems, 1(4)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2004,
    "authors": "Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis",
    "title": "A Heuristic Approach for Best Set of Actions Determination in Influence Nets",
    "venue": "IEEE International Conference on Information Reuse and Integration, Las Vegas",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2004,
    "authors": "Sajjad Haider, Abbas K. Zaidi",
    "title": "Transforming Timed Influence Nets into Time-Sliced Bayesian Networks",
    "venue": "Command and Control Research and Technology Symposium, San Diego",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2004,
    "authors": "Sajjad Haider, Alexander H. Levis",
    "title": "An Approximation Technique for Belief Revision in Timed Influence Nets",
    "venue": "Command and Control Research and Technology Symposium, San Diego",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2003,
    "authors": "Sajjad Haider",
    "title": "A Hybrid Approach for Learning Parameters of Probabilistic Networks from Incomplete Databases",
    "venue": "Design and Application of Hybrid Intelligent Systems, IOS Press, Amsterdam",
    "type": "Book Chapter",
    "doi": "",
    "link": ""
  },
  {
    "year": 2003,
    "authors": "Lee Wagenhals, Sajjad Haider, Alexander H. Levis",
    "title": "Synthesizing Executable Models of Object-Oriented C4ISR Architectures",
    "venue": "Journal of Systems Engineering, 6(4)",
    "type": "Journal",
    "doi": "",
    "link": ""
  },
  {
    "year": 2003,
    "authors": "Sajjad Haider",
    "title": "On Computing Marginal Probability Intervals in Inference Networks",
    "venue": "IEEE International Conference on Systems, Man, and Cybernetics, Washington DC",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2002,
    "authors": "Sajjad Haider",
    "title": "On Belief Updating in Timed Influence Nets",
    "venue": "Master’s Thesis, George Mason University, VA",
    "type": "Thesis",
    "doi": "",
    "link": ""
  },
  {
    "year": 2002,
    "authors": "Lee Wagenhals, Sajjad Haider, Alexander H. Levis",
    "title": "Synthesizing Executable Models of Object-Oriented Architectures",
    "venue": "23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2001,
    "authors": "Bo Lindstrom, Sajjad Haider",
    "title": "Equivalent Colored Petri Nets Models of a Class of Timed Influence Nets with Logic",
    "venue": "Third Workshop and Tutorial on Practical Use of Colored Petri Nets and the CPN Tools, Denmark",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 2000,
    "authors": "Sajjad Haider, Ahmed Abbas, Abbas K. Zaidi",
    "title": "A Multi-Technique Approach for User Verification through Keystroke Dynamics",
    "venue": "IEEE International Conference on Systems, Man, and Cybernetics, Nashville, Tennessee",
    "type": "Conference",
    "doi": "",
    "link": ""
  },
  {
    "year": 1998,
    "authors": "Sajjad Haider",
    "title": "Rescheduling Using Temporal Logic Programming",
    "venue": "FAST-IEEE Combined Conference, Lahore, Pakistan",
    "type": "Conference",
    "doi": "",
    "link": ""
  }
]