Quoc Bao Vo

According to our database1, Quoc Bao Vo authored at least 102 papers between 1999 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Mining Conversation Data for Reward Estimation in Dialog Policy Learning.
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

Distributed Near-optimal Multi-robots Coordination in Heterogeneous Task Allocation.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

An Anytime Algorithm for Large-scale Heterogeneous Task Allocation.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019
Self-Improving Autonomic Systems for Antifragile Cyber Defence: Challenges and Opportunities.
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019

Benchmarking for End-to-End QoS Sustainability in Cloud-Hosted Data Processing Pipelines.
Proceedings of the 5th IEEE International Conference on Collaboration and Internet Computing, 2019

Towards Risk-Aware Cost-Optimal Resource Allocation for Cloud Applications.
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018
Beacon Rate Optimization for Vehicular Safety Applications in Highway Scenarios.
IEEE Trans. Veh. Technol., 2018

A Framework for Processing Cumulative Frequency Queries over Medical Data Streams.
Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Towards Resource and Contract Heterogeneity Aware Rescaling for Cloud-Hosted Applications.
Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018

ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

Towards End-to-End QoS and Cost-Aware Resource Scaling in Cloud-Based IoT Data Processing Pipelines.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

To Bid or Not to Bid in Streamlined EC2 Spot Markets.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
Towards Efficient and Truthful Market Mechanisms for Double-Sided Cloud Markets.
IEEE Trans. Serv. Comput., 2017

Analysis of Multi-Hop Probabilistic Forwarding for Vehicular Safety Applications on Highways.
IEEE Trans. Mob. Comput., 2017

On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Towards Quality-Assured Data Delivery in Cloud-Based IoT Platforms for Smart Cities.
Proceedings of the 3rd IEEE International Conference on Collaboration and Internet Computing, 2017

On Estimating Minimum Bids for Amazon EC2 Spot Instances.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

A Framework for Clustering and Dynamic Maintenance of XML Documents.
Proceedings of the Advanced Data Mining and Applications - 13th International Conference, 2017

Comparing TPC-W and RUBiS via PCA.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

On Estimating Bids for Amazon EC2 Spot Instances Using Time Series Forecasting.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Smart CloudBench - A framework for evaluating cloud infrastructure performance.
Inf. Syst. Frontiers, 2016

CL-SLAM: cross-layer SLA monitoring framework for cloud service-based applications.
Proceedings of the 9th International Conference on Utility and Cloud Computing, 2016

On the Use of Surplus Division to Facilitate Efficient Negotiation in the Presence of Incomplete Information.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

2015
Aggregating multi-valued CP-nets: a CSP-based approach.
J. Heuristics, 2015

AutoSLAM - A policy-based framework for automated SLA establishment in cloud environments.
Concurr. Comput. Pract. Exp., 2015

Double-Sided Market Mechanism for Trading Cloud Resources.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Agent Enabled Adaptive Management of Cloud Service Provisioning.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Finding the k in K-means Clustering: A Comparative Analysis Approach.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Towards Efficient Greedy Allocation Schemes for Double-Sided Cloud Markets.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Supporting Temporal Aspects of SLA Establishment in Auto SLAM Framework.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
KBRE: a framework for knowledge-based requirements engineering.
Softw. Qual. J., 2014

A Pareto-efficient and fair mediation approach to multilateral negotiation.
Multiagent Grid Syst., 2014

A distributed social choice protocol for combinatorial domains.
J. Heuristics, 2014

Truthful Market-based Trading of Cloud Resources with Reservation Price.
CoRR, 2014

One-hop vs. multi-hop broadcast protocol for DSRC safety applications.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Smart Cloud Marketplace - Agent-Based Platform for Trading Cloud Services.
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

On the Belief Merging by Negotiation.
Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

Truthful Market-Based Trading of Cloud Services with Reservation Price.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Adaptive AutoSLAM - Policy-Based Orchestration of SLA Establishment.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Adaptive Market Mechanism for Efficient Cloud Services Trading.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

Smart CloudMonitor - Providing Visibility into Performance of Black-Box Clouds.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
Optimal designs for IEEE 802.15.4 wireless sensor networks.
Wirel. Commun. Mob. Comput., 2013

