Publications:

2008

10) C. E. Gerede, O. H. Ibarra, B. Ravikumar, J. Su. "Minimum-cost Delegation in Service Composition''. Theoretical Computer Science (TCS), Vol 409, Issue 3, Dec 2008.

2007

9) C. E. Gerede, J. Su. "Specification and Verification of Artifact Behaviors in Business Process Models''. International Conference on Service Oriented Computing (ICSOC), 2007.

8) K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, J. Su. "Towards Formal Analysis of Artifact-Centric Business Process Models''. International Conference on Business Process Management (BPM), 2007. (Best paper award)

7) C. E. Gerede, K. Bhattacharya, J. Su. "Static Analysis of Business Artifact-centric Operational Models''. International Conference on Service Oriented Computing and Applications (SOCA), 2007.     Presentation Slides

6) O. H. Ibarra, B. Ravikumar, C. E. Gerede. "Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach''. Journal of Automata, Languages and Combinatorics (JALC), 11 (2006) 2, 169-188.

2006

5) L. An, J.-J. Jeng, C. E. Gerede. "On Exploiting System Dynamics Modeling to Identify Service Requirements''. IEEE International Conference on Services Computing (SCC), 2006.

4) F. Kart, Z. Shen, C. E. Gerede. "The MIDAS System: A Service Oriented Architecture for Automated Supply Chain Management''. IEEE International Conference on Services Computing, (SCC), 2006.

2005

3) O. D. Sahin, C. E. Gerede, D. Agrawal, A. E. Abbadi, O. H. Ibarra, J. Su. "SPiDeR: P2P-based Web Service Discovery''. International Conference on Service Oriented Computing (ICSOC), 2005.

2) C. E. Gerede, O. H. Ibarra, B. Ravikumar, J. Su. "Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition''. IEEE International Conference on Services Computing (SCC), 2005.

2004

1) C. E. Gerede, R. Hull, O. H. Ibarra, J. Su. "Automated Composition of e-Services: Lookaheads''. International Conference on Service Oriented Computing (ICSOC), 2004.     Presentation Slides