Semantics for Pollock's Defeasible Reasoning. - Quoc Bao Vo; Joe Thurbon (Australian Joint Conference on Artificial Intelligence, 1999)

Solving the Qualification Problem. - Quoc Bao Vo; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 2001)

Encoding Solutions of the Frame Problem in Dynamic Logic. - Norman Y. Foo; Dongmo Zhang; Yan Zhang 003; Samir Chopra; Quoc Bao Vo (LPNMR, 2001)

Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. - Quoc Bao Vo; Norman Y. Foo (PRICAI, 2002)

A task-oriented agent-based mechanism for theorem proving. - Quoc Bao Vo (IAT, 2003)

Assertion Application in Theorem Proving and Proof Planning. - Quoc Bao Vo; Christoph Benzmüller; Serge Autexier (IJCAI, 2003)

A Syntax-Based Approach to Reasoning about Actions and Events. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (LPAR, 2003)

Assertion-level Proof Representation with Under-Specification. - Serge Autexier; Christoph Benzmüller; Armin Fiedler; Helmut Horacek; Quoc Bao Vo (MKM Symposium, 2003)

Contextualized Abstraction for Assertion-Level Theorem Proving. - Quoc Bao Vo (ECAI, 2004)

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. - Magdalena Wolska; Quoc Bao Vo; Dimitra Tsovaltzi; Ivana Kruijff-Korbayová; Elena Karagjosova; Helmut Horacek; Armin Fiedler; Christoph Benzmüller (LREC, 2004)

A task-oriented agent-based mechanism for mathematical assistant systems. - Quoc Bao Vo (Web Intell. Agent Syst., 2004)

Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. - Christoph Benzmüller; Quoc Bao Vo (AAAI, 2005)

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. - Quoc Bao Vo (Australian Conference on Artificial Intelligence, 2005)

Semantics for a theory of defeasible reasoning. - Quoc Bao Vo; Norman Y. Foo; Joe Thurbon (Ann. Math. Artif. Intell., 2005)

Reasoning about Action: An Argumentation - Theoretic Approach. - Quoc Bao Vo; Norman Y. Foo (J. Artif. Intell. Res., 2005)

Conversation-Based Specification and Composition of Agent Services. - Quoc Bao Vo; Lin Padgham (CIA, 2006)

A Component-Based Approach to Automated Web Service Composition. - Quoc Bao Vo; Lin Padgham (Web Intelligence, 2006)

A Syntax-based Approach to Reasoning about Action and Belief Update. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (J. Log. Comput., 2006)

Searching for joint gains in automated negotiations based on multi-criteria decision making theory. - Quoc Bao Vo; Lin Padgham (AAMAS, 2007)

Negotiating flexible agreements by combining distributive and integrative negotiation. - Quoc Bao Vo; Lin Padgham; Lawrence Cavedon (Intell. Decis. Technol., 2007)

Decentralized Co-allocation of Interrelated Resources in Dynamic Environments. - Tino Schlegel; Ryszard Kowalczyk; Quoc Bao Vo (IAT, 2008)

Framework for Open, Distributed and Self-Managed Social Platforms. - Juliana Mitchell-Wong; SukKeong Goh; Mohan Baruwal Chhetri; Ryszard Kowalczyk; Quoc Bao Vo (Virtual Enterprises and Collaborative Networks, 2008)

Social Network Profile and Policy. - Juliana Mitchell-Wong; Ryszard Kowalczyk; Quoc Bao Vo (POLICY, 2008)

An Argumentation Framework Based on Conditional Priorities. - Quoc Bao Vo (PRICAI, 2008)

Searching for fair joint gains in agent-based negotiation. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS (2), 2009)

Theoretic study of distributed graph planning. - Jian Feng Zhang; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS (2), 2009)

Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation. - Jan Richter; Mohan Baruwal Chhetri; Ryszard Kowalczyk; Quoc Bao Vo; Muhammad Adeel Talib; Alan W. Colman (IEEE SCC, 2010)

An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (Australasian Conference on Artificial Intelligence, 2010)

Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints. - Khalid Mansour; Ryszard Kowalczyk; Quoc Bao Vo (Australasian Conference on Artificial Intelligence, 2010)

