72–86. Bao, J., Caragea, D., and Honavar, V. (2006). A Tableau Based Federated Reasoning Algorithm for Modular Ontologies. In: Proceedings of the ACM/IEEE/WIC Conference on Web Intelligence. IEEE Press. pp. 404–410. Bao, J., Caragea, D., and Honavar, V. A Distributed Tableau Algorithm for Package-based Description Logics. Proceedings of the Second International Workshop on Context Representation and Reasoning (CRR 2006), Riva del Garda, Italy, CEUR. 2006. Bao, J., Caragea, D., and Honavar, V. Modular Ontologies – A Formal Investigation of Semantics and Expressivity. In Proceedings of the First Asian Semantic Web Conference, Beijing, China, Springer-Verlag. Vol. Vol. 4185, pp. 616–631, 2006. Best Paper Award Silvescu, A. and Honavar, V. Independence, Decomposability and functions which take values into an Abelian Group. Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics, 9th AI and MATH Symposium - Proceedings, 2006. Data and Computational Infrastructure for Collaborative Science Parashar, M., Honavar, V., Simonet, A., Rodero, I., Ghahramani, F., Agnew, G., and Jantz, R. (2020). The Virtual Data Collaboratory: A Regional Cyberinfrastructure for Collaborative Data-Driven Research. Computing in Science and Engineering 22:3:79-92 Santhanam, G.R., Basu, S. and Honavar, V. (2013). Preference based service adaptation using service substitution. In Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)-Volume 01 (pp. 487–493). IEEE Computer Society. Sun, H., Basu, S., Honavar, V., and Lutz, R. (2010). Automata-Based Verification of Security Requirements of Composite Web Services. In: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE-2010). pp. 348–357, IEEE Press. Santhanam, G.R., Basu, S., and Honavar, V. (2009). Web Service Substitution Based on Preferences Over Non-functional Attributes. In: Proceedings of the IEEE International Conference on Services Computing (SCC 2009). Pathak, J., Basu, S., and Honavar, V. (2008). Composing Web Services through Automatic Reformulation of Service Specifications. Proceedings of the IEEE International Conference on Services Computing, IEEE, pp. 361–369. Santhanam, G., Basu, S., and Honavar, V. (2008). TCP-Compose* - A TCP-net based Algorithm for Efficient Composition of Web Services Based on Qualitative Preferences. Proceedings of the 6th International Conference on Service Oriented Computing, Springer-Verlag Lecture Notes in Computer Science, Vol. 5254. pp. 453–467 Pathak, J., Basu, S., and Honavar, V. (2007). On Context-Specific Substitutability of Web Services. In: Proceedings of the IEEE International Conference on Web Services. pp. 192–199. IEEE Press. Pathak, J., Li, Y., Honavar, V., McCalley, J. (2007). A Service-Oriented Architecture for Electric Power Transmission System Asset