Selected Journal Papers

K. Thirunarayan, and T. Immaneni, Hybrid Retrieval of Hypertext Web Documents and Semantic Web Data. (Under Review)

K. Thirunarayan, and T. Immaneni, A Coherent Query Language for XML, In: Journal of Intelligent Information Systems, Volume 32, Number 2, pp. 139-162, April 2009. (pdf)

K. Cleereman, M. Cheatham, and K. Thirunarayan, Mechanisms for Improved Covariant Type-Checking, In: Computer Languages, Systems and Structures, Vol. 1, pp. 1-17, April 2008. (pdf)

K. Thirunarayan, and T. Immaneni, An XML-Based Approach to Handling Tables in Documents, In: Journal of Intelligent Systems, Vol. 17(1-3), pp. 215-228, January 2008.

K. Thirunarayan, On Embedding Machine-Processable Semantics into Documents, In: IEEE Transactions on Knowledge and Data Engineering, Vol. 17, No. 7, pp. 1014-1018, July 2005.

K. Thirunarayan, A. Berkovich, and D. Sokol, An Information Extraction Approach to Reorganizing and Summarizing Specifications, In: Information and Software Technology Journal, Vol. 47, Issue 4, pp. 215-232, 2005.

K. Thirunarayan and R. L. Ewing, Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93, In : Formal Methods in System Design, Vol. 18, pp. 69-88, Jan 2001. (vhdl.pdf)

K. Thirunarayan, G. Kniesel, and H. Hampapuram, Simulating Multiple Inheritance and Generics in Java, In : Computer Languages, Vol. 25(4), pp. 189-210, 2001. (mi.pdf)

K. Thirunarayan, On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms, In: Journal of Experimental and Theoretical Artificial Intelligence, Vol. 7, pp. 391-406, Dec 1995.

K. Thirunarayan, On the Equivalence of Upward and Downward Inheritance Reasoners, In: Annals of Mathematics and Artificial Intelligence, Vol. 15(2), pp. 239-256, Nov 1995.

K. Thirunarayan, Local Theories of Inheritance, In: International Journal of Intelligent Systems, Vol. 10(7), pp. 617-645, Jul 1995. (local.ps.gz)

K. Thirunarayan and Michael Kifer, A Theory of Nonmonotonic Inheritance Based on Annotated Logic, Artificial Intelligence Journal, Vol. 60, pp. 23-50, Mar 1993. (aij.ps.gz)

R. Ramesh, R. Verma, T. Krishnaprasad, and I.V. Ramakrishnan, Term Matching on Parallel Computers, In: Journal of Logic Programming, Vol. 6, pp. 213-228, May 1989.

T. Krishnaprasad, On the Computability of Circumscription, In: Information Processing Letters , Vol. 27, pp. 237-243, April 1988. (undec.ps.gz)

Book Chapters

K. Thirunarayan and T. Immaneni, Integrated Retrieval from Web of Documents and Data, In: Advances in Data Management (Book Series: Studies in Computational Intelligence), Editors: Zbyszek W. Ras and Agnieszka Dardzinska, Springer Berlin / Heidelberg, 2009.
K. Thirunarayan, Attribute Grammars and their Applications, In: Encyclopedia of Information Science and Technology, Second Edition, Editor: Mehdi Khosrow-Pour, Information Science Publishing, pp. 268-273, 2008. (Draft)
K. Thirunarayan, Inheritance in Programming Languages, In: Encyclopedia of Information Science and Technology, Second Edition, Editor: Mehdi Khosrow-Pour, Information Science Publishing, pp. 2042-2047, 2008. (Draft)
Laks V.S. Lakshmanan and K. Thirunarayan, Declarative Frameworks for Inheritance , In: Logics for Databases and Information Systems , Eds: J. Chomicki and G. Saake, Kluwer Academic Publishers, pp. 357-388, 1998.

Edited Books

Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motto and Krishnaprasad Thirunarayan (Editors): Proceedings of the 8th International Semantic Web Conference (ISWC-2009), Washington DC, LNCS 5823, Springer-Verlag (Heidelberg), October 2009.
Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin and Krishnaprasad Thirunarayan (Editors): Proceedings of the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, LNCS 5318, Springer-Verlag (Heidelberg), October 2008.