Krishnaprasad Thirunarayan Papers on DiSC'06 On embedding machine-processable semantics into documents Publications Note: Links lead to the DBLP on the Web. Krishnaprasad Thirunarayan Krishnaprasad Thirunarayan, Trivikram Immaneni : Formalizing and Querying Heterogeneous Documents with Tables. IICAI 2005 : 769 Dhanya Ravishankar , Krishnaprasad Thirunarayan, Trivikram Immaneni : A Modular Approach to Document Indexing and Semantic Search. Web Technologies, Applications, and Services 2005 : 165-170 Krishnaprasad Thirunarayan: On Embedding Machine-Processable Semantics into Documents. IEEE Trans. Knowl. Data Eng. 17 (7): 1014-1018 (2005) Krishnaprasad Thirunarayan, Aaron Berkovich , Dan Z. Sokol : An information extraction approach to reorganizing and summarizing specifications. Information & Software Technology 47 (4): 215-232 (2005) Krishnaprasad Thirunarayan: On Embedding Machine-Processable Semantics into Documents. NLDB 2004 : 368-373 Krishnaprasad Thirunarayan, Aaron Berkovich , Steve Grace , Dan Z. Sokol : Information Extraction for Reorganizing Specifications. NLDB 2003 : 242 Krishnaprasad Thirunarayan, Aaron Berkovich , Dan Z. Sokol : Semi-automatic Content Extraction from Specifications. NLDB 2002 : 40-51 Robert L. Ewing , G. Lamont , C. Brothers , M. Oxley , C. Purdy , H. Carter , F. Beyette Jr. , J. Boyd , Hoda S. Abdel-Aty-Zohdy , S. Bibyk , Y. Zheng , Krishnaprasad Thirunarayan: An Interactive Video Course in Multidisciplinarity and Collaborative Design for Systems on a Chip. MSE 2001 : 87-88 Krishnaprasad Thirunarayan, Robert L. Ewing : Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. Formal Methods in System Design 18 (1): 69-88 (2001) Krishnaprasad Thirunarayan, Günter Kniesel , Haripriyan Hampapuram : Simulating multiple inheritance and generics in Java. Comput. Lang. 25 (4): 189-210 (1999) Laks V. S. Lakshmanan , Krishnaprasad Thirunarayan: Declarative Frameworks for Inheritance. Logics for Databases and Information Systems 1998 : 357-388 Krishnaprasad Thirunarayan: On the Equivalence of Upward and Downward Inheritance Reasoners. Ann. Math. Artif. Intell. 15 (2): 239-256 (1995) Krishnaprasad Thirunarayan: Expressive Extensions to Inheritance Networks. ISMIS 1993 : 528-537 Krishnaprasad Thirunarayan, Michael Kifer : A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artif. Intell. 60 (1): 23-50 (1993) Krishnaprasad Thirunarayan: Locality in Inheritance Networks. Inf. Process. Lett. 46 (6): 263-268 (1993) Krishnaprasad Thirunarayan: An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. ISMIS 1991 : 256-265 Krishnaprasad Thirunarayan, Michael Kifer : An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989 : 1093-1098 Krishnaprasad Thirunarayan, Michael Kifer , David Scott Warren : On the Declarative Semantics of Inheritance Networks. IJCAI 1989 : 1099-1103 R. Ramesh , Rakesh M. Verma , Krishnaprasad Thirunarayan, I. V. Ramakrishnan : Term Matching on Parallel Computers. J. Log. Program. 6 (3): 213-228 (1989) Krishnaprasad Thirunarayan: On the Computability of Circumscription. Inf. Process. Lett. 27 (5): 237-243 (1988) R. Ramesh , Rakesh M. Verma , Krishnaprasad Thirunarayan, I. V. Ramakrishnan : Term Matching on Parallel Computers. ICALP 1987 : 336-346 Rakesh M. Verma , Krishnaprasad Thirunarayan, I. V. Ramakrishnan : An Efficient Parallel Algorithm for Term Matching. FSTTCS 1986 : 504-518 1 [ 15 ] 2 [ 16 ] [ 17 ] [ 19 ] 3 [ 15 ] 4 [ 15 ] 5 [ 15 ] 6 [ 15 ] 7 [ 15 ] 8 [ 14 ] [ 15 ] 9 [ 17 ] 10 [ 13 ] 11 [ 21 ] [ 22 ] 12 [ 5 ] [ 6 ] [ 9 ] 13 [ 13 ] 14 [ 12 ] 15 [ 15 ] 16 [ 15 ] 17 [ 15 ] 18 [ 1 ] [ 2 ] [ 4 ] 19 [ 2 ] [ 4 ] 20 [ 21 ] 21 [ 16 ] [ 17 ] [ 19 ] 22 [ 1 ] [ 2 ] [ 4 ] 23 [ 5 ] 24 [ 15 ] ©2006 Association for Computing Machinery