Policy-Based Management of QoS in Service Aggregations. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (CCGRID, 2010)

An Efficient Procedure for Collective Decision-making with CP-nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (ECAI, 2010)

An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (KR, 2010)

Efficient heuristic approach to dominance testing in CP-nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS, 2011)

Majority-rule-based preference aggregation on multi-attribute domains with CP-nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS, 2011)

Efficient penalty scoring functions for group decision-making with TCP-nets. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS, 2011)

On topic selection strategies in multi-agent naming game. - Wojciech A. Lorkiewicz; Ryszard Kowalczyk; Radoslaw P. Katarzyniak; Quoc Bao Vo (AAMAS, 2011)

A Flexible Policy Framework for the QoS Differentiated Provisioning of Services. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (CCGRID, 2011)

Real time route guidance with correlated link cost. - Wei Dong; Hai Le Vu; Quoc Bao Vo (ITSC, 2011)

Merging Belief Bases by Negotiation. - Trong Hieu Tran; Quoc Bao Vo; Ryszard Kowalczyk (KES (1), 2011)

An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (UAI, 2011)

Cloud Broker: Helping You Buy Better. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Cam Lan Do (WISE, 2011)

AutoSLAM - A Policy-Driven Middleware for Automated SLA Establishment in SOA Environments. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (IEEE SCC, 2012)

From axiomatic to strategic models of bargaining with logical beliefs and goals. - Quoc Bao Vo; Minyi Li 001 (AAMAS, 2012)

QoS- and Resource-Aware Service Composition and Adaptation. - Quoc Bao Vo; Minyi Li 001 (AMT, 2012)

Policy-Based Automation of SLA Establishment for Cloud Computing Services. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (CCGRID, 2012)

Choosing Combinatorial Social Choice by Heuristic Search. - Minyi Li 001; Quoc Bao Vo (ECAI, 2012)

On the Role of Expectations in Multi-agent Reasoning and Decision Making. - Quoc Bao Vo; Minyi Li 001 (IAT, 2012)

An Axiomatic Model for Merging Stratified Belief Bases by Negotiation. - Trong Hieu Tran; Quoc Bao Vo (ICCCI (1), 2012)

Reliability in stochastic time-dependent traffic networks with correlated link travel times. - Wei Dong; Minyi Li 001; Quoc Bao Vo; Hai Le Vu (ITSC, 2012)

REInDetector: a framework for knowledge-based requirements engineering. - Tuong Huan Nguyen; Bao Quoc Vo; Markus Lumpe; John Grundy 001 (ASE, 2012)

Pure exchange markets for resource sharing in federated clouds. - Eduardo Rodrigues Gomes; Quoc Bao Vo; Ryszard Kowalczyk (Concurr. Comput. Pract. Exp., 2012)

Establishing composite SLAs through concurrent QoS negotiation with surplus redistribution. - Jan Richter; Mohan Baruwal Chhetri; Ryszard Kowalczyk; Quoc Bao Vo (Concurr. Comput. Pract. Exp., 2012)

Smart CloudBench - Automated Performance Benchmarking of the Cloud. - Mohan Baruwal Chhetri; Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (IEEE CLOUD, 2013)

Smart CloudBench - Test Drive the Cloud Before You Buy. - Mohan Baruwal Chhetri; Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (ASSRI, 2013)

A distributed protocol for collective decision-making in combinatorial domains. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (AAMAS, 2013)

A Mechanism to Improve Efficiency for Negotiations with Incomplete Information. - Quoc Bao Vo (Australasian Conference on Artificial Intelligence, 2013)

Smart Cloud Broker: Finding your home in the clouds. - Mohan Baruwal Chhetri; Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (ASE, 2013)

Automated negotiation in open and distributed environments. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk; Sascha Ossowski; Gregory E. Kersten (Expert Syst. Appl., 2013)

Axiomatic characterization of belief merging by negotiation. - Trong Hieu Tran; Ngoc Thanh Nguyen 001; Quoc Bao Vo (Multim. Tools Appl., 2013)

