| 2025 | ICAART | 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 |
| 2025 | ICAART | The Role of Self-exploration in Self-adaptation for Cyber Resilience. | Saad Sajid Hashmi, Hoa Khanh Dam, Alan Colman, Anton V. Uzunov, Quoc Bao Vo, Mohan Baruwal Chhetri, James Dorevski |
| 2024 | COMPSAC | Microcompositions for Goal-Driven Self-Adaptation. | Alan Colman, Quoc Bao Vo, Anton V. Uzunov, Saad Sajid Hashmi, Hoa Khanh Dam, Mohan Baruwal Chhetri |
| 2021 | APSEC | 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 |
| 2020 | ICSOC | AuraEN: Autonomous Resource Allocation for Cloud-Hosted Data Processing Pipelines. | Sunil Singh Samant, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal |
| 2018 | CCGRID | Towards Resource and Contract Heterogeneity Aware Rescaling for Cloud-Hosted Applications. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal |
| 2018 | ICECCS | 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 |
| 2017 | ACIIDS | Comparing TPC-W and RUBiS via PCA. | Markus Lumpe, Quoc Bao Vo |
| 2017 | CCGRID | On Estimating Minimum Bids for Amazon EC2 Spot Instances. | Markus Lumpe, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk |
| 2016 | KES | 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 |
| 2016 | UCC | CL-SLAM: cross-layer SLA monitoring framework for cloud service-based applications. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk |
| 2014 | KES | On the Belief Merging by Negotiation. | Trong Hieu Tran, Quoc Bao Vo, Thi Hong Khanh Nguyen |
| 2012 | AAMAS | From axiomatic to strategic models of bargaining with logical beliefs and goals. | Quoc Bao Vo, Minyi Li |
| 2012 | CCGRID | Policy-Based Automation of SLA Establishment for Cloud Computing Services. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk |
| 2012 | ECAI | Choosing Combinatorial Social Choice by Heuristic Search. | Minyi Li, Quoc Bao Vo |
| 2012 | ICCCI | An Axiomatic Model for Merging Stratified Belief Bases by Negotiation. | Trong Hieu Tran, Quoc Bao Vo |
| 2011 | CCGRID | A Flexible Policy Framework for the QoS Differentiated Provisioning of Services. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk |
| 2011 | KES | Merging Belief Bases by Negotiation. | Trong Hieu Tran, Quoc Bao Vo, Ryszard Kowalczyk |
| 2011 | UAI | An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information. | Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk |
| 2011 | WISE | Cloud Broker: Helping You Buy Better. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Cam Lan Do |
| 2010 | CCGRID | Policy-Based Management of QoS in Service Aggregations. | Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk |
| 2010 | ECAI | An Efficient Procedure for Collective Decision-making with CP-nets. | Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk |
| 2010 | KR | An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets. | Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk |
| 2008 | PRICAI | An Argumentation Framework Based on Conditional Priorities. | Quoc Bao Vo |
| 2005 | AAAI | Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. | Christoph Benzmller, Quoc Bao Vo |
| 2004 | ECAI | Contextualized Abstraction for Assertion-Level Theorem Proving. | Quoc Bao Vo |
| 2004 | LREC | 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 Benzmller |
| 2003 | IJCAI | Assertion Application in Theorem Proving and Proof Planning. | Quoc Bao Vo, Christoph Benzmller, Serge Autexier |
| 2003 | LPAR | A Syntax-Based Approach to Reasoning about Actions and Events. | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
| 2002 | PRICAI | Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. | Quoc Bao Vo, Norman Y. Foo |
| 2001 | LPNMR | Encoding Solutions of the Frame Problem in Dynamic Logic. | Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo |