| |
Data & Knowledge Engineering, Vol. 68, No. 9. (September 2009), pp. 851-866.
|
| |
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, Vol. 39, No. 6. (25 September 2009), pp. 1152-1164.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 19, No. 1. (2009), pp. 1-37.
|
| |
In CEC '05: Proceedings of the Seventh IEEE International Conference on E-Commerce Technology (2005), pp. 476-479.
|
| |
Journal of Service Research, Vol. 7, No. 1. (1 August 2004), pp. 65-89.
|
| |
Service-Oriented Computing - ICSOC 2005 (2005), pp. 228-240.
|
| |
Service-Oriented Computing – ICSOC 2008 Workshops (2009), pp. 118-129.
|
| |
In WWW '08: Proceeding of the 17th international conference on World Wide Web (2008), pp. 785-794.
|
| |
|
| |
Enterprise Distributed Object Computing Conference, 2008. EDOC '08. 12th International IEEE In Enterprise Distributed Object Computing Conference, 2008. EDOC '08. 12th International IEEE (2008), pp. 245-254.
|
| |
Computer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference on In Computer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference on (23 May 2008), pp. 618-623.
|
| |
Service-Oriented Computing – ICSOC 2008 (2008), pp. 116-131.
|
| |
Service-Oriented Computing – ICSOC 2008 (2008), pp. 241-255.
|
| |
Business Process Management (2008), pp. 278-293.
|
| |
Future Generation Computer Systems, Vol. 25, No. 5. (10 May 2009), pp. 528-540.
|
| |
Model Driven Architecture- Foundations and Applications (2007), pp. 43-58.
|
| |
On the Move to Meaningful Internet Systems: OTM 2008 (2008), pp. 265-282.
|
| |
On the Move to Meaningful Internet Systems: OTM 2008 (2008), pp. 436-444.
|
| |
|
| |
In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 225-234.
|
| |
Proc. VLDB Endow. In Proceedings of the 34th Int'l Conference on Very Large Data Bases (VLDB'08), Vol. 1, No. 2. (August 2008), pp. 1512-1515.
|
| |
|
| |
In WOSIS (2008), pp. 13-25.
|
| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 166-173.
|
| |
|
| |
Business Process Management In Proceedings of the 3rd Int'l Conference on Business Process Management ({BPM} 2005) (2005), pp. 220-235.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 69-77.
|
| |
In AOMD '05: Proceedings of the 1st workshop on Aspect oriented middleware development (2005)
|
| |
Web Services In European Conference on Web Services (2004), pp. 168-182.
|
| |
Information and Software Technology, Vol. 50, No. 3. (February 2008), pp. 131-159.
|
| |
Web Services and Formal Methods (2008), pp. 77-91.
|
| |
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (2006), pp. 127-144.
|
| |
Web Services and Formal Methods (2008), pp. 154-168.
|
| |
Information Systems, Vol. In Press, Corrected Proof
|
| |
Services Computing, 2008. SCC '08. IEEE International Conference on In Services Computing, 2008. SCC '08. IEEE International Conference on, Vol. 2 (2008), pp. 367-376.
|
| |
Service-Oriented Computing – ICSOC 2006 (2006), pp. 27-39.
|
| |
Web Services and Formal Methods (2006), pp. 107-122.
|
| |
In EDOC (2007), pp. 27-36.
|
| |
Business Process Management (2007), pp. 214-229.
posted to bpel by vanto
on 2008-09-10 18:09:24
as 
|
| |
In BIS, Vol. 4439 (2007), pp. 29-40.
|
| |
Formal Techniques for Computer Systems and Business Processes (2005), pp. 35-50.
|
| |
In ICWS '06: Proceedings of the IEEE International Conference on Web Services (2006), pp. 275-284.
|
| |
Business Information Systems In Proceedings of the 11th Int'l Conference on Business Information Systems ({BIS} 2008) (2008), pp. 273-284.
|
| |
Formal Techniques in Real-Time and Fault-Tolerant Systems (1994), pp. 19-40.
|
| |
Computer Aided Verification (2004), pp. 510-514.
|
| |
In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 621-630.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (2004), pp. 252-262.
|
| |
|
| |
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on In Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 152-161.
|
| |
|
Search