Optimal designs for IEEE 802.15.4 wireless sensor networks. - Alvaro Monsalve; Hai Le Vu; Quoc Bao Vo (Wirel. Commun. Mob. Comput., 2013)

Smart CloudMonitor - Providing Visibility into Performance of Black-Box Clouds. - Mohan Baruwal Chhetri; Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (IEEE CLOUD, 2014)

Adaptive Market Mechanism for Efficient Cloud Services Trading. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (IEEE CLOUD, 2014)

Adaptive AutoSLAM - Policy-Based Orchestration of SLA Establishment. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (IEEE SCC, 2014)

Truthful Market-Based Trading of Cloud Services with Reservation Price. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (IEEE SCC, 2014)

On the Belief Merging by Negotiation. - Trong Hieu Tran; Quoc Bao Vo; Thi Hong Khanh Nguyen (KES, 2014)

Smart Cloud Marketplace - Agent-Based Platform for Trading Cloud Services. - Sergei Chichin; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Marcin Stepniak (WI-IAT (3), 2014)

One-hop vs. multi-hop broadcast protocol for DSRC safety applications. - Hien P. Luong; Suong H. Nguyen; Hai Le Vu; Bao Quoc Vo (WoWMoM, 2014)

Truthful Market-based Trading of Cloud Resources with Reservation Price. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (CoRR, 2014)

A distributed social choice protocol for combinatorial domains. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (J. Heuristics, 2014)

A Pareto-efficient and fair mediation approach to multilateral negotiation. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (Multiagent Grid Syst., 2014)

KBRE: a framework for knowledge-based requirements engineering. - Tuong Huan Nguyen; Bao Quoc Vo; Markus Lumpe; John Grundy 001 (Softw. Qual. J., 2014)

Supporting Temporal Aspects of SLA Establishment in Auto SLAM Framework. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (SCC, 2015)

Towards Efficient Greedy Allocation Schemes for Double-Sided Cloud Markets. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (SCC, 2015)

Finding the k in K-means Clustering: A Comparative Analysis Approach. - Markus Lumpe; Quoc Bao Vo (Australasian Conference on Artificial Intelligence, 2015)

Agent Enabled Adaptive Management of Cloud Service Provisioning. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (WI-IAT (2), 2015)

Double-Sided Market Mechanism for Trading Cloud Resources. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (WI-IAT (2), 2015)

AutoSLAM - A policy-based framework for automated SLA establishment in cloud environments. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (Concurr. Comput. Pract. Exp., 2015)

Aggregating multi-valued CP-nets: a CSP-based approach. - Minyi Li 001; Quoc Bao Vo; Ryszard Kowalczyk (J. Heuristics, 2015)

On the Use of Surplus Division to Facilitate Efficient Negotiation in the Presence of Incomplete Information. - Quoc Bao Vo; Trong Hieu Tran; Thi Hong Khanh Nguyen (KES, 2016)

CL-SLAM: cross-layer SLA monitoring framework for cloud service-based applications. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (UCC, 2016)

Smart CloudBench - A framework for evaluating cloud infrastructure performance. - Mohan Baruwal Chhetri; Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (Inf. Syst. Frontiers, 2016)

On Estimating Bids for Amazon EC2 Spot Instances Using Time Series Forecasting. - Mohan Baruwal Chhetri; Markus Lumpe; Quoc Bao Vo; Ryszard Kowalczyk (SCC, 2017)

Comparing TPC-W and RUBiS via PCA. - Markus Lumpe; Quoc Bao Vo (ACIIDS (1), 2017)

A Framework for Clustering and Dynamic Maintenance of XML Documents. - Ahmed Al-Shammari; Chengfei Liu; Mehdi Naseriparsa; Bao Quoc Vo; Tarique Anwar; Rui Zhou 001 (ADMA, 2017)

On Estimating Minimum Bids for Amazon EC2 Spot Instances. - Markus Lumpe; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk (CCGrid, 2017)

Towards Quality-Assured Data Delivery in Cloud-Based IoT Platforms for Smart Cities. - Sunil Singh Samant; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Surya Nepal (CIC, 2017)

