Skip to Content

Conference Papers

2008

  • X. Zhao, C. Liu, W. Sadiq and M. Kowalkiewicz, Process View Derivation and Composition in a Dynamic Collaboration Environment, Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS 2008), pp. 82-99, November 2008, Monterrey, Mexico. Lecture Notes in Computer Science, Vol. 5331 Springer.
  • J. Chen and Y. Yang, Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems, Proceedings of 30th International Conference on Software Engineering (ICSE2008), pages 141-150, Leipzig, Germany, May 2008.
  • A. Colman, M. Tran, and J. Han. An Adaptive Architecture for Context-Aware Interaction in Pervasive Applications. In Proceedings of Workshop on ContextAware Pervasive Communities: Infrastructures, Services and Applications (CAPC 2008) - Proceedings of Pervasive 2008 Workshops, pages 237-244, May 2008, Sydney, Australia. pp. 237-244.
  • E. Gomes and R. Kowalczyk, Non-symmetric Preferences in the IPA Market with Reinforcement Learning. The 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), 9-12 December 2008, Sydney, Australia. IEEE Computer Society Press (accepted on 4/9/08)

  • E. Gomes and R. Kowalczyk, Individual and Social Behaviour in the IPA Market with RL. The 19th Brazilian Symposium on Artificial Intelligence (SBIA'2008), 26-30 October 2008, Salvador, Bahia, Brazil.
  • L. Grunske, Specification patterns for probabilistic quality properties. 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. ACM 2008, ISBN 978-1-60558-079-1, 31-40
  • L. Grunske and J. Han. Comparative Study into Architecture-Based Safety Evaluation Methodologies using the AADL Error Annex and Failure Propagation Models. In Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), 10 pages, to appear, Nanjing, China, December 2008. IEEE Computer Society Press.
  • J. Han and A. Colman, The Four Major Challenges of Engineering Adaptive Software Architectures. In Proceedings of 31st Annual International Computer Software and Applications Conference (The First IEEE International Workshop on Software Engineering for Adaptive Software Systems (SEASS 2007)), Vol. 2, pages 565-572, Beijing, July 2008. IEEE Computer Society Press. (Invited keynote)
  • Q. He, J. Yan, H. Jin, Y. Yang, Adaptation of Web Service Composition based on Workflow Patterns. Proc. 6th International Conference on Service Oriented Computing (ICSoC08), Sydney, Australia, Dec. 2008 (accepted on Sept. 16, 2008).
  • Q. He, J. Yan, Y. Yang, R. Kowalczyk and H. Jin, Chord4S: A P2P-based Decentralised Service Discovery Approach, Proceedings of IEEE International Conference on Services Computing (SCC2008), pages 221-228, Honolulu, Hawaii, USA, July 2008.
  • H. Huang, C. LIU, and X. Zhou, Computing Relaxed Answers on RDF Databases, to appear in Proceedings of the 9th International Conference on Web Information Systems Engineering (WISE 2008), September 2008, Auckland, New Zealand.
  • K. Khan and J. Han. Specifying Security Goals of Component-Based Systems: An End-User Perspective. In Proceedings of the 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS’08), pages 101-109, Madrid, Spain, February 2008. IEEE Computer Society Press. 
  • J. Li, C. LIU, J. Yu and R. Zhou, Efficient Top-k Search across Heterogeneous XML Data Sources, Proceedings of the 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), pp. 314-329, 19-21 March 08, New Delhi, India. Lecture Notes in Computer Science, Vol. 4947, Springer.

  • J. Li, C. LIU, J. Yu, J. Liu, G. Wang and C. Yang, Computing Structural Similarity of Source XML Schemas against Domain XML Schema, Proceedings of the 19th  Australasian Database Conference (ADC'08), pp.155-164, January, 2008, Wollongong, Australia.
  • X. Liu, J. Chen, K. Liu and Y. Yang, Forecasting Duration Intervals of Scientific Workflow Activities based on Time-Series Patterns, Proceedings of 4th IEEE International Conference on e-Science (e-Science07), Indianapolis, USA, Dec. 2008 (accepted on Oct. 9, 2008).
  • X. Liu, J. Chen and Y. Yang, A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows, Proceedings 6th International Conference on Business Process Management (BPM2008), Lecture Notes in Computer Science, Vol. 5240, pages 180-195, Sept. 2008 Milan, Italy.
  • J. Mitchell-Wong, S.K. Goh, M. Baruwal Chhetri, R. Kowalczyk and B.Q. Vo, Framework for Open, Distributed and Self-Managed Social Platforms. The 9th IFIP Working Conference on Virtual Enterprises (PRO-VE'08), Poznan, Poland. 8 - 10 September 2008. In Pervasive Collaborative Networks, Springer Series on Cognitive Science, Volume 283/2008, pp. 361-368.

  • J. Mitchell-Wong, R. Kowalczyk, B.Q. Vo. Social Network Profile and Policy. The IEEE Workshop on Policies for Distributed Systems and Networks (Policy’2008), 2-4 June 2008, Palisades, NY, USA, pp. 207-210
  • K. Nguyen, J. Cao and C. LIU, Semantic-Enabled Organisation of Web Services, Proceedings of the 10th Asia-Pacific Web Conference (APWeb’08), pp. 511-521, April 2008, Shengyang, China. Lecture Notes in Computer Science, Vol. 4976, Springer.
  • T. Phan, J. Han, J.-G. Schneider and K. Wilson. Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), 17 pages, to appear, Sydney, Australia, December 2008. Springer.
  • T. Phan, J. Han, J.-G. Schneider, T. Ebringer, and T. Rogers. A Survey of Policy-based Management Approaches for Service Oriented Systems. In Proceedings of the 2008 Australian Software Engineering Conference (ASWEC'08), Perth, Australia, March 2008, pages 392-401. IEEE Computer Society Press.
  • H. Qiang, J. Yan, Y. Yang, R. Kowalczyk, H. Jin. Chord4S: A P2P-based Decentralised Service Discovery Approach. The 2008 IEEE International Conference on Services Computing (SCC 2008), July 8-11, 2008, Honolulu, Hawaii, USA.
  • J. Richter and R. Kowalczyk, New Mechanisms for Mixing Time- and Behaviour-Dependent Tactics in Negotiation Strategies. The 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), 9-12 December 2008, Sydney, Australia. IEEE Computer Society Press (accepted on 4/9/08)
  • N. Saeed, Y. Yang, S. Sinnappan, Media Richness and User Acceptance of Second Life. Proceedings of ascilite's 25th annual conference (ascilite08), Melbourne, Australia, Dec. 2008 (accepted on Sept. 25, 2008).
  • N. Saeed and Y. Yang, Using Learning Styles and Preferences to Incorporate Emerging E-learning Tools in Teaching, Proceedings of 8th IEEE International Conference on Advanced Learning Technologies (ICALT2008), pages 967-971, Santander, Cantabria, Spain, July 2008.
  • N. Saeed and Y. Yang, Incorporating Blogs, Social Bookmarks, and Podcasts into Unit Teaching, Proceedings of 10th Australasian Computing Education Conference (ACE2008), pages 113-118, Wollongong, Australia, Jan. 2008.

  • T. Schlegel, R. Kowalczyk and B.Q. Vo. Decentralized Co-Allocation of Interrelated Resources in Dynamic Environments. The 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), 9-12 December 2008, Sydney, Australia. IEEE Computer Society Press (accepted on 4/9/08)
  • A. Tang, M. H. Tran, J. Han, and H. van Vliet. Design Reasoning Improves Software Design Quality. In Proceedings of the 4th International Conference on the Quality of Software Architectures (QoSA 2008), 15 pages, to appear, Karlsruhe, Germany, October 2008. Springer

  • J. Tian, J. Liu, W. Pan, M. Vincent and C. LIU, Performance Analysis and Improvement for Transformation Operators in XML Data Integration, Proceedings of the 10th Asia-Pacific Web Conference (APWeb’08), pp. 214-226, April 2008, Shengyang, China. Lecture Notes in Computer Science, Vol. 4976, Springer.
  • A. Vorobiev, J. Han, and N. Bekmamedova. An Ontology Framework for Managing Security Attacks and Defences in Component Based Software Systems. In Proceedings of the 2008 Australian Software Engineering Conference (ASWEC'08), Perth, Australia, March 2008, pages 552-561. IEEE Computer Society Press.

  • J. Wang, J. Yu, C. LIU and R. Zhou, Transforming tree patterns under DTD constraints for efficient query containment test, to appear in Proceedings of the 19th International Conference on Database and Expert Systems Applications (DEXA 2008), September 2008, Turin, Italy.

  • J. Wang, J. Yu, and C. LIU, Contained XPATH Query Rewritings Using Views Revisited, to appear in Proceedings of the 9th International Conference on Web Information Systems Engineering (WISE 2008), September 2008, Auckland, New Zealand.
  • J. Xu, C. LIU and X. Zhao, Resource Allocation vs. Business Process Improvement: How They Impact on Each Other, to appear in Proceedings of the 6th International Conference on Business Process Management (BPM 2008), September 2008, Milan, Italy.
  • C. Yang, C. LIU, J. Li, J. Yu and J. Wang, Semantics based Buffer Reduction for Queries over XML Data Streams, Proceedings of the 19th  Australasian Database Conference (ADC'08), pp.145-153, January, 2008, Wollongong, Australia.
  • H. Zha, Y. Yang, J. Wang and L. Wen, Transforming XPDL to Petri Nets, Proceedings of the Workshop on Collaborative Business Processes (CBP 2007), Lecture Notes in Computer Science, Vol. 4928, pages 197-207, Springer-Verlag, 2008.

  • R. Zhou, C. LIU, J. Li, and J. Wang, Filtering Techniques for Rewriting XPath Queries Using Views, to appear in Proceedings of the 9th International Conference on Web Information Systems Engineering (WISE 2008), September 2008, Auckland, New Zealand.
  • R. Zhou, C. LIU and J. Li, Transformation from Relational Schema to XML Schema, Proceedings of the 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), pp. 4-18,19-21 March 08, New Delhi, India. Lecture Notes in Computer Science, Vol. 4947, Springer.


2007

  • J. Brzostowski, R. Kowalczyk. On fuzzy projection-based utility decomposition in compound multi-agent negotiations. The World Congress of the International Fuzzy Systems Association (IFSA’2007), 18-21 June 2007, Cancun, Mexico, pp. 757-766

  • J. Brzostowski, R. Kowalczyk. Negotiation partners selection mechanism based on context-dependent similarity relations. The Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’07), May 14-18, 2007, Honolulu, Hawai'I, pp. 1037-1039.

  • J. Brzostowski, M. B. Chhetri, R. Kowalczyk. Three decision-making mechanisms to facilitate Negotiation of Service Level Agreements for Web Service Compositions, In: Proc. Joint Conference of the INFORMS Section on Group Decision and Negotiation, the EURO Working Group on Decision and Negotiation Support, and the EURO Working Group on Decision Support Systems, GDN ‘07, Montreal, Canada

  • J. Chen and Y. Yang, Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems, Proc. of 30th International Conference on Software Engineering (ICSE2008), Leipzig, Germany, May 2008.
  • A. Colman, L.D. Pham, J. Han and J.-G. Schneider. Towards Matching Dynamic Business-Level Protocols in Adaptive Service Compositions. In Proceedings of Advances in Semantics for Web Services (semantics4ws 2007), September 2007, Brisbane, Australia, LNCS 4928, pp. 502–507, Springer.

  • M.B. Chhetri, I. Mueller, S.K. Goh, R. Kowalczyk (2007). ASAPM – An Agent-based Framework for Adaptive Management of Composite Service Lifecycle. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007) Workshops, 2-5 November 2007, Silicon Valley, pp. 444-448

  • M., B. Chhetri, S. Goh, J. Lin, J. Brzotowski, R., Kowalczyk (2007). Agent-based Negotiation of Service Level Agreements for Web Service Compositions, In: Proc. Joint Conference of the INFORMS Section on Group Decision and Negotiation, the EURO Working Group on Decision and Negotiation Support, and the EURO Working Group on Decision Support Systems, GDN’07, Montreal, Canada
  • A. Colman, Exogenous management in autonomic service compositions. In Proceedings of the Third International Conference on Autonomic and Autonomous Systems 2007 (ICAS 2007), Athens, Greece, IEEE Computer Society Press. Received Best Paper Award
  • R. Colvin, L. Grunske, K.Winter, Probabilistic Timed Behavior Trees, In Proceedings. of Sixth International Conference on Integrated Formal Methods, IFM 2007, Oxford, UK, 2- 6  July, volume 4591 of LNCS, Springer 2007. pp. 156-175.
  • S.K. Goh, M.B. Chhetri, R. Kowalczyk (2007). JADE-FSM-Engine: A Deployment Tool for Flexible Agent Behaviours in JADE. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), 2-5 November 2007, Silicon Valley, USA, pp. 524-527
  • E. Gomes, R. Kowalczyk. Learning the IPA Market with Individual and Social Rewards. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), 2-5 November 2007, Silicon Valley, USA, pp. 328-334

  • E. Gomes and R. Kowalczyk. Learning in Market-based Resource Allocation. The 6th IEEE International Conference on Computer and Information Science (ICIS 2007), July 11-13, 2007, Melbourne, Australia, pp. 475-482

  • E. Gomes and R. Kowalczyk. Reinforcement Learning with Utility-aware Agents for Market-based Resource Allocation. The Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’07), May 14-18, 2007, Honolulu, Hawai'I, pp. 682-684.

  • L. Grunske, K. Winter, R Colvin, Probabilistic Model-Checking Support for FMEA, Fourth International Conference on the Quantitative Evaluation of Systems, 2007. QEST 2007. ISBN: 978-0-7695-2883-0, IEEE Computer Society, pp. 119-128.

  • L. Grunske, K. Winter, R Colvin, Timed Behavior Trees and their Application to Verifying Real-time Systems. In Proc. of 18th Australian Conference on Software Engineering (ASWEC 2007), 2007, pp. 211-222.

  • J. Han, and A. Colman, 'The Four Major Challenges of Engineering Adaptive Software Architectures' Keynote paper for the 1st IEEE International Workshop on Software Engineering for Adaptive Software Systems (SEASS 2007), Beijing, China. Proceedings of COMPSAC 2007 - Vol. 2:565 - 572
  • J. Han, Y. Jin, Z. Li, T. Phan and J. Yu: Guiding the Service Composition Process with Temporal Business Rules. In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), pages 735-742, July 2007, Salt Lake City, USA. IEEE Computer Society.
  • Q. He, J. Yan, R. Kowalczyk, H. Jin, Y. Yang (2007). An Agent-based Framework for Service Level Agreement Management. The 11th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2007), April 26-28, 2007, Melbourne, Australia, pp. 412-417.

  • Q. He, J. Yan, Y. Yang, R. Kowalczyk, H. Jin (2007). Towards Collaborative Service Level Agreement Negotiation. The 4th International Conference on Grid Services Engineering and Management (GSEM’07), September 24-2, 2007, Leipzig, Germany, pp. 123-134.

  • L. Li , C. LIU and J. Wang, Deriving Transactional Properties of Composite Web Services, Proceedings of IEEE International Conference on Web Services (ICWS 2007), pp. 631-638, July 2007, Salt Lake City, USA.

  • L. Li and Y. Yang, Ontological Approach for E-Services, Proc. of the 11th International Conference on CSCW in Design, pages 623-628, Melbourne, Australia, Apr. 2007.
  • C. LIU, Q. Li, Y. Zhang, M. Indulska and X. Zhao, Introduction to the First Workshop on Collaborative Business Processes (CBP 2007), Proceedings of the International Workshops on Business Process Management, pp.181-184, September 2007, Brisbane, Australia. Lecture Notes in Computer Science, Vol. 4928, Springer.
  • M. Momotko, M. Gajewski, A. Ludwig, R. Kowalczyk, M. Kowalkiewicz, J.Y. Zhang (2007). Towards Adaptive Management of QoS-aware Service Compositions - Execution Strategies. The 4th International Conference on Grid Services Engineering and Management (GSEM’07), September 24-2, 2007, Leipzig, Germany, pp. 110-122.
  • X. Nguyen, R. Kowalczyk (2007). On Solving Distributed Fuzzy Constraint Satisfaction Problems with Agents. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), 2-5 November 2007, Silicon Valley, USA, pp. 387-390

  • X.T. Nguyen, R. Kowalczyk (2007). WS2JADE: Integrating Web Service with Jade Agents. In J. Huang, R. Kowalczyk, Z. Maamar, D. Martin, I. Mueller, S. Stoutenburg and K. Sycara (2007) Eds. Service-Oriented Computing: Agents, Semantics, and Engineering. Proceedings SOCASE 2007. Lecture Notes in Computer Science, LNCS 4504, Springer-Verlag Berlin Heidelberg, pp. 147- 162.
  • L. D. Pham, A. Colman and J. Schneider (2007) 'Dynamic Protocol Aggregation and Adaptation for Service-Oriented Computing'. In Proceedings of the Australian Software Engineering Conference 2007 (ASWEC'07), Melbourne, Australia, IEEE Computer Society Press.
  • T. Phan, J. Han, J.-G. Schneider, T. Ebringer and T. Rogers. Policy-Based Service Registration and Discovery. In Proceedings of the 2007 International Conference on Cooperative Information Systems (CoopIS 2007) (Lecture Notes in Computer Science, Vol. 4803), pages 417-426, Vilamoura, Portugal, November, 2007. Springer.

  • Z. Raeesy, J. Brzostowski, R. Kowalczyk. Towards a Fuzzy Linguistic Model for Human-Like Multi-Agent Negotiation. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), 2-5 November 2007, Silicon Valley, USA, pp. 515-519
  • N. Saeed and Y. Yang, Incorporating Blogs, Social Bookmarks, and Podcasts into Unit Teaching, Proc. of 10th Australasian Computing Education Conference (ACE2008), Wollongong, Australia, Jan. 2008.
  • T. Schlegel, R. Kowalczyk (2007). Towards Self-organising Agent-based Resource Allocation in a Multi-Server Environment. The Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’07), May 14-18, 2007, Honolulu, Hawaii, pp. 74-81.
  • M. H. Tran, Y. Yang and G. K Raikundalia, SWIM: An Alternative Interface for MSN Messenger, Proc. of 8th Australasian User Interface Conference (AUIC 2007), Australian Computer Science Communications, Vol. 29, No. 3, pages 55-62, Ballarat, Australia, Jan./Feb. 2007.
  • Q. B. Vo and Lin Padgham. 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) ACM 2007, pp. 496-503.
  • J. Mitchell-Wong, R. Kowalczyk, A. Roshelova, B. Joy, H. Tsai. OpenSocial: From Social Networks to Social Ecosystems. The 2007 Inaugural IEEE International Conference on Digital Ecosystems and Technologies (IEEE-DEST’07), Cairns, Australia, 21-23 February 2007, pp. 361-366
  • L. Ruan, Y. Wang, Q. Wang, M. Li, Y. Yang, L. Xie, D. Liu, J. Xiao, L. Zhang, H. Zeng and S. Zhang, Empirical Study on Benchmarking Software Development Tasks, Proc. of the International Conference on Software Process, Lecture Notes in Computer Science, Vol. 4470, pages 221-232, Minneapolis, USA, May 2007.
  • J. Wang, J. Yu and C. LIU, On Tree Pattern Query Rewriting Using Views, Proceedings of 8th International Conference on Web Information Systems Engineering (WISE’07), pp.1-12, December 2007, Nancy, France. Lecture Notes in Computer Science, Vol. 4831, Springer  (Yahiko Kambayashi best paper award).
  • Q. Wang, L. Gou, N. Jiang, M. Che, R. Zhang, Y. Yang and M. Li, An Empirical Study on Establishing Quantitative Management Model for Testing Process, Proc. of the International Conference on Software Process, Lecture Notes in Computer Science, Vol. 4470, pages 233-245, Minneapolis, USA, May 2007.

  • Jun Yan, Ryszard Kowalczyk, Jian Lin, Mohan B. Chhetri, Suk K. Goh and Jianying Zhang. An Agent Negotiation Approach for Establishment of Service Level Agreement. CSCW in Design (CSCWD2006), LNCS, Springer Volume 4402/, pp. 459-468
  • Q. Yang, M. Li, Q. Wang, G. Yang, J. Zhai, J. Li, L. Hou and Y. Yang, An Algebraic Approach for Managing Inconsistencies in Software Processes, Proc. of the International Conference on Software Process, Lecture Notes in Computer Science, Vol. 4470, pages 121-133, Minneapolis, USA, May 2007.
  • Y. Yang, K. Liu, J. Chen, J. Lignier and H. Jin, Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G, Proc. of 3rd International Conference on e-Science and Grid Computing (e-Science07), pages 51-58, Bangalore, India, Dec. 2007.
  • J. Yu and J. Han. Synthesis of Service Composition Process Models from Temporal Business Rules. In Proceedings of the First International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC 2007), 10 pages, July 2007, Barcelona, Spain.
  • H. Zha, Y. Yang, J. Wang and L. Wen, Transforming XPDL to Petri Nets, Proc. of the Workshop on Collaborative Business Processes (CBP 2007), Brisbane, Australia, Sept. 2007.
  • J.F. Zhang, X. Nguyen, R. Kowalczyk. A Graph-based Multi-agent Planning Algorithm with QoS Guarantees. The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2007), 2-5 November 2007, Silicon Valley, USA, pp. 273-276

  • J.F. Zhang, X.T. Nguyen, R. Kowalczyk. Graph based Multi-agent Replanning Algorithm. The Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’07), May 14-18, 2007, Honolulu, Hawai'i (acceptance rate 22%), pp. 793-780.
  • X. Zhao and C. LIU, Version Management in the Business Process Change Context, Proceedings of the 5th International Conference on Business Process Management (BPM 2007), pp.198-213, Sept. 2007, Brisbane, Australia. Lecture Notes in Computer Science, Vol. 4714, Springer.

  • X. Zhao, C. LIU, Y. Yang and W. Sadiq, Handling Instance Correspondence in Inter-Organisational Workflows, Proc. of 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), June 2007, Trondheim, Norway. Lecture Notes in Computer Science, Vol. 4495, Springer.

  • X. Zhao, C. Liu, Y. Yang and W. Sadiq, Handling Instance Correspondence in Inter-Organisational Workflows, The 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), Lecture Notes in Computer Science, Vol. 4495, pages 51-65, Trondheim, Norway, June 2007.



