I. V. Ramakrishnan Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Glenn Dausch, I. V. Ramakrishnan: TeleWeb: accessible service for web browsing via phone. W4A 2009: 96-97
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan: Automated construction of web accessibility models from transaction click-streams. WWW 2009: 871-880
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed: Bridging the Web Accessibility Divide. Electr. Notes Theor. Comput. Sci. 235: 107-124 (2009)
2008
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan: What's new?: making web page updates accessible. ASSETS 2008: 145-152
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan: Assistive browser for conducting web transactions. IUI 2008: 365-368
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Zhao, Jalal Mahmud, I. V. Ramakrishnan: Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields. SDM 2008: 420-431
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong: A methodology for in-network evaluation of integrated logical-statistical models. SenSys 2008: 197-210
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Jeffrey P. Bigham, Amanda Stent, I. V. Ramakrishnan: Towards one world web with HearSay3. W4A 2008: 130-131
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, I. V. Ramakrishnan: Automated Semantic Analysis of Schematic Data. World Wide Web 11(4): 427-464 (2008)
2007
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan: A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR 2007: 929-933
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan: WebVAT: Web Page Visualization and Analysis Tool. ICWE 2007: 516-520
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan: Combating information overload in non-visual web access using context. IUI 2007: 341-344
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan: Context browsing with mobiles - when less is more. MobiSys 2007: 3-15
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan: Computing Statistical Profiles of Active Sites in Proteins. SDM 2007
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent: The HearSay non-visual web browser. W4A 2007: 128-129
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan: Csurf: a context-driven non-visual web-browser. WWW 2007: 31-40
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan: Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic 5(2): 333-355 (2007)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: XcelLog: a deductive spreadsheet system. Knowledge Eng. Review 22(3): 269-279 (2007)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZan Sun, Jalal Mahmud, I. V. Ramakrishnan, Saikat Mukherjee: Model-directed Web transactions under constrained modalities. TWEB 1(3): (2007)
2006
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan: Improving non-visual web access using context. ASSETS 2006: 273-274
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan: A Framework for Building Privacy-Conscious Composite Web Services. ICWS 2006: 655-662
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, Chang Zhao, I. V. Ramakrishnan: Profiling Protein Families from Partially Aligned Sequences. SDM 2006
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZan Sun, Amanda Stent, I. V. Ramakrishnan: Dialog generation for voice browsing. W4A 2006: 49-56
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZan Sun, Jalal Mahmud, Saikat Mukherjee, I. V. Ramakrishnan: Model-directed web transactions under constrained modalities. WWW 2006: 447-456
2005
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineet Enagandula, Niraj Juthani, I. V. Ramakrishnan, Devashish Rawal, Ritwick Vidyasagar: BlackBoardNV: a system for enabling non-visual access to the blackboard course management system. ASSETS 2005: 220-221
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan: BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers. DILS 2005: 19-30
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh: Bootstrapping Semantic Annotations for Content-Rich HTML Documents. ICDE 2005: 583-593
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, I. V. Ramakrishnan: Browsing fatigue in handhelds: semantic bookmarking spells relief. WWW 2005: 593-602
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan: An approach for realizing privacy-preserving web-based services. WWW (Special interest tracks and posters) 2005: 1014-1015
2004
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, I. V. Ramakrishnan, Michael Kifer: Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoé Lacroix, Kaushal Parekh, Hasan Davulcu, I. V. Ramakrishnan, Nikeeta Julasana: Automating the Biological Data Collection Process with Agents. CSB 2004: 489-490
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, I. V. Ramakrishnan: Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences. CoopIS/DOA/ODBASE (2) 2004: 909-926
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Zoé Lacroix, Kaushal Parekh, I. V. Ramakrishnan, Nikeeta Julasana: Exploiting Agent and Database Technologies for Biological Data Collection. DEXA Workshops 2004: 376-381
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan: WinAgent: a system for creating and executing personal information assistants using a web browser. IUI 2004: 356-357
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Amanda Stent, Guizhen Yang: Hearsay: enabling audio browsing on hypertext content. WWW 2004: 80-89
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Michael Kifer, I. V. Ramakrishnan: CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) 2004: 144-153
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, I. V. Ramakrishnan: Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004)
2003
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuizhen Yang, I. V. Ramakrishnan, Michael Kifer: On the complexity of schema inference from web pages in the presence of nullable data attributes. CIKM 2003: 224-231
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan: Automatic Discovery of Semantic Structures in HTML Documents. ICDAR 2003: 245-249
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan: On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources. ICDM 2003: 395-402
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu: On the Power of Semantic Partitioning of Web Documents. IIWeb 2003: 39-44
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaikat Mukherjee, Guizhen Yang, I. V. Ramakrishnan: Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis. International Semantic Web Conference 2003: 533-549
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Srinivas Vadrevu, Saravanakumar Nagarajan, I. V. Ramakrishnan: OntoMiner: Bootstrapping and Populating Ontologies from Domain-Specific Web Sites. IEEE Intelligent Systems 18(5): 24-33 (2003)
2002
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan: Extraction Techniques for Mining Services from Web Sources. ICDM 2002: 601-604
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan: Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP 2002: 100-114
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Justification Based on Program Transformation. LOPSTR 2002: 158-159
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan: A Clustering Technique for Mining Data from Text Tables. SDM 2002
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan: CuTeX: a system for extracting data from text tables. SIGIR 2002: 457
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrashant Choudhari, Hasan Davulcu, Abhishek Joglekar, Akshay More, Saikat Mukherjee, Supriya Patil, I. V. Ramakrishnan: YellowPager: a tool for ontology-based mining of service directories from web sources. SIGIR 2002: 458
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13(3): 387-403 (2002)
2001
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings Springer 2001
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, I. V. Ramakrishnan: Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Speculative Beats Conservative Justification. ICLP 2001: 150-165
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP 2001: 166-180
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW 2001: 23-30
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov: Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-driven efficient subterm unification. Theor. Comput. Sci. 254(1-2): 187-223 (2001)
2000
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic 2000: 1094-1105
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron: Congruence Closure Modulo Associativity and Commutativity. FroCos 2000: 245-259
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan: Current Trends in Logic Programming: Prospects and Promises. PADL 2000: 324
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan: Justifying proofs using memo tables. PPDP 2000: 178-189
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
1999
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao: A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 284-300
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson: Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999: 12-18
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari: Normalization via Rewrite Closures. RTA 1999: 190-204
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan: A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren: Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38(1): 31-54 (1999)
1998
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan: On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP 1998: 310-324
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren: Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88
1997
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLY. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren: Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, I. V. Ramakrishnan, Prateek Mishra: On the power and limitations of strictness analysis. J. ACM 44(3): 505-525 (1997)
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. 7(2): 183-217 (1997)
1996
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan: A Thread in Time Saves Tabling Time. JICSLP 1996: 112-126
1995
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM 1995: 12-23
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan: Design and Implementation of Jump Tables for Fast Indexing of Logic Programs PLILP 1995: 133-150
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren: Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, I. V. Ramakrishnan: Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17(6): 896-937 (1995)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23(2): 151-202 (1995)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. SIAM J. Comput. 24(6): 1207-1234 (1995)
1994
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-Driven Efficient Subterm Unification. FSTTCS 1994: 288-299
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren: Dynamic Argument Reduction for In-memory Data Queries. Workshop on Deductive Databases and Logic Programming 1994: 117-129
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTa Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing for Speeding Prolog Executions. Softw., Pract. Exper. 24(12): 1097-1119 (1994)
1993
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. ICLP 1993: 424-438
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Ta Chen, I. V. Ramakrishnan: Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality Inf. Comput. 104(1): 78-109 (1993)
1992
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, I. V. Ramakrishnan: Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE 1992: 618-632
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. ICALP 1992: 247-260
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTa Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing Algorithms for Speeding Prolog Execution. JICSLP 1992: 639-653
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. LISP and Functional Programming 1992: 335-344
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakesh M. Verma, I. V. Ramakrishnan: Tight Complexity Bounds for Term Matching Problems Inf. Comput. 101(1): 33-69 (1992)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan: Nonlinear Pattern Matching in Trees. J. ACM 39(2): 295-316 (1992)
1991
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, Prateek Mishra, I. V. Ramakrishnan: On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL 1991: 37-48
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan: Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. RTA 1991: 335-347
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Approximate Algorithms for the Knapsack Problem on Parallel Computers Inf. Comput. 91(2): 155-171 (1991)
1990
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakesh M. Verma, I. V. Ramakrishnan: Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. ICALP 1990: 370-385
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality LICS 1990: 230-241
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Small Domains Spell Fast Strictness Analysis. POPL 1990: 169-183
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan: Parallel Tree Pattern Matching. J. Symb. Comput. 9(4): 485-501 (1990)
1989
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA 1989: 404-418
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakesh M. Verma, I. V. Ramakrishnan: Some Complexity Theoretic Aspects of AC Rewriting. STACS 1989: 407-420
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Varman, I. V. Ramakrishnan: Optimal Matrix Multiplication on Fault-Tolerant VLSI Arrays. IEEE Trans. Computers 38(2): 278-283 (1989)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajiv Gupta, Alessandro Zorat, I. V. Ramakrishnan: Reconfigurable Multipipelines for Vector Supercomputers. IEEE Trans. Computers 38(9): 1297-1307 (1989)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: Term Matching on Parallel Computers. J. Log. Program. 6(3): 213-228 (1989)
1988
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakesh M. Verma, I. V. Ramakrishnan: Optimal Time Bounds for Parallel Term Matching. CADE 1988: 694-703
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan: Nonlinear Pattern Matching in Trees. ICALP 1988: 473-488
1987
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: Term Matching on Parallel Computers. ICALP 1987: 336-346
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Ramesh, I. V. Ramakrishnan: Optimal Speedups for Parallel Pattern Matching in Trees. RTA 1987: 274-285
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGurdip Singh, Scott A. Smolka, I. V. Ramakrishnan: Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan: Computing Dominators in Parallel. Inf. Process. Lett. 24(4): 217-221 (1987)
1986
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: An Efficient Parallel Algorithm for Term Matching. FSTTCS 1986: 504-518
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Varman, I. V. Ramakrishnan: A Fault-Tolerant VLSI Matrix Multiplier. ICPP 1986: 351-357
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Parallel Approximate Algorithms for the 0-1 Knapsack Problem. ICPP 1986: 444-451
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan: A Parallel Algorithm for Dominators. ICPP 1986: 877-879
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Varman, I. V. Ramakrishnan: Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. IEEE Trans. Computers 35(11): 989-996 (1986)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz: Mapping Homogeneous Graphs on Linear Arrays. IEEE Trans. Computers 35(3): 189-209 (1986)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaunak Pawagi, I. V. Ramakrishnan: An O(log n) Algorithm for Parallel Update of Minimum Spanning Trees. Inf. Process. Lett. 22(5): 223-229 (1986)
1985
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan: O(1) Parallel Time Incremental Graph Algorithms. FSTTCS 1985: 477-495
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Varman, I. V. Ramakrishnan: On Matrix Multiplication Using Array Processors. ICALP 1985: 487-496
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaunak Pawagi, I. V. Ramakrishnan: Parallel Updates of Graph Properties in Logarithmic Time. ICPP 1985: 186-193
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Peter J. Varman: An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. ICPP 1985: 376-383
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Computing Tree Functions on Mesh-Connected Computers. ICPP 1985: 703-710
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: An Efficient Connected Components Algorithm on a Mesh-Connected Computer. ICPP 1985: 711-714
1984
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan: On Mapping Cube Graphs onto VLSI Arrays. FSTTCS 1984: 296-316
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Peter J. Varman: Modular Matrix Multiplication on a Linear Array. ISCA 1984: 232-238
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Varman, I. V. Ramakrishnan, Donald S. Fussell: A Robust Matrix-Multiplication Array. IEEE Trans. Computers 33(10): 919-922 (1984)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Peter J. Varman: Modular Matrix Multiplication on a Linear Array. IEEE Trans. Computers 33(11): 952-958 (1984)
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz: On Mapping Homogeneous Graphs on a Linear Array-Processor Model. ICPP 1983: 440-447
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, James C. Browne: A Paradigm for the Design of Parallel Algorithms with Applications. IEEE Trans. Software Eng. 9(4): 411-415 (1983)