On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs. - Mohan Baruwal Chhetri; Markus Lumpe; Quoc Bao Vo; Ryszard Kowalczyk (EDGE, 2017)

Analysis of Multi-Hop Probabilistic Forwarding for Vehicular Safety Applications on Highways. - Hien P. Luong; Manoj K. Panda; Hai Le Vu; Quoc Bao Vo (IEEE Trans. Mob. Comput., 2017)

Towards Efficient and Truthful Market Mechanisms for Double-Sided Cloud Markets. - Sergei Chichin; Quoc Bao Vo; Ryszard Kowalczyk (IEEE Trans. Serv. Comput., 2017)

To Bid or Not to Bid in Streamlined EC2 Spot Markets. - Mohan Baruwal Chhetri; Markus Lumpe; Quoc Bao Vo; Ryszard Kowalczyk (SCC, 2018)

Towards End-to-End QoS and Cost-Aware Resource Scaling in Cloud-Based IoT Data Processing Pipelines. - Sunil Singh Samant; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Surya Nepal (SCC, 2018)

ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management. - Mohan Baruwal Chhetri; Hien P. Luong; Anton V. Uzunov; Quoc Bao Vo; Ryszard Kowalczyk; Surya Nepal; Isuru Rajapakse (ASWEC, 2018)

Towards Resource and Contract Heterogeneity Aware Rescaling for Cloud-Hosted Applications. - Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Surya Nepal (CCGrid, 2018)

AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems. - Mohan Baruwal Chhetri; Anton V. Uzunov; Quoc Bao Vo; Ryszard Kowalczyk; Michael Docking; Hien P. Luong; Isuru Rajapakse; Surya Nepal (ICECCS, 2018)

A Framework for Processing Cumulative Frequency Queries over Medical Data Streams. - Ahmed Al-Shammari; Rui Zhou 001; Chengfei Liu; Mehdi Naseriparsa; Bao Quoc Vo (WISE (2), 2018)

Beacon Rate Optimization for Vehicular Safety Applications in Highway Scenarios. - Hien P. Luong; Manoj K. Panda; Hai Le Vu; Bao Quoc Vo (IEEE Trans. Veh. Technol., 2018)

Towards Risk-Aware Cost-Optimal Resource Allocation for Cloud Applications. - Mohan Baruwal Chhetri; Abdur Rahim Mohammad Forkan; Quoc Bao Vo; Surya Nepal; Ryszard Kowalczyk (SCC, 2019)

Benchmarking for End-to-End QoS Sustainability in Cloud-Hosted Data Processing Pipelines. - Sunil Singh Samant; Mohan Baruwal Chhetri; Quoc Bao Vo; Surya Nepal; Ryszard Kowalczyk (CIC, 2019)

Self-Improving Autonomic Systems for Antifragile Cyber Defence: Challenges and Opportunities. - Mohan Baruwal Chhetri; Anton V. Uzunov; Bao Quoc Vo; Surya Nepal; Ryszard Kowalczyk (ICAC, 2019)

An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. - Qinyuan Li; Minyi Li 001; Bao Quoc Vo; Ryszard Kowalczyk (ICECCS, 2020)

AuraEN: Autonomous Resource Allocation for Cloud-Hosted Data Processing Pipelines. - Sunil Singh Samant; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; Surya Nepal (ICSOC Workshops, 2020)

Distributed Near-optimal Multi-robots Coordination in Heterogeneous Task Allocation. - Qinyuan Li; Minyi Li 001; Bao Quoc Vo; Ryszard Kowalczyk (IROS, 2020)

Mining Conversation Data for Reward Estimation in Dialog Policy Learning. - Anh Duy Nguyen; Minyi Li 001; Bao Quoc Vo (PACIS, 2020)

An anytime algorithm for dynamic multi-agent task allocation problems. - Qinyuan Li; Minyi Li 001; Bao Quoc Vo; Ryszard Kowalczyk (ACSOS-C, 2021)

