| 2025 | ICAART | Programming the Trolley: Australians' Take on Autonomous Vehicle Dilemmas. | Amir Rafiee, Hugh Breakey, Yong Wu, Abdul Sattar |
| 2025 | PRICAI | GLIMPSE: A Lightweight SHAP-Based Framework for Interpretable ALS Biomarker Discovery from Gene Expression Data. | Hima Nikafshan Rad, Abdul Karim, Anne Trinh, M. A. Hakim Newton, Jarrod Trevathan, NYGC ALS Consortium, Abdul Sattar |
| 2024 | ICAART | Government's Response to Ethical Dilemmas in Autonomous Vehicle Accidents: An Australian Policy Evaluation. | Amir Rafiee, Hugh Breakey, Yong Wu, Abdul Sattar |
| 2023 | DICTA | A Novel Graph-based Framework for Explainable Image Classification: Features That Matter. | Basim Azam, Brijesh K. Verma, Deepthi Praveenlal Kuttichira, Abdul Sattar |
| 2023 | IVCNZ | Neural Network Feature Explanation Using Neuron Activation Rate Based Bipartite Graph. | Deepthi Praveenlal Kuttichira, Basim Azam, Brijesh K. Verma, Ashfaqur Rahman, Lipo Wang, Abdul Sattar |
| 2022 | ICDE | Network Alignment with Holistic Embeddings (Extended Abstract). | Thanh Trung Huynh, Duong Chi Thang, Thanh Tam Nguyen, Van Vinh Tong, Abdul Sattar, Hongzhi Yin, Quoc Viet Hung Nguyen |
| 2021 | JELIA | Computing Defeasible Meta-logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar |
| 2021 | JURIX | Computing Private International Law. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani |
| 2021 | PRICAI | Improving Protein Backbone Angle Prediction Using Hidden Markov Models in Deep Learning. | Fereshteh Mataeimoghadam, M. A. Hakim Newton, Rianon Zaman, Abdul Sattar |
| 2020 | NCA | UAV-aided 5G Network in Suburban, Urban, Dense Urban, and High-rise Urban Environments. | Shah Khalid Khan, Usman Naseem, Abdul Sattar, Nazar Waheed, Adnan Mir, Atika Qazi, Muhammad Ismail |
| 2020 | SoCS | Surrogate Assisted Optimisation for Travelling Thief Problems. | Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar |
| 2019 | PKAW | Toxicity Prediction by Multimodal Deep Learning. | Abdul Karim, Jaspreet Singh, Avinash Mishra, Abdollah Dehzangi, M. A. Hakim Newton, Abdul Sattar |
| 2019 | PRICAI | Network Alignment by Representation Learning on Structure and Attribute. | Thanh Trung Huynh, Van Vinh Tong, Chi Thang Duong, Huynh Quyet Thang, Quoc Viet Hung Nguyen, Abdul Sattar |
| 2019 | PRICAI | Exploiting Setup Time Constraints in Local Search for Flowshop Scheduling. | Vahid Riahi, M. A. Hakim Newton, Abdul Sattar |
| 2019 | SoCS | A Profit Guided Coordination Heuristic for Travelling Thief Problems. | Majid Namazi, M. A. Hakim Newton, Abdul Sattar, Conrad Sanderson |
| 2018 | PRICAI | Mixed Neighbourhood Local Search for Customer Order Scheduling Problem. | Vahid Riahi, Md. Masbaul Alam, M. A. Hakim Newton, Abdul Sattar |
| 2017 | AI | Quantified Coalition Logic of Knowledge, Belief and Certainty. | Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar |
| 2017 | CEC | Optimising Deep Belief Networks by hyper-heuristic approach. | Nasser R. Sabar, Ayad Turky, Andy Song, Abdul Sattar |
| 2017 | EDOC | Visualisation of Compliant Declarative Business Processes. | Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar |
| 2017 | HIC | Improved Prediction of Procedure Duration for Elective Surgery. | Zahra ShahabiKargar, Sankalp Khanna, Abdul Sattar, James Lind |
| 2017 | IJCAI | A Unifying Framework for Probabilistic Belief Revision. | Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar |
| 2016 | ECAI | Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. | Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar |
| 2016 | ICTAI | Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. | Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar |
| 2016 | PRICAI | Prediction with Confidence in Item Based Collaborative Filtering. | Tadiparthi V. R. Himabindu, Vineet Padmanabhan, Arun K. Pujari, Abdul Sattar |
| 2016 | PRICAI | Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. | Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar |
| 2015 | AAAI | Transition Constraints for Parallel Planning. | Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar |
| 2015 | AIME | A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases. | Luca Anselma, Luca Piovesan, Abdul Sattar, Bela Stantic, Paolo Terenziani |
| 2015 | CPAIOR | Constraint-Based Local Search for Golomb Rulers. | Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar |
| 2015 | ICECCS | Semantic Network Model: A Reasoning Engine for Software Requirements. | Kushal Ahmed, Lian Wen, Abdul Sattar, Reza Farid |
| 2015 | IJCAI | Probabilistic Belief Contraction Using Argumentation. | Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar |
| 2015 | KI | On the KL Divergence of Probability Mixtures for Belief Contraction. | Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar |
| 2014 | PRICAI | Probabilistic Belief Revision via Imaging. | Kinzang Chhogyal, Abhaya C. Nayak, Rolf Schwitter, Abdul Sattar |
| 2014 | PRICAI | Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction. | Mahmood A. Rashid, Md. Masbaul Alam Polash, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar |
| 2014 | PRICAI | Predicting Procedure Duration to Improve Scheduling of Elective Surgery. | Zahra ShahabiKargar, Sankalp Khanna, Norm Good, Abdul Sattar, James Lind, John O'Dwyer |
| 2014 | PRICAI | Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs. | Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar |
| 2013 | AAAI | Mixed Heuristic Local Search for Protein Structure Prediction. | Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar |
| 2013 | AAAI | Simplified Lattice Models for Protein Structure Prediction: How Good Are They? | Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar |
| 2013 | ACIIDS | Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition. | Abdollah Dehzangi, Abdul Sattar |
| 2013 | ACIIDS | Protein Fold Recognition Using Segmentation-Based Feature Extraction Model. | Abdollah Dehzangi, Abdul Sattar |
| 2013 | CEC | A local search embedded genetic algorithm for simplified protein structure prediction. | Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Abdul Sattar |
| 2013 | CEC | An efficient encoding for simplified protein structure prediction using genetic algorithms. | Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Abdul Sattar |
| 2013 | CIKM | A new operator for efficient stream-relation join processing in data streaming engines. | Roozbeh Derakhshan, Abdul Sattar, Bela Stantic |
| 2013 | CP | Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. | M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar |
| 2013 | ICAART | Group Recommender Systems - Some Experimental Results. | Vineet Padmanabhan, Prabhu Kiran, Abdul Sattar |
| 2013 | IJCAI | Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. | Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton |
| 2013 | TrustCom | Collaborative Parallel Local Search for Simplified Protein Structure Prediction. | Mahmood A. Rashid, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar |
| 2012 | AAAI | Two New Local Search Strategies for Minimum Vertex Cover. | Shaowei Cai, Kaile Su, Abdul Sattar |
| 2012 | AAAI | Trap Avoidance in Local Search Using Pseudo-Conflict Learning. | Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar |
| 2012 | AAMAS | On modeling punishment in multi-agent systems. | Subhasis Thakur, Guido Governatori, Abdul Sattar |
| 2012 | ADC | Indexing RFID data using the VG-curve. | Justin Terry, Bela Stantic, Abdul Sattar |
| 2012 | APWEB | Towards Real Intelligent Web Exploration. | Pavel Kalinov, Abdul Sattar, Bela Stantic |
| 2012 | CEC | Refining Genetic Algorithm twin removal for high-resolution protein structure prediction. | Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar |
| 2012 | ECAI | A Study of Local Minimum Avoidance Heuristics for SAT. | Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar |
| 2011 | ADBIS | A Novel Integrated Classifier for Handling Data Warehouse Anomalies. | Peter Darcy, Bela Stantic, Abdul Sattar |
| 2011 | ADBIS | Variable Granularity Space Filling Curve for Indexing Multidimensional Data. | Justin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar |
| 2011 | ADC | A Triangular Decomposition Access Method for Temporal Data - TD-tree. | Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar |
| 2011 | CP | Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
| 2010 | ADBIS | Correcting Missing Data Anomalies with Clausal Defeasible Logic. | Peter Darcy, Bela Stantic, Abdul Sattar |
| 2010 | ADBIS | Indexing Temporal Data with Virtual Structure. | Bela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar |
| 2010 | ADC | Building a dynamic classifier for large text data collections. | Pavel Kalinov, Bela Stantic, Abdul Sattar |
| 2010 | AINA | Trust Formalization in Mobile Ad-Hoc Networks. | Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar |
| 2010 | CEC | Genetic algorithm feature-based resampling for protein structure prediction. | Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar |
| 2010 | EUC | A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. | Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar |
| 2010 | LCN | A trust management architecture for hierarchical wireless sensor networks. | Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar |
| 2010 | Mobiquitous | A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. | Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Abdul Sattar, Vijay Varadharajan |
| 2010 | NSS | A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. | Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar |
| 2010 | PRICAI | Partial Weighted MaxSAT for Optimal Planning. | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar |
| 2010 | PRIMA | Multiagent Based Scheduling of Elective Surgery. | Sankalp Khanna, Timothy William Cleaver, Abdul Sattar, David P. Hansen, Bela Stantic |
| 2010 | PRIMA | An Intelligent Approach to Surgery Scheduling. | Sankalp Khanna, Abdul Sattar, Justin R. Boyle, David P. Hansen, Bela Stantic |
| 2009 | ATC | Theories of Trust for Communication Protocols. | Ji Ma, Mehmet A. Orgun, Abdul Sattar |
| 2008 | AAAI | Efficiently Exploiting Dependencies in Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2008 | AAAI | An Extended Interpreted System Model for Epistemic Logics. | Kaile Su, Abdul Sattar |
| 2008 | AMIA | Coping efficiently with now-relative medical data. | Bela Stantic, Paolo Terenziani, Abdul Sattar |
| 2008 | ICIP | GAGM-AAM: A genetic optimization with Gaussian mixtures for Active Appearance Models. | Abdul Sattar, Yasser Aidarous, Renaud Sguier |
| 2008 | PRICAI | Quantifying Commitment. | Timothy William Cleaver, Abdul Sattar |
| 2007 | AAAI | Intention Guided Belief Revision. | Timothy William Cleaver, Abdul Sattar |
| 2007 | AAAI | A Modal Logic for Beliefs and Pro Attitudes. | Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds |
| 2007 | CEC | Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. | Tamjidul Hoque, Madhu Chetty, Abdul Sattar |
| 2007 | IJCAI | Building Structure into Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2007 | PRIMA | Reasoning with Levels of Modalities in BDI Logic. | Jeff Blee, David Billington, Abdul Sattar |
| 2006 | ADC | Handling of current time in native XML databases. | Bela Stantic, Guido Governatori, Abdul Sattar |
| 2006 | CP | Adaptive Clause Weight Redistribution. | Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham |
| 2006 | CP | Towards an Efficient SAT Encoding for Temporal Reasoning. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2006 | KSEM | Observation-Based Logic of Knowledge, Belief, Desire and Intention. | Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo |
| 2005 | AAAI | Old Resolution Meets Modern SLS. | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar |
| 2005 | AAAI | SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. | Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi |
| 2005 | AAAI | Observation-based Model for BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan |
| 2005 | AAAI | A Theory of Forgetting in Logic Programming. | Kewen Wang, Abdul Sattar, Kaile Su |
| 2005 | AI | Handling Over-Constrained Problems in Distributed Multi-agent Systems. | Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin |
| 2005 | CP | Evolving Variable-Ordering Heuristics for Constrained Optimisation. | Stuart Bain, John Thornton, Abdul Sattar |
| 2005 | CP | Neighbourhood Clause Weight Redistribution in Local Search for SAT. | Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham |
| 2005 | IJCAI | Computationally Grounded Model of BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori |
| 2005 | PRIMA | Reasoning about Success and Failure in Intentional Agents. | Timothy William Cleaver, Abdul Sattar, Kewen Wang |
| 2004 | CEC | Evolving algorithms for constraint satisfaction. | Stuart Bain, John Thornton, Abdul Sattar |
| 2004 | CP | Applying Constraint Satisfaction Techniques to 3D Camera Control. | Owen Bourne, Abdul Sattar |
| 2004 | FlAIRS | Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. | Lingzhong Zhou, John Thornton, Abdul Sattar |
| 2004 | PRICAI | Methods of Automatic Algorithm Generation. | Stuart Bain, John Thornton, Abdul Sattar |
| 2004 | PRICAI | Solving Over-Constrained Temporal Reasoning Problems Using Local Search. | Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher |
| 2003 | TIME | Deciding consistency of a point-duration network with metric constraints. | Isabel Navarrete, Abdul Sattar, Roque Marn |
| 2003 | TIME | A Novel Approach to Model NOW in Temporal Databases. | Bela Stantic, John Thornton, Abdul Sattar |
| 2002 | FlAIRS | Extending Dual Arc Consistency. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar |
| 2002 | JELIA | On Fibring Semantics for BDI Logics. | Guido Governatori, Vineet Padmanabhan, Abdul Sattar |
| 2002 | TIME | Applying Local Search to Temporal Reasoning. | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
| 2001 | FlAIRS | Nonbinary Constraint Satisfaction: From the Dual to the Primal. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar |
| 2000 | AI | A Constraint Directed Model for Partial Constraint Satisfaction Problems. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar |
| 2000 | CP | On Dual Encodings for Non-binary Constraint Satisfaction Problems. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton |
| 2000 | PRICAI | Dual Encoding Using Constraint Coverings. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar |
| 2000 | TIME | Temporal Reasoning: A Three Way Analysis. | Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami |
| 1999 | CP | On the Behavior and Application of Constraint Weighting. | John Thornton, Abdul Sattar |
| 1999 | IJCAI | A New Framework for Reasoning about Points, Intervals and Durations. | Arun K. Pujari, Abdul Sattar |
| 1998 | AAAI | Using Arc Weights to Improve Iterative Repair. | John Thornton, Abdul Sattar |
| 1998 | AAAI | Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. | Rattana Wetprasit, Abdul Sattar |
| 1998 | ALT | Learning from Entailment of Logic Programs with Local Variables. | M. R. K. Krishna Rao, Abdul Sattar |
| 1998 | ICDCS | Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. | Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar |
| 1998 | MVA | Parallel Vision Computing on a Network of Workstation Clusters. | Jane You, Abdul Sattar, Ljubo Vlavic |
| 1998 | PRICAI | Learning Linearly-Moded Programs from Entailment. | M. R. K. Krishna Rao, Abdul Sattar |
| 1998 | PRICAI | Dynamic Constraint Weighting for Over-Constrained Problems. | John Thornton, Abdul Sattar |
| 1998 | PRICAI | An Experimental Study of Reasoning with Sequences of Point Events. | Rattana Wetprasit, Abdul Sattar, Matthew Beaumont |
| 1998 | TIME | Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). | Rattana Wetprasit, Abdul Sattar |
| 1997 | ICIP | Fractional Discrimination for Texture Image Segmentation. | Jane You, Suresh Hungenahally, Abdul Sattar |
| 1997 | ICLP | Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. | Zhiyi Huang, Chengzheng Sun, Abdul Sattar |
| 1996 | AI | Reasoning with Multi-Point Events. | Rattana Wetprasit, Abdul Sattar, Lina Khatib |
| 1996 | TARK | Changing Conditional Belief Unconditionally. | Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar |
| 1996 | TIME | Reasoning with Sequences of Point Events. | Rattana Wetprasit, Abdul Sattar, Lina Khatib |
| 1995 | CP | Specifying Over-Constrained Problems in Default Logic. | Abdul Sattar, Aditya Ghose, Randy Goebel |
| 1994 | TIME | Belief Revision in a Discrete Temporal Probability-Logic. | Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, Andr Trudel |
| 1991 | ICDE | Meta-reasoning: An Incremental Compilation Approach. | Abdul Sattar, Randy Goebel |