2006

  • M. Ali Babar, A. Tang, I. Gorton and J. Han. Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. In Proceedings of the Sixth International Conference on Quality Software (QSIC2006), Beijing, China, October 2006, pages 201-208. IEEE Computer Society.
  • J. Brzostowski and R. Kowalczyk. Adaptive negotiation with on-line prediction of opponent behaviour in agent- based negotiations. The 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’06), 18-22 December 2006, Honk Kong, pp. 263-269.

  • J. Brzostowski and R. Kowalczyk (2006). Predicting partner's behaviour in agent negotiation. The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2006), Hakodate, Japan in May 2006. pp. 355-361.

  • J. Chen and Y. Yang, Dynamic Setting, Verification and Adjustment of Upper Bound Constraints in Grid Workflow Systems, Proc. of 2nd International Conference on Semantics, Knowledge and Grid (SKG2006), IEEE digital centre, Guilin, China, Nov. 2006.

  • J. Chen and Y. Yang, Assigning Local Fixed-time Constraints in Grid Workflow Systems, Proc. of International Workshop on Workflow Systems in Grid Environments (WSGE06) in conjunction with the 5th International Conference on Grid and Cooperative Computing (GCC2006), 227-234, Changsha, China, Oct. 2006.

  • J. Chen and Y. Yang, Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems, Business Process Management, Lecture Notes in Computer Science, Vol. 4102, pages 445-450, Springer-Verlag, 2006.

  • J. Chen and Y. Yang, Key Research Issues in Grid Workflow Verification and Validation, Proc. of 4th Australasian Symposium on Grid Computing and e-Research (AusGrid 2006), pp97-104, Hobart, Australia, Jan. 2006.
  • M.B. Chhetri, J. Lin, S. Goh, J. Yan, J.Y. Zhang, R. Kowalczyk (2006), A Coordinated Architecture for the Agent-based Service Level Agreement Negotiation of Web Service Composition. In the Proceedings of the Australian Software Engineering Conference (ASWEC 2006), Sydney, Australia, April 18-21, 2006, pp. 90-99.
  • A. Colman, L. D. Pham J. Han and J. Schneider (2006) 'Adaptive application-specific middleware'. In Proceedings of the 1st Workshop on Middleware For Service Oriented Computing (MW4SOC 2006), November 2006, Melbourne, Australia, ACM International Conference Proceeding Series, vol. 184, ACM Press, 6-11.
  • L. Grunske, Identifying "Good" Architectural Design Alternatives with Multi-Objective Optimization Strategies, International Conference on Software Engineering (ICSE), Emerging Results, Shanghai, ACM 1-59593-085-X/06/0005, 20-28 May 2006, pp. 849-852.

  • L. Grunske, Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM, In proceedings of the conference Quality of Software Architectures (QoSA 2006), volume 4214 of LNCS, Springer, 2006, pp 199–213.
  • J. Han, R. Kowalczyk and K.M. Khan. Security-Oriented Service Composition and Evolution. In Proceedings of the 2006 Asia-Pacific Software Engineering Conference (APSEC’06), Bangalore, India, December 2006, 8 pages. IEEE Computer Society Press

  • J. Han, Y. Han, Y. Jin, J. Wang and J. Yu. Personalized Active Service Spaces for End-User Service Composition. In Proceedings of the 2006 IEEE International Conference on Services Computing (SCC’06), Chicago, USA, September 2006, pages 198-205. IEEE Computer Society Press. (Selected as a best paper for extension and inclusion in the International Journal of Web Service Research.).
  • Jun Han, Khaled M. Khan and Ryszard Kowalczyk (2006). Security-Oriented Service Composition and Evolution. The 13th Asia Pacific Software Engineering Conference (APSEC’06), 6-8 December 2006, Bangalore, India, pp. 71-78.
  • Y. Jin, A. Tang and J. Han. A Research Report on Systems Performance and Scalability: Performance Modelling and Simulation of Meter Data Systems. Citipower and Powercor Australia, Melbourne, Australia, May 2006, 54 pages.
  • K. Khan and J. Han. Assessing Security Properties of Software Components: A Software Engineer's Perspective. In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC'06), Sydney, Australia, April 2006, pages 199-208. IEEE Computer Society Press.

  • L. Li, B. Wu and Y. Yang, Implementation of Agent-based Ontology Mapping and Integration, Proc. of IEEE International Conference on e-Business Engineering (ICEBE2006), pp208-215, Shanghai, China, Oct. 2006.

  • L. Li, B. Wu and Y. Yang, Formulating Agent Interaction to Reflect Evolving Ontology, Proc. of 4th International Conference on Active Media Technology (AMT2005), pp268-273, Brisbane, Australia, June 2006.
  • L. Li, Y. Yang and B. Wu, An Agent-based Ontological Approach for Information Reorganisation, The 19th Australian Joint Conference on Artificial Intelligence (AI06), Lecture Notes in Computer Science, Vol. 4304, pages 1096-1100, Springer-Verlag, 2006.
  • Z. Li, Y. Jin and J. Han. A Runtime Monitoring and Validation Framework for Web Service Interactions. In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC'06), Sydney, Australia, April 2006, pages 70-79. IEEE Computer Society Press.
  • C. LIU and J. Li, Designing Quality XML Schemas from E-R Diagrams, Proceedings of WAIM’06. pp. 510-521, June 2006, Hong Kong. Lecture Notes in Computer Science, Vol. 4016, Springer.
  • J. Liu, H. Park, M. Vincent and C. LIU, A Formalization of XML Restructuring Operations, Proceedings of ASWC’06. pp. 126-132. September 2006, Beijing, China. Lecture Notes in Computer Science, Vol. 4185 Springer.
  • M. Momotko, M. Gajewski, A. Ludwig, R. Kowalczyk, M. Kowalkiewicz, J. Zhang. Towards Adaptive Management of QoS-aware Service Compositions - Functional Architecture. The 4th International Conference on Service-Oriented Computing (ICSOC’06), 4-7 December 2006, Chicago, USA. Service-Oriented Computing – ICSOC 2006, Springer Berlin / Heidelberg, Lecture Notes in Computer Science, LNCS 4294/2006, pp. 637-649.
  • I. Mueller, R. Kowalczyk and P. Braun. Towards Agent-based Coalition Formation for Service Composition. The 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’06), 18-22 December 2006, Honk Kong, pp. 73 - 80.
  • X. T. Nguyen, R. Kowalczyk, K. A. Phan. Dynamic Asynchronous Aggregate Search for Solving QoS Compositions of Web Services. The WI-IATW 2006 Workshop at the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’06), 18-22 December 2006, Honk Kong, pp. 142-145.

  • X.T. Nguyen, R. Kowalczyk and M. T. Phan. Modelling and Solving QoS Composition Problem Using DisCSP. 3rd International Conference on Grid Service Engineering and Management (GSEM2006), September 18-21, 2006, Erfurt, Germany, pp. 179-194.

  • X.T. Nguyen, R. Kowalczyk and M.T. Phan. Modelling and Solving QoS Composition Problem Using Fuzzy DisCSP. The 2006 IEEE International Conference on Web Services (ICWS 2006), September 18-22, 2006, Chicago, USA, pp. 55-62.

  • X.T. Nguyen, R. Kowalczyk and J. Han. Using Dynamic Asynchronous Aggregate search for Quality guarantees of multiple Web services Compositions. The 4th International Conference on Service-Oriented Computing (ICSOC’06), 4-7 December 2006, Chicago, USA. Service-Oriented Computing – ICSOC 2006, Springer Berlin / Heidelberg, Lecture Notes in Computer Science, LNCS 4294/2006, pp. 129-140.

  • X.T. Nguyen and R. Kowalczyk. An agent based QoS conflict mediation framework for Web services compositions. The 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’06), 18-22 December 2006, Honk Kong, pp. 522-528.
  • M. H. Tran, Y. Yang and G. K Raikundalia, The Transparent Adaptation Approach to the Development of Awareness Mechanisms for Groupware, Proc. of Australian Software Engineering Conference (ASWEC 2006), pp142-151, Sydney, Australia, April. 2006.

  • M. H. Tran, Y. Yang and G. K Raikundalia, F@: A Framework of Group Awareness in Real-time Distributed Groupware, Advanced Web Technologies and Applications, Lecture Notes in Computer Science, Vol. 3841, pages 461-473, Springer-Verlag, 2006.

  • M. H. Tran, Y. Yang and G. K Raikundalia, Extended Radar View and Modification Director: Awareness Mechanisms for Synchronous Collaborative Authoring, Proc. of 7th Australasian User Interface Conference (AUIC 2006), pp35-42, Hobart, Australia, Jan. 2006.
  • J. Shen, J. Yan and Y. Yang, SwinDeW-S: Extending P2P Workflow Systems for Adaptive Composite Web Services, Proc. of Australian Software Engineering Conference (ASWEC 2006), pp61-69, Sydney, Australia, April. 2006.
  • T. Schlegel, P. Braun and R. Kowalczyk (2006). Towards Autonomous Mobile Agents with Emergent Migration Behaviour. The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2006), Hakodate, Japan in May 2006. pp. 585-592
  • Q. B. Vo and L. Padgham. Conversation-Based Specification and Composition of Agent Services. Proceedings of the Tenth Cooperative Information Agents (CIA-06), Springer-Verlag, Heidelberg, 2006, pp. 168-182.

  • Q. B. Vo and L. Padgham. A Component-Based Approach to Automated Web Service Composition. Proceedings of 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006), IEEE Computer Society, 2006, pp. 657-661.
  • A. Vorobiev and J. Han. Secrobat: Secure and Robust Component-based Architectures. In Proceedings of the 2006 Asia-Pacific Software Engineering Conference (APSEC’06), Bangalore, India, December 2006, 8 pages. IEEE Computer Society Press.

  • A. Vorobiev and J. Han. Security Attack Ontology for Web Services. In Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG’06), Guilin, China, November 2006, paper 42 (6 pages), doi: 10.1109/SKG.2006.85. IEEE Computer Society Press.

  • A. Vorobiev and J. Han. Specifying Dynamic Security Properties of Web Service Based Systems. In Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG’06), Guilin, China, November 2006, paper 34 (6 pages), doi: 10.1109/SKG.2006.99. IEEE Computer Society Press.
  • B. Wu, J.Y. Zhang, M. Chhetri, J. Lin, S.K. Goh, X.T. Nguyen, I. Mueller, E. Gomes, L. Zheng, J. Han, R. Kowalczyk (2006). Adaptive Service Agreement and Process Management. The 2006 IEEE International Conference on Web Services (ICWS 2006), September 18-22, 2006, Chicago, USA, pp. 927-930.

  • B. Wu, L. Li and Y. Yang, Ontological Approach towards e-business Process Automation, Proc. of IEEE International Conference on e-Business Engineering (ICEBE2006), pp154-161, Shanghai, China, Oct. 2006.
  • J. Yan, J. Zhang, J. Lin, M Baruwal-Chhetri, S.K. Goh, R. Kowalczyk. Towards Autonomous Service Level Agreement Negotiation for Adaptive Service Composition. The 10th International Conference on CSCW in Design (CSCWD2006), May 3-5, 2006, Southeast University, Nanjing, China, pp. 757-762.
  • Z. Yang and C. LIU, Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment, Proceedings of IEEE International Conference on Web Services (ICWS 2006). pp. 753-760,September 2006, Chicago, USA.

  • Z. Yang and C. LIU, On the Development of a Multiple-Compensation Mechanism for Business Transactions, Proceedings of WAIM’06. pp. 583-594, June 2006, Hong Kong. Lecture Notes in Computer Science, Vol. 4016, Springer.
  • J. Yu, T.P. Manh, J. Han, Y. Jin, Y. Han, and J. Wang. Pattern Based Property Specification and Verification for Service Composition. In Proceedings of the 7th International Conference on Web Information Systems Engineering (WISE’06) (Lecture Notes in Computer Science, Vol. 4255), Wuhan, China, October 2006, pages 156-168. Springer.
  • J. F. Zhang and R. Kowalczyk. Agent-based Dis-graph Planning Algorithm for Web Service Composition.  The International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC'2006), 28 November - 1 December 2006, Sydney, Australia, pp. 258-265.

  • J. F. Zhang, R. Kowalczyk, B. Wu (2006). Expansion-based Service Workflow Replanning with Limited Change. 3rd International Conference on Grid Service Engineering and Management (GSEM2006), September 18-21, 2006, Erfurt, Germany, pp. 163-178.
  • X. Zhao, C. LIU, and Y. Yang, Specifying Instance Correspondence in Collaborative Business Processes. Proceedings of OTM Workshops (1) 2006: 1-2, the 14th International Conference on Cooperative Information Systems (CoopIS’06), Oct 29 - Nov 3, 2006, Montpellier, France. Lecture Notes in Computer Science, Vol. 4277 Springer.

  • X. Zhao and C. LIU, Tracking over Collaborative Business Processes, Proceedings of the 4th International Conference on Business Process Management (BPM 2006), pp. 33-48, September 2006, Vienna, Austria. Lecture Notes in Computer Science, Vol. 4102, Springer.

  • X. Zhao and C. LIU, Supporting Relative Workflows with Web Services, Proceedings of APWeb'06, pp. 680-691, January, 2006, Harbin, China, Lecture Notes in Computer Science, Vol. 3841, Springer 2006.

  • X. Zhao, C. LIU and Y. Yang, Supporting Virtual Organisation Alliances with Relative Workflows,Proceedings of APCCM 2006, pp. 115-124, January 2006, Hobart, Australia.
  • X. Zhao, C. Liu, and Y. Yang, Specifying Instance Correspondence in Collaborative Business Processes, Cooperative Information Systems, Lecture Notes in Computer Science, Vol. 4277, pages 1-2, Springer-Verlag, 2006.

  • X. Zhao, C. Liu and Y. Yang, Supporting Virtual Organisation Alliances with Relative Workflows, Proc. of 3rd Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), pp115-124, Hobart, Australia, Jan. 2006.