Axiomatic characterization of belief merging by negotiation.
Multim. Tools Appl., 2013

Automated negotiation in open and distributed environments.
Expert Syst. Appl., 2013

Smart Cloud Broker: Finding your home in the clouds.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A Mechanism to Improve Efficiency for Negotiations with Incomplete Information.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

A distributed protocol for collective decision-making in combinatorial domains.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Smart CloudBench - Test Drive the Cloud Before You Buy.
Proceedings of the Service Research and Innovation - Third Australian Symposium, 2013

Smart CloudBench - Automated Performance Benchmarking of the Cloud.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
Establishing composite SLAs through concurrent QoS negotiation with surplus redistribution.
Concurr. Comput. Pract. Exp., 2012

Pure exchange markets for resource sharing in federated clouds.
Concurr. Comput. Pract. Exp., 2012

REInDetector: a framework for knowledge-based requirements engineering.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Reliability in stochastic time-dependent traffic networks with correlated link travel times.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

An Axiomatic Model for Merging Stratified Belief Bases by Negotiation.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

On the Role of Expectations in Multi-agent Reasoning and Decision Making.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Choosing Combinatorial Social Choice by Heuristic Search.
Proceedings of the ECAI 2012, 2012

Policy-Based Automation of SLA Establishment for Cloud Computing Services.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

QoS- and Resource-Aware Service Composition and Adaptation.
Proceedings of the Active Media Technology - 8th International Conference, 2012

From axiomatic to strategic models of bargaining with logical beliefs and goals.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

AutoSLAM - A Policy-Driven Middleware for Automated SLA Establishment in SOA Environments.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011
Cloud Broker: Helping You Buy Better.
Proceedings of the Web Information System Engineering - WISE 2011, 2011

An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information.
Proceedings of the UAI 2011, 2011

Merging Belief Bases by Negotiation.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Real time route guidance with correlated link cost.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

A Flexible Policy Framework for the QoS Differentiated Provisioning of Services.
Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

On topic selection strategies in multi-agent naming game.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Efficient penalty scoring functions for group decision-making with TCP-nets.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Majority-rule-based preference aggregation on multi-attribute domains with CP-nets.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Efficient heuristic approach to dominance testing in CP-nets.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Efficient Procedure for Collective Decision-making with CP-nets.
Proceedings of the ECAI 2010, 2010

Policy-Based Management of QoS in Service Aggregations.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Theoretic study of distributed graph planning.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Searching for fair joint gains in agent-based negotiation.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
An Argumentation Framework Based on Conditional Priorities.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Social Network Profile and Policy.
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Framework for Open, Distributed and Self-Managed Social Platforms.
Proceedings of the Pervasive Collaborative Networks, 2008

Decentralized Co-allocation of Interrelated Resources in Dynamic Environments.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

2007
Negotiating flexible agreements by combining distributive and integrative negotiation.
Intell. Decis. Technol., 2007

Searching for joint gains in automated negotiations based on multi-criteria decision making theory.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
A Syntax-based Approach to Reasoning about Action and Belief Update.
J. Log. Comput., 2006

A Component-Based Approach to Automated Web Service Composition.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Conversation-Based Specification and Composition of Agent Services.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2005
Reasoning about Action: An Argumentation - Theoretic Approach.
J. Artif. Intell. Res., 2005

Semantics for a theory of defeasible reasoning.
Ann. Math. Artif. Intell., 2005

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs.
Proceedings of the Proceedings, 2005

2004
A task-oriented agent-based mechanism for mathematical assistant systems.
Web Intell. Agent Syst., 2004

Assertion-level Proof Representation with Under-Specification.
Electron. Notes Theor. Comput. Sci., 2004

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

Contextualized Abstraction for Assertion-Level Theorem Proving.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
A Syntax-Based Approach to Reasoning about Actions and Events.
Proceedings of the Logic for Programming, 2003

Assertion Application in Theorem Proving and Proof Planning.
Proceedings of the IJCAI-03, 2003

A task-oriented agent-based mechanism for theorem proving.
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

2002
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach.
Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

2001
Encoding Solutions of the Frame Problem in Dynamic Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Solving the Qualification Problem.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

1999
Semantics for Pollock's Defeasible Reasoning.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999


  Loading...