Coauthor Index

1Asad Ahmed [136]
2Faisal Ahmed [146]
3Siva Anantharaman [58]
4Leo Bachmair [46] [58] [61] [73] [83]
5Chitta Baral [120]
6Samik Basu [89]
7R. Bhimavarapu [120]
8Jeffrey P. Bigham [141] [145]
9Michael L. Bittner [120]
10Yevgen Borodin [127] [131] [132] [134] [135] [136] [137] [141] [144] [145] [146] [147] [148]
11James C. Browne [1]
12Jacques Chabin [58]
13Ta Chen [42] [46] [48] [58] [61]
14Prashant Choudhari [94]
15Baoqiu Cui [67]
16Dipanjan Das [127] [135]
17Glenn Dausch [148]
18Hasan Davulcu [66] [72] [74] [81] [84] [94] [95] [96] [99] [100] [102] [109] [111] [113] [115] [120]
19Steven Dawson [47] [54] [55] [57] [74]
20Yifei Dong [67] [71] [85] [103] [112]
21Xiaoqun Du [67] [71] [85]
22Vineet Enagandula [121]
23Emilia Entcheva [138]
24Juliana Freire [72]
25Donald S. Fussell [2] [4] [14]
26P. S. Gopalakrishnan [7] [8] [16] [17] [20] [36]
27Radu Grosu [138]
28Hai-Feng Guo [90] [97] [103] [112] [130] [137]
29Rajiv Gupta [27]
30Muhammad Asiful Islam [146]
31Abhishek Joglekar [94]
32Ernie Johnson [77]
33Nikeeta Julasana [111] [113] [115]
34Niraj Juthani [121]
35Laveen N. Kanal [7] [8] [17] [36]
36Owen Kaser [41] [62]
37Akshat Khandelwal [111]
38Michael Kifer [66] [72] [74] [81] [84] [106] [109] [116]
39Seungchan Kim [120]
40K. Narayan Kumar [67] [75] [76] [78] [79] [93] [108]
41Zoé Lacroix [113] [115]
42Huan Liu [120]
43Miao Liu [130]
44Anupama Lolage [111]
45Jalal Mahmud [122] [127] [128] [131] [132] [133] [134] [135] [136] [137] [143] [144] [146] [147]
46Prateek Mishra [38] [63]
47S. Mitra [138]
48Akshay More [94]
49Saikat Mukherjee [94] [95] [96] [99] [101] [102] [104] [105] [114] [116] [118] [119] [122] [124] [128] [140]
50Madhavan Mukund [89]
51Saravanakumar Nagarajan [100]
52Kaushal Parekh [113] [115]
53Supriya Patil [94]
54Shaunak Pawagi [10] [12] [13] [16] [20] [30] [33] [41]
55Giridhar Pemmasani [98] [103] [112]
56L. Robert Pokorny [74]
57Y. S. Ramakrishna [64] [71]
58C. R. Ramakrishnan [41] [47] [54] [55] [56] [57] [60] [61] [62] [64] [65] [66] [67] [68] [69] [71] [73] [74] [75] [77] [78] [79] [80] [85] [88] [89] [90] [93] [97] [98] [103] [108] [112] [126] [129] [130] [139] [142] [147]
59Rohit Raman [145]
60R. Ramesh [22] [23] [24] [26] [31] [32] [37] [39] [42] [43] [48] [50] [51] [52] [86]
61Prasad Rao [49] [59] [60] [68] [70] [77]
62Devashish Rawal [121]
63Partha S. Roop [130]
64Abhik Roychoudhury [65] [67] [69] [75] [76] [78] [79] [80] [85] [91] [93] [107] [108]
65Konstantinos F. Sagonas [54] [59] [70]
66R. Sekar [88] [117] [125]
67R. C. Sekar [30] [33] [34] [38] [41] [43] [44] [45] [47] [50] [51] [53] [56] [62] [63] [69] [86] [87]
68Arvind Seth [95]
69Deepak D. Sherlekar [12]
70Abraham Silberschatz (Avi Silberschatz) [2] [14]
71Amarjeet Singh [119]
72Anu Singh [139] [142]
73Gurdip Singh [21]
74Prabhdeep Singh [111] [120]
75Steven Skiena [54]
76Scott A. Smolka [21] [64] [65] [67] [71] [79] [85] [88] [138]
77Oleg Sokolsky [71]
78Eugene W. Stark [71]
79Amanda Stent [110] [123] [132] [137] [141]
80Scott D. Stoller [139]
81Zan Sun [122] [123] [128]
82Subramanyam Swaminathan [133]
83Terrance Swift [49] [54] [57] [59] [64] [70]
84Wenfang Tan [102] [105]
85Krishnaprasad Thirunarayan [19] [23] [26]
86Ashish Tiwari [73] [83]
87Srinivas Vadrevu [100]
88Peter J. Varman [3] [4] [5] [9] [11] [15] [18] [28]
89Priyanka Vasudevan [111]
90V. N. Venkatakrishnan [85] [117] [125]
91Rakesh M. Verma [19] [23] [25] [26] [29] [35] [40] [89]
92Ritwick Vidyasagar [121]
93Laurent Vigneron [83]
94Andrei Voronkov [87]
95David Scott Warren [32] [49] [52] [54] [59] [64] [67] [70] [71] [126] [129] [139] [142]
96Jennifer L. Wong [142]
97Wei Xu [117] [125]
98Guizhen Yang [81] [84] [101] [102] [104] [105] [106] [110]
99Pei Ye [138]
100Chang Zhao [124] [133] [143]
101Alessandro Zorat [27]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)