2005

  • C. Benzmüller and Q. B. Vo. Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), AAAI Press / The MIT Press, Pittsburgh, Pennsylvania, USA, 2005, pp. 516-522.
  • P. Braun, D. Trinh, and R. Kowalczyk. Integrating a New Mobility Service into the Jade Agent Toolkit. The 2nd International Workshop on Mobility Aware Technologies and Applications (MATA2005), Montréal, Canada, October 17-19, 2005. A. Karmouch, S. Pierre (eds.) Lecture Notes in Computer Science 3744, Springer-Verlag, 2005, pp. 364-358.

  • P. Braun, I. Mueller, S. Kern, R. Kowalczyk. Increasing the Migration Efficiency of Java-based Mobile Agents. The 2005 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, Compiegne (France), September 2005. IEEE Computer Society Press, 2005, pp. 508-511.

  •  P. Braun, R. Kowalczyk, I. Mueller, S. Kern. Attacking the Migration Bottleneck of Mobile Agents. The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), Utrecht, The Netherlands, 25-29 July 2005, pp. 1239-1240
  • J. Brzostowski and R. Kowalczyk. Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning. 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005), Edinburgh, Scotland, pp. 69-76

  • J. Brzostowski and R. Kowalczyk. On Possibilistic Case-based Reasoning for Selecting Partners for Multi-Attribute Agent Negotiation. The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), Utrecht, The Netherlands, 25-29 July 2005, pp. 273-279

  • J. Brzostowski and R. Kowalczyk. Modelling partner's behaviour in agent negotiation. The 18th Joint Australian Conference on Artificial Intelligence (AI’2005), Sydney, Australia, in Lecture Notes in Computer Science, LNCS, Springer-Verlag, pp. 653-663.

  • J. Chen and Y. Yang, A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems, Proc. of 12th Asia Pacific Software Engineering Conf. (APSEC05), pp299-306, Taiwan, Dec. 2005.

  • J. Chen and Y. Yang, Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems, Proc. of 1st IEEE International Conference on e-Science and Grid Computing (e-Science05), pp124-131, Melbourne, Australia, Dec. 2005.

  • J. Chen and Y. Yang, Flexible Temporal Consistency for Fixed-time Constraint Verification in Grid Workflow Systems. Grid and Cooperative Computing, Lecture Notes in Computer Science, Springer-Verlag.

  • J. Chen and Y. Yang, An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems (pdf - 425K). Grid Service Engineering and Management, Lecture Notes in Informatics, P-69, pages 296-310, Springer-Verlag, 2005.

  • J. Chen and Y. Yang, Temporal Dependency for Dynamic Verification of Fixed-date Constraints in Grid Workflow Systems Advanced Web Technologies and Applications, Lecture Notes in Computer Science, Vol. 3399, pages 820-831, Springer-Verlag, 2005.

  • J. Chen and Y. Yang, A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems, Proc. of 12th Asia Pacific Software Engineering Conf. (APSEC05), Taiwan, Dec. 2005.

  • J. Chen and Y. Yang, Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems, Proc. of 1st International Conference on e-Science and Grid Computing (e-Science05), Melbourne, Australia, Dec. 2005.
  • A. Colman and J. Han "An organisational approach to building adaptive service-oriented systems," Proceeding of First International Workshop on Engineering Service Compositions,WESC'05, in IBM Research Report RC23821, Amsterdam, The Netherlands, 2005.

  • A. Colman and J. Han "Coordination Systems in Role-based Adaptive Software," Proceedings of the 7th International Conference on Coordination Models and Languages (COORD 2005), LNCS 3454, Namur, Belgium, 2005. (Selected as one of the four best papers (top 4%) for extension and inclusion in the journal: Science of Computer Programming.)

  • A. Colman and J. Han "On the autonomy of software entities and modes of organisation," Proceedings of the 1st International Workshop on Coordination and Organisation (CoOrg 2005) , Namur, Belgium, 2005.

  • A. Colman and J. Han "Operational management contracts for adaptive software organisation," Proceedings of the Australian Software Engineering Conference (ASWEC 2005), Brisbane, Australia, 2005.

  • A. Colman and J. Han "Organizational abstractions for adaptive systems," Proceedings of the 38th Hawaii International Conference of System Sciences, Hawaii, USA, 2005.

  • A. Colman and J. Han. Organizational Roles and Players. In Proceedings of The American Association for Artificial Intelligence 2005 Fall Symposium on Roles, An Interdisciplinary Perspective, November 2005, Arlington, Virginia, USA, pages 55-62. AAAI. (Selected as a best paper for extension and inclusion in the journal: Applied Ontology.)

  • A. Colman and J. Han. Using Associations Aspects to Implement Organisational Contracts. In Proceedings of the 1st International Workshop on Coordination and Organisation (CoOrg 2005), 15 pages, Namur, Belgium, April 2005.
  • M. N. Dewan, B. Wu and Y. Yang, A Formal Approach to Derive Business Process from Value Process in E-Business Modelling 6th International We-B (Working For E-Business) Conference (We-B2005), Melbourne, Australia, Nov. 2005.

  • M. N. Dewan, B. Wu and Y. Yang, Value Process and Business Process in E-Business Modelling, Proc. 5th IFIP conference on e-Commerce, e-Business, and e-Government (I3E2005), Springer, Poznan, Poland, Oct. 2005.
  • L.Grunske, Y. Papadopoulos, Evolutionary Algorithms For Safety-Costs Trade-Off In Control System Design, INCOM 2006,12th IFAC Symposium on Information Control in Manufacturing, pp. 249-254.

  • L. Grunske, B. Kaiser, Y. Papadopoulos, Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations, Eighth International ACM SIGSOFT Symposium on Component-based Software Engineering (CBSE 2005), St Luis, Missouri, May 14-15, Lecture Notes in Computer Science Volume 3489, Springer 2005. pp. 33-48.

  • L. Grunske, Formalizing Architectural Refactorings as Graph Transformation Systems, Sixth International Conference on Software Engineering, Artificial Intelligvence, Networking and Parallel/Distributed Computing (SNPD05) May 23 – 25, Towson, Maryland, USA, IEEE Computer Society , 2005, pp. 324-329.

  • L. Grunske, L. Geiger, M. Lawley, A Graphical Specification of Model Transformations with Triple Graph Grammars, First European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Lecture Notes in Computer Science Volume 3748, Springer 2005. pp. 284-298.

  • L. Grunske, P.A. Lindsay, N. Yatapanage, K. Winter. An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees, Fifth International Conference on Integrated Formal Methods, Eindhoven, 29 Nov -2 Dec, Lecture Notes in Computer Science, Volume 3771, 2005, pp. 129-149.

  • L. Grunske, B.Kaiser, Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations, Fifth International Conference on Quality Software, Melbourne, Sep 19 -20, IEEE Computer Society, 2005, pp. 117-123.

  • L. Grunske, and B. Kaiser, An Automated Dependability Analysis Method for COTS-Based Systems, 4th International Conference on COTS-Based Software Systems, ICCBSS 2005, Lecture Notes in Computer Science Volume 3412, Springer, Feb 2005, pp 178-190.

  • L. Grunske, Neumann R., Process Components for Quality Evaluation and Quality Improvement, in Second Workshop on Method Engineering for Object-oriented and Component-Based Development, OOPSLA 2004, pp. 51-62.
  • Y. Jin and J. Han. Consistency and Interoperability Checking for Component Interaction Rules. In Proceedings of the 2005 Asia-Pacific Software Engineering Conference (APSEC2005), Taipei, Taiwan, December 2005, pages 595-602, IEEE Computer Society.

  • Y. Jin and J. Han. Runtime Validation of Behavioural Contracts for Component Software. In Proceedings of the Fifth International Conference on Quality Software (QSIC2005), Melbourne, Australia, September 2005, pages 177-184. IEEE Computer Society.

  • Y. Jin and J. Han. Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability. In Proceedings of the 4th International Conference on COTS-Based Software Systems (ICCBSS’05) (Lecture Notes in Computer Science, Vol. 3412), pages 54-64, Bilbao, Spain, February 2005. Springer. 
  • K. Khan and J. Han. Deriving Systems Level Security Properties of Component Based Composite Systems. In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'05), Brisbane, Australia, March/April 2005, pages 334-343. IEEE Computer Society Press.

  • L. Li, B. Wu and Y. Yang, Agent-based Ontology Integration for Ontology-based Applications, Proc. of Australasian Ontology Workshop (AOW 2005), pp53-59, Sydney, Australia, Dec. 2005.

  • L. Li, B. Wu and Y. Yang, Agent-Based Approach for Dynamic Ontology Management, Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, Vol. 3683, pages 1-7, Springer-Verlag, 2005.

  • L. Li, B. Wu and Y. Yang, Agent-based Ontology Integration for Ontology-based Applications, Proc. of Australasian Ontology Workshop (AOW 2005), Sydney, Australia, Dec. 2005, to appear.

  • L. Li, B. Wu and Y. Yang, Semantic Mapping with Multi-Agent Systems. Proc. of IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), pp54-57, Hong Kong, Mar. 2005.

  • L. Li, Y. Yang and B. Wu, Ontology-based Matchmaking in e-marketplace towards Web Services. Advanced Web Technologies and Applications, Lecture Notes in Computer Science, Vol. 3399, pages 620-631, Springer-Verlag, 2005.

  • L. Li, Y. Yang and B. Wu, Agent-based Ontology Mapping towards Ontology Interoperability. The 18th Australian Joint Conference on Artificial Intelligence (AI05), Lecture Notes in Artificial Intelligence, Vol. 3809, pages 843-846, Springer-Verlag, 2005.

  • L. Li, Y. Yang and B. Wu, Agent-Based Approach towards Ontology Refinement in Virtual Enterprises, Proc. 3rd International Conference on Active Media Technology (AMT2005), pp250-255, Kagawa, Japan, May 2005.
  • L. Li, J. Han and Y. Jin. Pattern-Based Specification and Validation of Web Services Interaction Properties. In Proceedings of the 3rd International Conference on Service Oriented Computing (Lecture Notes in Computer Science, Vol. 3286), Amsterdam, The Netherlands, December 2005, pages 73-86. Springer. (selected as a best paper for extension and inclusion in the journal: Journal of Software.)

  • A. Ludwig, P. Braun, R. Kowalczyk, B. Franczyk. A Framework for Automated Negotiation of Service Level Agreements in Service Grids. In Proc. 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, held at the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5th, 2005. In Christoph Bussler, Armin Haller (Eds). Business Process Management Workshops: BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Revised Selected Papers. Lecture Notes in Computer Science, Springer-Verlag, Chapter: pp. 89 – 101.
  • J. Liu, M. Vincent, C. LIU and M. Mohania, Checking Multivalued Dependencies in XML, Proceedings of APWeb'05, pp. 320-332, March, 2005, Shanghai, China, Lecture Notes in Computer Science, Vol. 3399, Springer 2005.
  • I. Mueller and R. Kowalczyk. Service Composition through Agent-Based Coalition Formation. The Workshop on WWW Service Composition with Semantic Web Services (WSCOMPS'05) held in conjunction with the 2005 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Compiegne, France September 19, 2005, pp. 34-43.

  • I. Mueller, P. Braun, R. Kowalczyk. Design Patterns for Agent-Based Service Composition in the Web. In Proceedings of the First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005) in conjunction with the Fifth International Conference on Quality Software (QSIC 2005), Melbourne (Australia), September 2005, Michael Winikoff, Hong Zhu (eds.), IEEE Computer Society Press, 2005, pp. 425 - 430.
  • X. Nguyen and R. Kowalczyk. Enabling Agent-Based Management of Web Services with WS2JADE. The First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005) held in conjunction with the Fifth International Conference on Quality Software (QSIC 2005), September 19-21, 2005, Melbourne, Australia, IEEE pp. 407-412.
  • Y. Papadopoulos, C. Grante, L. Grunske, B. Kaiser, Continuous assessment of evolving designs and reuse of analyses in a model-based technique for semi-automatic Fault Tree and FMEA analysis of complex systems, IFAC WC 05, 16th. World Congress, Int’l Federation of Automatic Control, Prague, July 4-8, CD Proceedings, 2005.
  • J. Shen, Y. Yang and Q. H. Huy, SwinDeW-B: A P2P based Composite Service Execution System with BPEL, Proc. of Workshop on Dynamic Web Processes (DWP05), Amsterdam, the Netherlands, Dec. 2005.

  • J. Shen, Y. Yang, C. Zhu and C Wan, From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions. Proc. of IEEE International Conference on Services Computing (SCC2005), pp181-188, Orlando, Florida, USA, July 2005.

  • J. Shen, Y. Yang and J. Yan, Adapting P2P based Decentralised Workflow System SwinDeW-S with Web Service Profile Support, Proc. of 9th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2005), pp535-540, Coventry, UK, May 2005.
  • A. Tang, Y. Jin, J. Han and A. Nicholson. Predicting Change Impact in Architecture Design with Bayesian Belief Networks. In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, pages 67-76. IEEE Computer Society.

  • A. Tang, M. Ali Babar, I. Gorton and J. Han. An Empirical Study of the Use and Documentation of Architecture Design Rationale. In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, pages 89-98. IEEE Computer Society.

  • A. Tang and J. Han. A Methodology for Architecture Verifiability, Traceability and Completeness. In Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’05), Greenbelt, Maryland, USA, April 2005, pages 135-144. IEEE Computer Society Press.
  • M. Tran, Y. Yang and G. K Raikundalia, Supporting Awareness in Instant Messaging: The Empirical Study and Mechanism Design, Proc. of OZCHI, Canberra, Australia, Nov. 2005.
  • Q. B. Vo. Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. In Shichao Zhang and Ray Jarvis, editors, Australian Conference on Artificial Intelligence 2005, pp.834-838, Springer--Verlag.
  • B. Wu, M. N. Dewan, L. Li and Y. Yang, Supply Chain Protocoling, Proc. 7th IEEE International Conference on E-Commerce Technology (CEC'05), pp314-321, Munich, Germany, July 2005.

  • J. Yan, Y. Yang, R. Kowalczyk, X. Nguyen. A service workflow management framework based on peer-to-peer and agent technologies. International Workshop on Grid and Peer-to-Peer based Workflows co-hosted with the 5th International Conference on Quality Software, Melbourne, Australia, September 19 -21, 2005, IEEE pp. 373-380.

  • J. Yan, Y. Yang, R. Kowalczyk, X. T. Nguyen, A Service Workflow Management Framework based on Peer-to-Peer and Agent Technologies (pdf - 209K), International Workshop on Grid and Peer-to-Peer based Workflows (associated with QSIC), pp373-380, Melbourne, Australia, Sept. 2005.

  • J.Y. Zhang, H. Deng and R. Kowalczyk (2005). A Qualitative Model for Service Oriented Computing. The Sixth International Conference on Intelligent Technologies InTech'05, Phuket, Thailand, December 14-16, 2005, pp. 5-11.
  • Y. Zhang, J. Yang and C. LIU, Collaborative Business Transactions Management: Issues and Challenges, Proceedings of IEEE International Conference on Web Services (ICWS 2005), IEEE Computer Society, July 2005, Orlando, USA.
  • X. Zhao, C. LIU and Y. Yang, An Organisational Perspective on Collaborative Business Processes, Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), pp.17-31, September 2005, Nancy, France. Lecture Notes in Computer Science, Vol. 3649, Springer.

  • X. Zhao. C. Liu and Y. Yang. An Organisational Perspective on Collaborative Business Processes. Business Process Management, Lecture Notes in Computer Science, Vol. 3649, pages 17-30, Springer-Verlag. 




