Management. Second International Workshop on Engineering Service-Oriented Applications: Design and Composition, Lecture Notes in Computer Science, Berlin: Springer-Verlag, 2007. Pathak, J., Basu, S., Lutz, R., and Honavar, V. (2006). Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. Proceedings of the IEEE International Conference on Tools With Artificial Intelligence (ICTAI 2006), Washington, DC, IEEE Press. Best Paper Award. pp. 445–454. Pathak, J., Basu, S., and Honavar, V. (2006). Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. Proceedings of the International Conference on Service Oriented Computing. Lecture Notes in Computer Science, Berlin: Springer, Vol. 4294, pp. 314–326. Pathak, J., Yuan, L., Honavar, V., and McCalley, J. (2006). A Service-Oriented Architecture for Electric Power Transmission System Asset Management, In: Proceedings of the Second International Workshop on Engineering Service-Oriented Applications: Design and Composition (WESOA-2006), Lecture Notes in Computer Science, Berlin: Springer-Verlag. Pathak, J., Basu, S., Lutz, R., and Honavar, V. (2006). Parallel Web Service Composition in MoSCoE: A Choreography Based Approach. Proceedings of the IEEE European Conference on Web Services (ECOWS 2006), Zurich, Switzerland, IEEE. In press. Pathak, J., Basu, S., and Honavar, V. Modeling Web Service Composition Using Symbolic Transition Systems. AAAI '06 Workshop on AI-Driven Technologies for Services-Oriented Computing (AI-SOC), Boston, MA, AAAI Press, 2006. Pathak, J., Koul, N., Caragea, D., and Honavar, V. A Framework for Semantic Web Services Discovery. Proceedings of the 7th ACM International Workshop on Web Information and Data Management (WIDM 2005)., ACM Press. pp. 45–50, 2005. Pathak, J., Caragea, D., and Honavar, V. Ontology-Extended Component-Based Workflows: A Framework for Constructing Complex Workflows from Semantically Heterogeneous Software Components. VLDB-04 Workshop on Semantic Web and Databases. Springer-Verlag Lecture Notes in Computer Science., Toronto, Springer-Verlag. Vol. 3372. pp. 41–56, 2004. Applied Informatics: Bioinformatics, Health informatics, Materials Informatics Geng, C., Jung, Y., Renaud, N., Honavar, V., Bonvin, A., Xue, L. (2020). iScore: A novel graph kernel-based function for scoring protein-protein docking models, Bioinformatics Validate User Hou Y, Wu C, Yang D, Ye T, Honavar VG, Van Duin AC, Wang K, Priya S.(2020) Two-dimensional hybrid organic–inorganic perovskites as emergent ferroelectric materials. Journal of Applied Physics 128, Two-dimensional hybrid organic–inorganic perovskites as emergent ferroelectric materials. Renaud, N., Jung, Y., Honavar, V., Geng, C., Bonvin, A.M. and Xue, L.C. (2020). iScore: An MPI supported software for ranking protein–protein docking models based on a random walk graph kernel and support vector machines. SoftwareX, 11, p. 100462. Khademi, A., El-Manzalawi,