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,
(Available online since: March 2008). (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, Attribute Grammars and their
Applications, In: Encyclopedia of Information Science and Technology, Second
Edition, Editor: Mehdi Khosrow-Pour, Information Science Publishing, 2008.
K. Thirunarayan, Inheritance in Programming
Languages, In: Encyclopedia of Information Science and Technology, Second
Edition, Editor: Mehdi Khosrow-Pour, Information Science Publishing, 2008.
K. Thirunarayan, and J. K. Pschorr, Semantic
Information and Sensor Networks, In: Proceedings of the 24th Annual ACM
Symposium on Applied Computing (ACM SAC 2009), March 2009. (To appear)
K. Thirunarayan, and R. Verma, A Framework for
Trust and Distrust Networks, In: Proceedings of Web 2.0 Trust Workshop
(W2Trust), June 2008.
K. Thirunarayan, T. Immaneni, and M. Shaik, Selecting Labels for News Document Clusters, In: Proceedings of 12th International Conference on Applications of Natural Language to Information Systems,
(NLDB 2007), LNCS 4592, pp. 119-130, June 2007.
K. Cleereman, M. Cheatham, and K. Thirunarayan, Runtime Support of Speculative Optimization for Offline Escape Analysis, In: Proceedings of the International Conference on Software Engineering Research and Practice (SERP'07),
pp. 484-489,
June 2007.
T. Immaneni and K. Thirunarayan, A Unified approach To Retrieving Web Documents and Semantic Web Data, In: Proceedings of the 4th European Semantic Web Conference (ESWC 2007), LNCS 4519, pp. 579-593, June 2007. (pdf)
T. Immaneni, and K. Thirunarayan, Hybrid Retrieval from the Unified Web,
In: Proceedings of the 22nd Annual ACM Symposium on Applied Computing, pp. 1376-1380, March 2007.
K. Thirunarayan, and T. Immaneni,
Flexible Querying of XML
Documents, In: Proceedings of the 16th International Symposium on
Methodologies for Intelligent Systems, LNAI, Vol. 4203, pp.
198-207, September 2006. (ISMIS-06.ppt)
K. Thirunarayan, and T. Immaneni, Formalizing and Querying Heterogeneous
Documents with Tables, In: Proceedings of the The 2nd Indian
International Conference on Artificial Intelligence (IICAI-05), pp.
769-778, December 2005.
(IICAI-05.ppt)
D. Ravishankar, K. Thirunarayan, and T. Immaneni, A Modular Approach to
Document Indexing and Semantic Search, In: Proceedings of the IASTED
International Conference on Web Technologies, Applications and Services,
pp. 165 -170, July 2005. (IASTED-05.ppt)
K. Thirunarayan, and S. Carl, Toward a Comprehensive Supplement for
Language Courses, In: Proceedings of International Conference on
Information Systems and Engineering, pp. 174-179, July 2003. (pdf)
(ISE-03.ppt)
Chris Kinzig, K. Thirunarayan, G. B. Lamont, and R. E. Marmelstein,
Summarizing Data
Sets for Classification, In: Proceedings of International
Conference on Artificial Intelligence, pp. 681-687, May 2001. (icai.pdf)
Laura DeBrock and K. Thirunarayan, A VHDL Hardware Description Browser,
In: Proceedings of Florida AI Research Symposium (FLAIRS-97), pp. 145-149, May
1997.
K. Thirunarayan and Robert L. Ewing, Characterizing a portable subset of
behavioral VHDL-93, In: Proceedings of Computer Hardware Description
Languages (CHDL-97), Chapman and Hall, pp. 97-113, April 1997.
(chdl.ps.gz)
Robert Eastham and K. Thirunarayan, Proof Strategies for Hardware
Verification, In: Proceedings of National Aerospace and Electronics
Conference , pp. 451-458, 1996.
K. Thirunarayan, A meta-interpreter for circuit extraction, In:
Proceedings of National Aerospace and Electronics Conference, pp.
680-684, 1994.
(extract.ps.gz)
T. Krishnaprasad, M. Kifer and D.S. Warren, On the Declarative Semantics
of Inheritance Networks, In: Proceedings of the Eleventh International
Joint Conference on Artificial Intelligence (IJCAI-89), Morgan-Kaufmann, pp.
1093-1098, August 1989.
T. Krishnaprasad and M. Kifer, An Evidence-based Framework for a Theory
of Inheritance, In: Proceedings of the Eleventh International Joint
Conference on Artificial Intelligence (IJCAI-89), Morgan-Kaufmann, pp. 1099-1103,
August 1989.
T. Krishnaprasad, Y.N. Srikant, and Priti Shankar, An Attribute
Grammar-Based Compiler Generator, In: Proceedings of Computer Society of
India, Annual Convention, 1985.