2004

  • J. Brzostowski and R. Kowalczyk. On Possibilistic Case-based Reasoning for Selecting Partners in Multi-Agent Negotiation. The 17th Joint Australian Conference on Artificial Intelligence (AI’2004), Cairns, Australia, in Lecture Notes in Computer Science, LNCS 3339, Springer-Verlag, pp. 694-704.
  • J. Chen, Y. Yang and T.Y. Chen, Dynamic verification of temporal constraints on-the-fly for workflow systems. Proc. of 11th Asia Pacific Software Engineering Conf. (APSEC04), pp30-37, Busan, Korea, Nov./Dec. 2004.

  • J. Chen and Y. Yang, Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems. Grid and Cooperative Computing, Lecture Notes in Computer Science, Vol. 3251, pages 1005-1008, Springer-Verlag, 2004.
  • M. N. Dewan, B. Wu and Y. Yang, An approach to value based e-business modelling. Proc. of  5th Int. We-B (Working For E-Business) Conf. (We-B2004), CD ISBN 0-7298-0570-0, Perth, Australia, Nov. 2004.

  • M. N. Dewan, B. Wu and Y. Yang, Factors-based IST implementation analysis. Proc. of Int. Business Information Management Conf. (IBIM 2004), CD ISBN 0-9753393-1-1, pp5-14, Amman, Jordan, July 2004.
  • J. Han. A Software Engineering Perspective for Services Security. In Proceedings of the 3rd International Conference on Grid and Cooperative Computing (GCC’04) (Lecture Notes in Computer Science, Vol. 3252), pages 366-373, Wuhan, China, October 2004. Springer.
  • K.K. Ker and J. Han. A Framework for Reasoning about the Performance of Component Software. In Proceedings of the 5th Australasian Workshop on Software and System Architectures, Melbourne, April 2004, pages 72-81.
  • K. Khan and J. Han. A Process Framework for Characterising Security Properties of Component-Based Software Systems. In Proceedings of the 2004 Australian Software Engineering Conference (ASWEC'04), Melbourne, Australia, April 2004, pages 358-367. IEEE Computer Society Press.
  • R. Kowalczyk, V. Phiong, S. Dunstall and B. Owens. Towards Supporting Collaborative Scheduling in Adaptive Supply Networks with Negotiation Agents, International Workshop on Theory and Applications of e-Negotiations (TAEN’2004), in conjunction with 7th International Conference on Business Information Systems (BIS’2004), Poznan, Poland, April 21-23 2004, pp. 501-515.
  • H. Li and Y. Yang, Verification of Temporal Constraints for Concurrent Workflows. Web technologies and applications, Lecture Notes in Computer Science, Vol. 3007, pages 804-813, Springer-Verlag, 2004.
  • L. Li, B. Wu and Y. Yang, An Ontology-Oriented Approach for Virtual Enterprises. Web technologies and applications, Lecture Notes in Computer Science, Vol. 3007, pages 834-843, Springer-Verlag, 2004.

  • L. Li, B. Wu and Y. Yang, Developing ontology in virtual enterprises. Proc. of Int. Conf. on Intelligent Agents, Web Technologies and Internet Commerce, CD ISBN 1740881893, pp337-343, Gold Coast, Australia, July 2004.

  • L. Li, B. Wu and Y. Yang, Refinement for ontology evolution in virtual enterprises. Proc. of 4th Int. Conf. on Electronic Business (ICEB2004), pp696-701, Beijing, China, Dec. 2004.
  • J.-G. Schneider and J. Han.  Components -- The Past, the Present, and the Future. In Proceedings of the Ninth International Workshop on Component-Oriented Programming (WCOP'04), Oslo, Norway, June 2004.

  • J. Shen, Y. Yang, B. Lalwani, Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations. Proc. of 10th Int. Workshop on Future Trends in Distributed Computing Systems (FTDCS 2004), pp229-235, Suzhou, China, May 2004, IEEE Computer Society Press.
  • A. Tang and J. Han. A Comparative Analysis of Architecture Frameworks. In Proceedings of the 2004 Asia-Pacific Software Engineering Conference, Busan, Korea, November/December 2004, pages 640-647. IEEE Computer Society.
  • M. H. Tran, G. K. Raikundalia and Y. Yang, What Are You Looking At? Newest Findings from an Empirical Study of Group Awareness. Human-Computer Interaction, Lecture Notes in Computer Science, Vol. 3101, pages 491-500, Springer-Verlag, 2004.

  • M. Tran, Y. Yang and G. K Raikundalia, Supporting multiple identities in the instant messaging virtual community. Proc. of OZCHI, CD ISBN 1-74128-079, Wollongong, Australia, Nov. 2004.

  • M. Tran, J. Craick, Y. Yang and G. K Raikundalia, Dual monitors support group awareness in multiplayer computer games. Proc. of OZCHI, CD ISBN 1-74128-079, Wollongong, Australia, Nov. 2004.

  • M. Vincent, J. Liu and C. LIU, Mapping Normalized Relations to Normalized XML Documents, Proceedings of  WAIM’04. pp. 346-356, July 2004, Dalian, China. Lecture Notes in Computer Science, Vol. 3129, Springer. (CORE Rank C)

  • M. Vincent, M. Schrefl, J. Liu, C. LIU and S. Dogen, Generalized Inclusion Dependencies in XML, Proceedings of APWeb'04, pp. 224-233, April, 2004, Hangzhou, China, Lecture Notes in Computer Science, Vol. 3007, Springer 2004. (CORE Rank B)

  • Q. B. Vo. Contextualized Abstraction for Assertion-Level Theorem Proving. In Lorenza Saitta, editors, The 16th European Conference on Artificial Intelligent (ECAI 2004), pp. 1107-1108, IOS Press.
  • M. Wolska, Q. B. Vo, D. Tsovaltzi, I. Kruijff-Korbayova, E. Karagjosova, H. Horacek, M. Gabsdil, A. Fiedler, and C. Benzmüller. An annotated corpus of tutorial dialogs on mathematical theorem proving. In Proceedings of International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Potugal, 2004.

  • B. Wu, L. Li and Y. Yang, E-business value process modelling. Proc. of 4th Int. Conf. on Electronic Business (ICEB2004), pp 408-413, Beijing, China, Dec. 2004.

  • J. Yan, Y. Yang and G. K. Raikundalia, Critical Issues in Extending P2p-based SwinDeW System for Incomplete Process Support. Proc. of 8th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2004), Xiamen, pp312-317, China, May 2004.
  • Y. Yang, W. Lai, J. Shen, X. Huang, J. Yan, and L. Setiawan, Effective Visualisation of Workflow Enactment. Web technologies and applications, Lecture Notes in Computer Science,  Vol. 3007, pages 794-803, Springer-Verlag, 2004.
  • J. Yong and Y. Yang, A framework of tool integration for Internet-based e-commerce. Grid and Cooperative Computing, Lecture Notes in Computer Science, Vol. 3033, pages 271-278, Springer-Verlag, 2004.

  • X. Zhao, C. LIU and Y. Yang, A Web Services Based Architecture for Workflow Management Systems, Proceedings of  DEXA’04. pp. 34-43, August/September 2004, Zaragoza, Spain. Lecture Notes in Computer Science, Vol. 3180, Springer. (CORE Rank A)

  • X. Zhao, C. Liu and Y. Yang, A Web Services Based Architecture for Workflow Management Systems. Database and Expert Systems Applications, Lecture Notes in Computer Science, Vol. 3180, pages 34-43, Springer-Verlag, 2004.

 



2003

  • C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska. Discourse phenomena in tutorial dialogs on mathematical proofs. In Proceedings of the 7th Workshop on the semantics and pragmatics of dialogue (DiaBruck), Wallerfangen, Germany, 2003.

  • C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska.Towards a principled approach to tutoring mathematical proofs. In Proceedings of the Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003), Hamburg, Germany, 2003.

  • C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska. Tutorial dialogs on mathematical proofs. In Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, 2003.

  • C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska.A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In Proceedings of the AIED Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, 2003.
  • L. Grunske, Automated Software Architecture Evolution with Hypergraph Transformation, in Proceedings of the 7th International IASTED on Conference Software Engineering and Application (SEA 03), Marina del Ray, Nov. 3-5, 2003, pp.613-621.

  • L.Grunske, Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification, in Proceedings of the 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lübeck, October 16-18, 2003, pp. 439-446 (acceptance rate <33%, selected a one of the best papers).

  • L. Grunske, A Visual Architecture Description Language for Embedded Systems with Hierarchical Typed Hypergraphs, in Proceedings 3rd Workshop on Domain-Specific Modeling at the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 03), Anaheim, 2003, pp.1-8.

  • L. Grunske, Transformational Patterns for the Improvement of Safety Properties in Architectural Specifications, Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP 03), Bergen/Norge, 2003.

  • L. Grunske, Annotation of Component Specifications with Modular Analysis Models for Safety Properties, Proceedings of the 1st International Workshop on Component Engineering Methodology, Erfurt (WCEM 03), September 22, 2003, pp. 31-41.
  • M. Guo, J. Cao, W. Chang, L. Li and C. LIU, Effective OpenMP Extensions for Irregular Applications on Cluster Environments, Proceedings of GCC’03, pp. 97-104, December 2003, Shanghai, China, Revised Papers, Part II. Lecture Notes in Computer Science, Vol. 3033, Springer 2004.
  • J. Han. Interaction Compatibility: An Essential Ingredient for Service Composition. In Proceedings of the International Conference on Grid and Cooperative Computing (Lecture Notes in Computer Science, Vol. 3032), Shanghai, China, December 2003, pages 59-66. Springer.

  • J. Han and K.K. Ker. Ensuring Compatible Interactions within Component-based Software Systems. In Proceedings of the 2003 Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003, pages 436-445. IEEE Computer Society.
  • K. Khan and J. Han.A Security Characterisation Framework for Trustworthy Component Based Software Systems. In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), Dallas, USA, November 2003, pages 164-169. IEEE Computer Society.
  • R. Kowalczyk and V. Phiong. Towards Supporting Collaborative Scheduling in Adaptive Supply Networks with Intelligent Agents, 2003 International Conference on Management of e-Commerce and e-Government, Nanchang, China, pp. 6-13 (Invited talk)
  • H. Li, Y. Yang and M. Shi, Key Issues and Experiences in Development of Distributed Workflow Management Systems. Web technologies and applications, Lecture Notes in Computer Science, Vol. 2642, pages 507-512, Springer-Verlag, 2003.
  • C. LIU, B. Lindsay, S. Bourbonnais, E. Hamel, J. Stankiewitz and T. Truong, Capturing Global Transactions from Multiple Recovery Log Files in a Partitioned Database System, Proceedings of the 29th International Conference on Very Large Data Bases (VLDB’03), pp. 987-996, 9-12 September 2003, Berlin, Germany. (CORE Rank A+)

  • C. LIU, M. Vincent, J. Liu and M. Guo, A Virtual XML Database Engine for Relational Databases, Proceedings of the VLDB XML Data Database Symposium (XSYM’03), pp. 37-51, 8 September 2003, Berlin, Germany. Lecture Notes in Computer Science, Vol. 2824, Springer.

  • C. LIU, M. Guo and J. Liu, Accessing Relational Databases via XML Schema, Proceedings of  CAiSE’03 Forum, pp. 17-20, June 2003, Klagenfurt/Velden, Austria.

  • C. LIU, J. Liu and M. Guo, On Transformation to Redundancy Free XML Schema from Relational Schema, Proceedings of APWeb’03, pp. 35-46, April, 2003, Xi'an, China, Lecture Notes in Computer Science, Vol. 2642, Springer.
  • J. Liu, M. Vincent and C. LIU, Local XML Functional Dependencies, Proceedings of the fifth ACM international workshop on Web information and data management (WIDM’03), pp. 23-28, November, 2003, New Orleans, USA.

  • J. Liu, M. Vincent and C. LIU, Functional Dependencies, from Relational to XML, Proceedings of the PSI’03. pp. 319-32, 9-12 July 2003. Novosibirsk, Russia. Lecture Notes in Computer Science, Vol. 2890, pp. 530-537, Springer.
  • M. H. Tran, G. K. Raikundalia and Y. Yang, Methodologies and Mechanism Design in Group Awareness Support for Internet-based Real-time Distributed Collaboration. Web technologies and applications, Lecture Notes in Computer Science, Vol. 2642, pages 357-369, Springer-Verlag, 2003.

  • M. Vincent, J. Liu and C. LIU, A Redundancy Free 4NF for XML, Proceedings of the VLDB XML Data Database Symposium (XSYM’03), pp. 254-266, 8 September 2003, Berlin, Germany. Lecture Notes in Computer Science, Vol. 2824, Springer.

  • M. Vincent, J. Liu and C. LIU, Redundancy Free Mapping from Relations to XML, Proceedings of  WAIM’03. pp. 55-67, August 2003, Chengdu, China. Lecture Notes in Computer Science, Vol. 2762, Springer. (CORE Rank C)

  • Quoc Bao Vo. A task-oriented agent-based mechanism for theorem proving. In Jiming Liu, Boi Faltings, Matthias Klusch, and Chunnian Liu, editors, The 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), pages 275-281. IEEE Computer Society/WIC, 2003.

  • Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier. Assertion application in theorem proving and proof planning. In Georg Gottlob and Toby Walsh, editors, International Joint Conference on Artificial Intelligence (IJCAI-03), pages 1343-1344. IJCAI/Morgan Kaufmann, 2003.

  • Q. B. Vo, Abhaya Nayak, and Norman Y. Foo. A syntax-based approach to reasoning about actions and events. In Moshe Y. Vardi and Andrei Voronkov, editors, 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'03, volume LNCS 2850, pages 274-288. Springer-Verlag, 2003.
  • Q. B Vo, Christoph Benzmüller, and Serge Autexier. Assertion application in theorem proving and proof planning. In Tenth Workshop on Automated Reasoning - ARW'03, pages 7-8, 2003.
  • J. Yan, Y. Yang and G. K. Raikundalia, Decentralised Coordination for Software Process Enactment. Software Process Technology, Lecture Notes in Computer Science, Vol. 2786, pages 164-172, Springer-Verlag, 2003.

  • J. Yan, Y. Yang and G. K. Raikundalia, Enacting Business Processes in a Decentralised Environment with p2p-based Workflow Support. Advances in Web-Age Information Management, Lecture Notes in Computer Science, Vol. 2762, pages 290-297, Springer-Verlag, 2003.

  • J. Yan, Y. Yang and G. K. Raikundalia, A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems. Proc. of 15th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE2003), pp354-358, San Francisco, USA, July 2003.

  • J. Yong and Y. Yang, Data integration over the Internet for e-commerce, Proc. of IASTED International Conference on Communications Systems and Applications (CSA'03), pp253-258, Banff, Alberta, Canada, July 2003.
  • J. Yong, M. S. Lane, M. Toleman and Y. Yang, Enforcing Secure Access Control. Proc. of 1st Australian Information Security Management Conference (InfoSecurity03), CD ISBN: 0-7298-0541-7, Perth, Australia, Nov. 2003.
  • D. Yu, H. Dong, W. Lai and Y. Yang, Projection filling based on contour structural points. Computational Science and Its Applications, Lecture Notes in Computer Science, Vol. 2669, pages 376-386, Springer-Verlag, 2003.