AWaRE2-MM: A Meta-Model for Goal-Driven, Contract-Mediated, Team-Centric Autonomous Middleware Frameworks for Antifragility. - Anton V. Uzunov; Matthew Brennan; Mohan Baruwal Chhetri; Quoc Bao Vo; Ryszard Kowalczyk; John Wondoh (APSEC, 2021)

Transition-state replicator dynamics. - Yan Ngee Khaw; Ryszard Kowalczyk; Quoc Bao Vo; Nasrudin Abd. Rahim; Hang Seng Che (Expert Syst. Appl., 2021)

Exploiting Heterogeneity for Opportunistic Resource Scaling in Cloud-Hosted Applications. - Mohan Baruwal Chhetri; Abdur Rahim Mohammad Forkan; Quoc Bao Vo; Surya Nepal; Ryszard Kowalczyk (IEEE Trans. Serv. Comput., 2021)

An efficient algorithm for task allocation with the budget constraint. - Qinyuan Li; Minyi Li 001; Bao Quoc Vo; Ryszard Kowalczyk (Expert Syst. Appl., 2022)

Agent Controlled Service Meshes for Resilient, Self-Adaptive Microservice Systems. - Alan Colman; Anton V. Uzunov; Quoc Bao Vo; Mohan Baruwal Chhetri (SSE, 2023)

Towards Proactive Risk-Aware Cloud Cost Optimization Leveraging Transient Resources. - Mohan Baruwal Chhetri; Abdur Rahim Mohammad Forkan; Quoc Bao Vo; Surya Nepal; Ryszard Kowalczyk (IEEE Trans. Serv. Comput., 2023)

Microcompositions for Goal-Driven Self-Adaptation. - Alan Colman; Quoc Bao Vo; Anton V. Uzunov; Saad Sajid Hashmi; Hoa Khanh Dam; Mohan Baruwal Chhetri (COMPSAC, 2024)

Towards Reliable Medical Question Answering: Techniques and Challenges in Mitigating Hallucinations in Language Models. - Duy Khoa Pham; Bao Quoc Vo (CoRR, 2024)

Game-theoretic distributed approach for heterogeneous-cost task allocation with budget constraints. - Weiyi Yang; Xiao-Lu Liu 002; Lei He 009; Yonghao Du; Bao Quoc Vo; Ying-Wu Chen 001 (Expert Syst. Appl., 2024)

Coordinated Self-Exploration for Self-Adaptive Systems in Contested Environments. - Saad Sajid Hashmi; Hoa Khanh Dam; Alan Colman; Anton V. Uzunov; Quoc Bao Vo; Mohan Baruwal Chhetri; James Dorevski (ICAART (1), 2025)

Intelligent Health & Mission Management Architecture for Autonomous and Resilient Distributed Space Systems. - Mohammad Reza Jabbarpour; Ghaith El-Dalahmeh; Bao Quoc Vo; Ryszard Kowalczyk (ICAART (3), 2025)

Towards Effective Identification of Attack Techniques in Cyber Threat Intelligence Reports using Large Language Models. - Hoang Cuong Nguyen; Shahroz Tariq; Mohan Baruwal Chhetri; Bao Quoc Vo (WWW (Companion Volume), 2025)

Dual-phase neural networks for feature extraction and ensemble learning for recognizing human health activities. - Joy Dhar; Kapil Rana; Puneet Goyal; Azadeh Alavi; Rajib Rana; Bao Quoc Vo; Sudeepta Mishra; Sajib Mistry (Appl. Soft Comput., 2025)

Proactive self-exploration: Leveraging information sharing and predictive modelling for anticipating and countering adversaries. - Saad Sajid Hashmi; Hoa Khanh Dam; Mohan Baruwal Chhetri; Anton V. Uzunov; Alan Colman; Quoc Bao Vo (Expert Syst. Appl., 2025)

Toward Better Generalisation in Uncertainty Estimators: Leveraging Data-Agnostic Features. - Thuy An Ha; Bao Quoc Vo (CoRR, 2025)

Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning. - Ghaith El-Dalahmeh; Mohammad Reza Jabbarpour; Bao Quoc Vo; Ryszard Kowalczyk (CoRR, 2025)