Professor Ghose is Director of the UOW Decision Systems Laboratory (DSL), a large cross-faculty research group that explores the development and use of intelligent agents, intelligent software engineering and advanced information systems techniques. Aditya was previously with the Beckman Institute of the University of Illinois, the University of Tokyo and Simon Fraser University, Vancouver, Canada. He has authored over 75 papers and book chapters and is best known for his research in knowledge representation, agent programming, constraint programming and intelligent software engineering. For further information refer to Professor Ghose's faculty page or home page.

Conference Papers

• M. M. Bhuiyan, M. M. Islam, A. Krishna, and A. Ghose (2006) Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams
• A. Dasgupta, A. Krishna, and A. Ghose (2006) Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs
• A. Ghose and Q. Lin (2006) Viewpoints Merging via Incrementally Elicited Ranked Structures
• Y. Guan, A. Ghose, and Z. Lu (2006) HCLP Based Service Composition
• Y. Guan, A. Ghose, and Z. Lu (2006) Using constraint hierarchies to support QoS-guided service composition
• A. Krishna, Y. Guan, and A. Ghose (2006) Co-evolution of i* Models and 3APL Agents
• Z. Lu, A. Ghose, and P. Hyland (2006) Adopting Default Reasoning in Service Composition Context
• Z. Lu, A. Ghose, P. Hyland, and Y. Guan (2006) Using Assumptions in Service Composition Context
• Z. Lu, S. Li, A. Ghose, and P. Hyland (2006) Extending Semantic Web Service Description by Service Assumption
• Y. Guan and A. Ghose (2005) Executable specifications for agent oriented conceptual modelling
• P. Harvey, C. F. Chang, and A. Ghose (2005) Practical Application of Support-Based Distributed Search
• R. B. Brown and A. Ghose (2004) Hierarchic decomposition in agent oriented conceptual modelling
• A. Krishna, A. Ghose, and S. A. Vilkomir (2004) Co-evolution of complementary formal and informal requirements
• S. A. Vilkomir, A. Ghose, and A. Krishna (2004) Combining agent-oriented conceptual modelling with formal methods
• Z. Chen and A. Ghose (2003) Web agents for requirements consistency management
• P. Harvey and A. Ghose (2003) Reducing redundancy in the hypertree decomposition scheme
• A. Ghose (2000) Formal tools for managing inconsistency and change in RE

Journal Articles

• A. K. Ghose, P. O. Hadjinian, A. Sattar, J. You, and R. Goebel (2004) Iterated belief change