- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j37 |      | Yevgen Borodin, Valentin Polishchuk, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent: Live and learn from mistakes: A lightweight system for document classification. Inf. Process. Manage. 49(1): 83-98 (2013) |
| c130 | | Faisal Ahmed, Andrii Sovyak, Yevgen Borodin, I. V. Ramakrishnan: Non-visual skimming on touch-screen devices. IUI 2013: 435-444 |
| 2012 | ||
| j36 | | I. V. Ramakrishnan, J. J. Tithi, A. Bagate, V. Khot, Faisal Ahmed, D. Harrington, R. Talati: Organizing RadLex lexicon for efficient retrieval of radiology documents. SIGHIT Record 2(1): 26 (2012) |
| j35 | | Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan: Inference in probabilistic logic programs with continuous random variables. TPLP 12(4-5): 505-523 (2012) |
| j34 | | Jalal Mahmud, I. V. Ramakrishnan: Transaction models for Web accessibility. World Wide Web 15(4): 383-408 (2012) |
| c129 | | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan: Thematic organization of web content for distraction-free text-to-speech narration. ASSETS 2012: 17-24 |
| c128 | | Faisal Ahmed, Yevgen Borodin, Andrii Sovyak, Muhammad Asiful Islam, I. V. Ramakrishnan, Terri Hedgpeth: Accessible skimming: faster screen reading of web pages. UIST 2012: 367-378 |
| c127 | | Yevgen Borodin, Andrii Sovyak, Alexander Dimitriyadi, Yury Puzis, Valentyn Melnyk, Faisal Ahmed, Glenn Dausch, I. V. Ramakrishnan: Universal and ubiquitous web access with Capti. W4A 2012: 27 |
| c126 | | Faisal Ahmed, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan: Why read if you can skim: towards enabling faster screen reading. W4A 2012: 39 |
| c125 | | Yury Puzis, Yevgen Borodin, Faisal Ahmed, I. V. Ramakrishnan: An intuitive accessible web automation user interface. W4A 2012: 41 |
| i2 | | Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan: Parameter Learning in PRISM Programs with Continuous Random Variables. CoRR abs/1203.4287 (2012) |
| 2011 | ||
| c124 | | Yury Puzis, Eugene Borodin, Faisal Ahmed, Valentyn Melnyk, I. V. Ramakrishnan: Guidelines for an accessible web automation interface. ASSETS 2011: 249-250 |
| c123 | | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan: Tightly coupling visual and linguistic features for enriching audio-based web browsing experience. CIKM 2011: 2085-2088 |
| i1 | | Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan: Inference in Probabilistic Logic Programs with Continuous Random Variables. CoRR abs/1112.2681 (2011) |
| 2010 | ||
| c122 | | Faisal Ahmed, Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan: Assistive web browsing with touch interfaces. ASSETS 2010: 235-236 |
| c121 | | Supriya Garg, I. V. Ramakrishnan, Klaus Mueller: A visual analytics approach to model learning. IEEE VAST 2010: 67-74 |
| c120 | | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan: Improving Accessibility of Transaction-centric Web Objects. SDM 2010: 37-48 |
| c119 | | Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan: Mixture model based label association techniques for web accessibility. UIST 2010: 67-76 |
| c118 | | Yevgen Borodin, Jeffrey P. Bigham, Glenn Dausch, I. V. Ramakrishnan: More than meets the eye: a survey of screen-reader browsing strategies. W4A 2010: 13 |
| c117 | | Yevgen Borodin, Faisal Ahmed, Muhammad Asiful Islam, Yury Puzis, Valentyn Melnyk, Song Feng, I. V. Ramakrishnan, Glenn Dausch: Hearsay: a new generation context-driven multi-modal assistive web browser. WWW 2010: 1233-1236 |
| 2009 | ||
| j33 | | I. 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) |
| c116 | | Yevgen Borodin, Glenn Dausch, I. V. Ramakrishnan: TeleWeb: accessible service for web browsing via phone. W4A 2009: 96-97 |
| c115 | | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan: Automated construction of web accessibility models from transaction click-streams. WWW 2009: 871-880 |
| 2008 | ||
| j32 | | Saikat Mukherjee, I. V. Ramakrishnan: Automated Semantic Analysis of Schematic Data. World Wide Web 11(4): 427-464 (2008) |
| c114 | | Yevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan: What's new?: making web page updates accessible. ASSETS 2008: 145-152 |
| c113 | | Supriya Garg, Julia Eunju Nam, I. V. Ramakrishnan, Klaus Mueller: Model-driven Visual Analytics. IEEE VAST 2008: 19-26 |
| c112 | | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan: Assistive browser for conducting web transactions. IUI 2008: 365-368 |
| c111 | | Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan: Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields. SDM 2008: 420-431 |
| c110 | | Anu 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 |
| c109 | | Yevgen Borodin, Jeffrey P. Bigham, Amanda Stent, I. V. Ramakrishnan: Towards one world web with HearSay3. W4A 2008: 130-131 |
| 2007 | ||
| j31 | | Hai-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) |
| j30 | | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: XcelLog: a deductive spreadsheet system. Knowledge Eng. Review 22(3): 269-279 (2007) |
| j29 | | Zan Sun, Jalal Mahmud, I. V. Ramakrishnan, Saikat Mukherjee: Model-directed Web transactions under constrained modalities. TWEB 1(3) (2007) |
| c108 | | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50 |
| c107 | | Radu 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 |
| c106 | | Hai-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 |
| c105 | | Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan: WebVAT: Web Page Visualization and Analysis Tool. ICWE 2007: 516-520 |
| c104 | | Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan: Combating information overload in non-visual web access using context. IUI 2007: 341-344 |
| c103 | | Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan: Context browsing with mobiles - when less is more. MobiSys 2007: 3-15 |
| c102 | | Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan: Computing Statistical Profiles of Active Sites in Proteins. SDM 2007 |
| c101 | | Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent: The HearSay non-visual web browser. W4A 2007: 128-129 |
| c100 | | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan: Csurf: a context-driven non-visual web-browser. WWW 2007: 31-40 |
| 2006 | ||
| c99 | | Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan: Improving non-visual web access using context. ASSETS 2006: 273-274 |
| c98 | | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405 |
| c97 | | Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan: A Framework for Building Privacy-Conscious Composite Web Services. ICWS 2006: 655-662 |
| c96 | | Susan E. Brennan, Klaus Mueller, Greg Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman: Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST 2006: 129-136 |
| c95 | | Saikat Mukherjee, Chang Zhao, I. V. Ramakrishnan: Profiling Protein Families from Partially Aligned Sequences. SDM 2006 |
| c94 | | |
| c93 | | Zan Sun, Jalal Mahmud, Saikat Mukherjee, I. V. Ramakrishnan: Model-directed web transactions under constrained modalities. WWW 2006: 447-456 |
| 2005 | ||
| c92 | | Vineet 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 |
| c91 | | Prabhdeep 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 |
| c90 | | Saikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh: Bootstrapping Semantic Annotations for Content-Rich HTML Documents. ICDE 2005: 583-593 |
| c89 | | Saikat Mukherjee, I. V. Ramakrishnan: Browsing fatigue in handhelds: semantic bookmarking spells relief. WWW 2005: 593-602 |
| c88 | | Wei 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 | ||
| j28 | | Abhik Roychoudhury, I. V. Ramakrishnan: Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004) |
| j27 | | Abhik 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) |
| c87 | | Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer: Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192 |
| c86 | | Saikat Mukherjee, I. V. Ramakrishnan: Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences. CoopIS/DOA/ODBASE (2) 2004: 909-926 |
| c85 | | Zoé Lacroix, Kaushal Parekh, Hasan Davulcu, I. V. Ramakrishnan, Nikeeta Julasana: Automating the Biological Data Collection Process with Agents. CSB 2004: 489-490 |
| c84 | | Hasan Davulcu, Zoé Lacroix, Kaushal Parekh, I. V. Ramakrishnan, Nikeeta Julasana: Exploiting Agent and Database Technologies for Biological Data Collection. DEXA Workshops 2004: 376-381 |
| c83 | | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38 |
| c82 | | Nikeeta 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 |
| c81 | | I. V. Ramakrishnan, Amanda Stent, Guizhen Yang: Hearsay: enabling audio browsing on hypertext content. WWW 2004: 80-89 |
| c80 | | Hasan 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 |
| 2003 | ||
| j26 | | Hasan 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) |
| c79 | | Guizhen 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 |
| c78 | | Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan: Automatic Discovery of Semantic Structures in HTML Documents. ICDAR 2003: 245-249 |
| c77 | | Guizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan: On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources. ICDM 2003: 395-402 |
| c76 | | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501 |
| c75 | | Guizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu: On the Power of Semantic Partitioning of Web Documents. IIWeb 2003: 39-44 |
| c74 | | Saikat Mukherjee, Guizhen Yang, I. V. Ramakrishnan: Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis. International Semantic Web Conference 2003: 533-549 |
| 2002 | ||
| j25 | | Abhik 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) |
| c73 | | Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan: Extraction Techniques for Mining Services from Web Sources. ICDM 2002: 601-604 |
| c72 | | Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan: Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP 2002: 100-114 |
| c71 | | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Justification Based on Program Transformation. LOPSTR 2002: 158-159 |
| c70 | | Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan: A Clustering Technique for Mining Data from Text Tables. SDM 2002 |
| c69 | | Hasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan: CuTeX: a system for extracting data from text tables. SIGIR 2002: 457 |
| c68 | | Prashant 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 |
| 2001 | ||
| j24 | | R. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-driven efficient subterm unification. Theor. Comput. Sci. 254(1-2): 187-223 (2001) |
| p1 |  | I. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov: Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964 |
| c67 | | Abhik Roychoudhury, I. V. Ramakrishnan: Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37 |
| c66 | | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Speculative Beats Conservative Justification. ICLP 2001: 150-165 |
| c65 | | Samik 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 |
| c64 | | R. 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 |
| e1 | | I. V. Ramakrishnan (Ed.): Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Lecture Notes in Computer Science 1990, Springer 2001, isbn 3-540-41768-0 |
| 2000 | ||
| j23 | | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren: Specification and evaluation of logic-based model checking. ACM SIGSOFT Software Engineering Notes 25(1): 73-74 (2000) |
| c63 | | C. 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 |
| c62 | | Hasan 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 |
| c61 | | Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron: Congruence Closure Modulo Associativity and Commutativity. FroCoS 2000: 245-259 |
| c60 | | |
| c59 | | Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144 |
| c58 | | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan: Justifying proofs using memo tables. PPDP 2000: 178-189 |
| c57 | | Abhik 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 | ||
| j22 | | I. 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) |
| c56 | | Abhik 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 |
| c55 | | Ernie 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 |
| c54 | | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616 |
| c53 | | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413 |
| c52 | | Hasan 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 |
| c51 | | Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari: Normalization via Rewrite Closures. RTA 1999: 190-204 |
| c50 | | Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan: A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502 |
| c49 | | Yifei 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 |
| 1998 | ||
| c48 | | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205 |
| c47 | | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan: On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP 1998: 310-324 |
| c46 | | Baoqiu 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 |
| c45 | | Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 |
| c44 | | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88 |
| 1997 | ||
| j21 | | R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra: On the power and limitations of strictness analysis. J. ACM 44(3): 505-525 (1997) |
| j20 | | Owen 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) |
| c43 | | Y. 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 |
| 1996 | ||
| c42 | | Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148 |
| c41 | | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan: A Thread in Time Saves Tabling Time. JICSLP 1996: 112-126 |
| 1995 | ||
| j19 | | R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23(2): 151-202 (1995) |
| j18 | | R. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. SIAM J. Comput. 24(6): 1207-1234 (1995) |
| j17 | | R. C. Sekar, I. V. Ramakrishnan: Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17(6): 896-937 (1995) |
| c40 | | I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 |
| c39 | | Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355 |
| c38 | | C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM 1995: 12-23 |
| c37 | | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan: Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. PLILP 1995: 133-150 |
| c36 | | Steven 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 |
| c35 | | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift: Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208 |
| 1994 | ||
| j16 | | Ta Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing for Speeding Prolog Executions. Softw., Pract. Exper. 24(12): 1097-1119 (1994) |
| c34 | | Prasad 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 |
| c33 | | R. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-Driven Efficient Subterm Unification. FSTTCS 1994: 288-299 |
| 1993 | ||
| j15 | | R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality. Inf. Comput. 104(1): 78-109 (1993) |
| c32 | | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. ICLP 1993: 424-438 |
| c31 | | Leo Bachmair, Ta Chen, I. V. Ramakrishnan: Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74 |
| 1992 | ||
| j14 | | Rakesh M. Verma, I. V. Ramakrishnan: Tight Complexity Bounds for Term Matching Problems. Inf. Comput. 101(1): 33-69 (1992) |
| j13 | | |
| c30 | | R. C. Sekar, I. V. Ramakrishnan: Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE 1992: 618-632 |
| c29 | | |
| c28 | | Ta Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing Algorithms for Speeding Prolog Execution. JICSLP 1992: 639-653 |
| c27 | | Owen 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 |
| 1991 | ||
| j12 | | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Approximate Algorithms for the Knapsack Problem on Parallel Computers. Inf. Comput. 91(2): 155-171 (1991) |
| c26 | | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan: On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL 1991: 37-48 |
| c25 | | |
| 1990 | ||
| j11 | | R. Ramesh, I. V. Ramakrishnan: Parallel Tree Pattern Matching. J. Symb. Comput. 9(4): 485-501 (1990) |
| c24 | | Rakesh M. Verma, I. V. Ramakrishnan: Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. ICALP 1990: 370-385 |
| c23 | | R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality. LICS 1990: 230-241 |
| c22 | | R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Small Domains Spell Fast Strictness Analysis. POPL 1990: 169-183 |
| c21 | | R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291 |
| 1989 | ||
| j10 | | R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: Term Matching on Parallel Computers. J. Log. Program. 6(3): 213-228 (1989) |
| j9 | | Peter J. Varman, I. V. Ramakrishnan: Optimal Matrix Multiplication on Fault-Tolerant VLSI Arrays. IEEE Trans. Computers 38(2): 278-283 (1989) |
| j8 | | Rajiv Gupta, Alessandro Zorat, I. V. Ramakrishnan: Reconfigurable Multipipelines for Vector Supercomputers. IEEE Trans. Computers 38(9): 1297-1307 (1989) |
| c20 | | R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA 1989: 404-418 |
| c19 | | Rakesh M. Verma, I. V. Ramakrishnan: Some Complexity Theoretic Aspects of AC Rewriting. STACS 1989: 407-420 |
| 1988 | ||
| c18 | | Rakesh M. Verma, I. V. Ramakrishnan: Optimal Time Bounds for Parallel Term Matching. CADE 1988: 694-703 |
| c17 | | |
| 1987 | ||
| j7 | | Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan: Computing Dominators in Parallel. Inf. Process. Lett. 24(4): 217-221 (1987) |
| c16 | | R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: Term Matching on Parallel Computers. ICALP 1987: 336-346 |
| c15 | | |
| c14 | | Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan: Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107 |
| 1986 | ||
| j6 | | Shaunak Pawagi, I. V. Ramakrishnan: An O(log n) Algorithm for Parallel Update of Minimum Spanning Trees. Inf. Process. Lett. 22(5): 223-229 (1986) |
| j5 | | I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz: Mapping Homogeneous Graphs on Linear Arrays. IEEE Trans. Computers 35(3): 189-209 (1986) |
| j4 | | Peter 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) |
| c13 | | Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan: An Efficient Parallel Algorithm for Term Matching. FSTTCS 1986: 504-518 |
| c12 | | |
| c11 | | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Parallel Approximate Algorithms for the 0-1 Knapsack Problem. ICPP 1986: 444-451 |
| c10 | | Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan: A Parallel Algorithm for Dominators. ICPP 1986: 877-879 |
| 1985 | ||
| c9 | | Deepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan: O(1) Parallel Time Incremental Graph Algorithms. FSTTCS 1985: 477-495 |
| c8 | | Peter J. Varman, I. V. Ramakrishnan: On Matrix Multiplication Using Array Processors. ICALP 1985: 487-496 |
| c7 | | Shaunak Pawagi, I. V. Ramakrishnan: Parallel Updates of Graph Properties in Logarithmic Time. ICPP 1985: 186-193 |
| c6 | | I. V. Ramakrishnan, Peter J. Varman: An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. ICPP 1985: 376-383 |
| c5 | | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: Computing Tree Functions on Mesh-Connected Computers. ICPP 1985: 703-710 |
| c4 | | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal: An Efficient Connected Components Algorithm on a Mesh-Connected Computer. ICPP 1985: 711-714 |
| 1984 | ||
| j3 | | Peter J. Varman, I. V. Ramakrishnan, Donald S. Fussell: A Robust Matrix-Multiplication Array. IEEE Trans. Computers 33(10): 919-922 (1984) |
| j2 | | I. V. Ramakrishnan, Peter J. Varman: Modular Matrix Multiplication on a Linear Array. IEEE Trans. Computers 33(11): 952-958 (1984) |
| c3 | | |
| c2 | | I. V. Ramakrishnan, Peter J. Varman: Modular Matrix Multiplication on a Linear Array. ISCA 1984: 232-238 |
| 1983 | ||
| j1 | | I. V. Ramakrishnan, James C. Browne: A Paradigm for the Design of Parallel Algorithms with Applications. IEEE Trans. Software Eng. 9(4): 411-415 (1983) |
| c1 | | I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz: On Mapping Homogeneous Graphs on a Linear Array-Processor Model. ICPP 1983: 440-447 |
Colors in the list of coauthors
Last update Fri May 24 08:31:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page