I. V. Ramakrishnan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
139
Venues
44
Active years
1983–2026
Best venue rank
A*
Where they publish
- AASSETS16 papers
- A*CHI14 papers
- BICLP11 papers
- AIUI10 papers
- A*WWW9 papers
- BICPP8 papers
- A*UIST7 papers
- ASDM5 papers
- A*ICALP5 papers
- A*POPL4 papers
- ACIKM3 papers
- A*CAV3 papers
- A*ICRA2 papers
- AIROS2 papers
- NationalHCI2 papers
- AICDAR2 papers
- NationalFLOPS2 papers
- A*ICDM2 papers
- A*IJCAI2 papers
- A*SIGIR2 papers
- A*PODS2 papers
- CPPDP2 papers
- ATACAS2 papers
- ACADE2 papers
- MulticonferenceICASSP1 paper
- A*MOBICOM1 paper
- BSMC1 paper
- AEuroSys1 paper
- BSIGdial1 paper
- UnrankedSENSYS1 paper
- A*CCS1 paper
- BICWE1 paper
- AMobisys1 paper
- AICWS1 paper
- A*ICDE1 paper
- BCoopIS1 paper
- CLOPSTR1 paper
- CNSPW1 paper
- CPADL1 paper
- A*SIGMOD1 paper
- CPEPM1 paper
- A*LICS1 paper
- ASTACS1 paper
- A*ISCA1 paper
Papers
139 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CHI | Finding the Signal in the Noise: An Exploratory Study on Assessing the Effectiveness of AI and Accessibility Forums for Blind Users' Support Needs. | Satwik Ram Kodandaram, Jiawei Zhou, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok |
| 2026 | CHI | KeySense: LLM-Powered Hands-Down, Ten-Finger Typing on Commodity Touchscreens. | Tony Li, Yan Ma, Zhuojun Li, Chun Yu, I. V. Ramakrishnan, Xiaojun Bi |
| 2026 | CHI | Lost in Instructions: Study of Blind Users' Experiences with DIY Manuals and AI-Rewritten Instructions for Assembly, Operation, and Troubleshooting of Tangible Products. | Monalika Padma Reddy, Aruna Balasubramanian, Jiawei Zhou, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok |
| 2025 | ASSETS | GestureVoice: Enabling Multimodal Text Editing for Blind Users Using Gestures and Voice. | Prerna Khanna, Monalika Padma Reddy, I. V. Ramakrishnan, Xiaojun Bi, Aruna Balasubramanian |
| 2025 | CHI | LLM Powered Text Entry Decoding and Flexible Typing on Smartphones. | Yan Ma, Dan Zhang, I. V. Ramakrishnan, Xiaojun Bi |
| 2025 | CHI | Tap&Say: Touch Location-Informed Large Language Model for Multimodal Text Correction on Smartphones. | Maozheng Zhao, Michael Xuelin Huang, Nathan G. Huang, Shanqing Cai, Henry Huang, Michael G. Huang, Shumin Zhai, I. V. Ramakrishnan, Xiaojun Bi |
| 2025 | ICRA | Point Cloud Decomposition for Task-Oriented Grasping. | Khiem Phi, Aditya Patankar, Dasharadhan Mahalingam, Nilanjan Chakraborty, I. V. Ramakrishnan |
| 2025 | IROS | Transferring Kinesthetic Demonstrations across Diverse Objects for Manipulation Planning. | Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2025 | UIST | Enabling Auto-Correction on Soft Braille Keyboard. | Dan Zhang, Yan Ma, Glenn Dausch, William H. Seiple, Xianfeng David Gu, I. V. Ramakrishnan, Xiaojun Bi |
| 2024 | ASSETS | Screen Reading Enabled by Large Language Models. | Anujay Ghosh, Monalika Padma Reddy, Satwik Ram Kodandaram, Utku Uckun, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan |
| 2024 | ASSETS | Enabling Uniform Computer Interaction Experience for Blind Users through Large Language Models. | Satwik Ram Kodandaram, Utku Uckun, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok |
| 2024 | CHI | Hand Gesture Recognition for Blind Users by Tracking 3D Gesture Trajectory. | Prerna Khanna, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian |
| 2024 | ICASSP | Enhancing Image-Text Matching with Adaptive Feature Aggregation. | Zuhui Wang, Yunting Yin, I. V. Ramakrishnan |
| 2024 | ICRA | Containerized Vertical Farming Using Cobots. | Dasharadhan Mahalingam, Aditya Patankar, Khiem Phi, Nilanjan Chakraborty, Ryan McGann, I. V. Ramakrishnan |
| 2024 | UIST | Accessible Gesture Typing on Smartphones for People with Low Vision. | Dan Zhang, Zhi Li, Vikas Ashok, William H. Seiple, I. V. Ramakrishnan, Xiaojun Bi |
| 2023 | CHI | GlanceWriter: Writing Text by Glancing Over Letters with Gaze. | Wenzhe Cui, Rui Liu, Zhi Li, Yifan Wang, Andrew Wang, Xia Zhao, Sina Rashidian, Furqan Baig, I. V. Ramakrishnan, Fusheng Wang, Xiaojun Bi |
| 2023 | CHI | Modeling Touch-based Menu Selection Performance of Blind Users via Reinforcement Learning. | Zhi Li, Yu-Jung Ko, Aini Putkonen, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan, Antti Oulasvirta, Xiaojun Bi |
| 2023 | IROS | Task-Oriented Grasping with Point Cloud Representation of Objects. | Aditya Patankar, Khiem Phi, Dasharadhan Mahalingam, Nilanjan Chakraborty, I. V. Ramakrishnan |
| 2023 | IUI | Taming Entangled Accessibility Forum Threads for Efficient Screen Reading. | Anand Ravi Aiyer, I. V. Ramakrishnan, Vikas Ashok |
| 2023 | MOBICOM | AccessWear: Making Smartphone Applications Accessible to Blind Users. | Prerna Khanna, Shirin Feiz, Jian Xu, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian |
| 2022 | CHI | Select or Suggest? Reinforcement Learning-based Method for High-Accuracy Target Selection on Touchscreens. | Zhi Li, Maozheng Zhao, Dibyendu Das, Hang Zhao, Yan Ma, Wanyu Liu, Michel Beaudouin-Lafon, Fusheng Wang, I. V. Ramakrishnan, Xiaojun Bi |
| 2022 | IUI | EyeSayCorrect: Eye Gaze and Voice Based Hands-free Text Correction for Mobile Devices. | Maozheng Zhao, Henry Huang, Zhi Li, Rui Liu, Wenzhe Cui, Kajal Toshniwal, Ananya Goel, Andrew Wang, Xia Zhao, Sina Rashidian, Furqan Baig, Khiem Phi, Shumin Zhai, I. V. Ramakrishnan, Fusheng Wang, Xiaojun Bi |
| 2021 | CHI | BackSwipe: Back-of-device Word-Gesture Interaction on Smartphones. | Wenzhe Cui, Suwen Zhu, Zhi Li, Zheer Xu, Xing-Dong Yang, I. V. Ramakrishnan, Xiaojun Bi |
| 2021 | CIKM | Non-Visual Accessibility Assessment of Videos. | Ali Selman Aydin, Yu-Jung Ko, Utku Uckun, I. V. Ramakrishnan, Vikas Ashok |
| 2021 | UIST | Modeling Touch Point Distribution with Rotational Dual Gaussian Model. | Yan Ma, Shumin Zhai, I. V. Ramakrishnan, Xiaojun Bi |
| 2021 | UIST | Voice and Touch Based Error-tolerant Multimodal Text Editing and Correction for Smartphones. | Maozheng Zhao, Wenzhe Cui, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi |
| 2020 | ASSETS | Screen Magnification for Office Applications. | Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | ASSETS | Ontology-Driven Transformations for PDF Form Accessibility. | Utku Uckun, Ali Selman Aydin, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | HCI | Rotate-and-Press: A Non-visual Alternative to Point-and-Click? | Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | IUI | Towards making videos accessible for low vision screen magnifier users. | Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | IUI | SaIL: saliency-driven injection of ARIA landmarks. | Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | SMC | Repurposing Visual Input Modalities for Blind Users: A Case Study of Word Processors. | Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan |
| 2020 | UIST | Modeling Two Dimensional Touch Pointing. | Yu-Jung Ko, Hang Zhao, Yoonsang Kim, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi |
| 2019 | CHI | Accessible Gesture Typing for Non-Visual Text Entry on Smartphones. | Syed Masum Billah, Yu-Jung Ko, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan |
| 2019 | CHI | Towards Enabling Blind People to Independently Write on Printed Forms. | Shirin Feiz, Syed Masum Billah, Vikas Ashok, Roy Shilkrot, I. V. Ramakrishnan |
| 2018 | CHI | SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing. | Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan |
| 2018 | IUI | Write-it-Yourself with the Aid of Smartwatches: A Wizard-of-Oz Experiment with Blind People. | Syed Masum Billah, Vikas Ashok, I. V. Ramakrishnan |
| 2017 | ASSETS | Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing. | Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan |
| 2017 | CHI | Ubiquitous Accessibility for People with Visual Impairments: Are We There Yet? | Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan |
| 2017 | HCI | Non-visual Web Browsing: Beyond Web Accessibility. | I. V. Ramakrishnan, Vikas Ashok, Syed Masum Billah |
| 2017 | IUI | Web Screen Reading Automation Assistance Using Semantic Abstraction. | Vikas Ashok, Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan |
| 2016 | ASSETS | A Platform Agnostic Remote Desktop System for Screen Reading. | Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan |
| 2016 | ASSETS | Tactile Accessibility: Does Anyone Need a Haptic Glove? | Andrii Soviak, Anatoliy Borodin, Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan |
| 2016 | EuroSys | Sinter: low-bandwidth remote access for the visually-impaired. | Syed Masum Billah, Donald E. Porter, I. V. Ramakrishnan |
| 2015 | ASSETS | Feel the Web: Towards the Design of Haptic Screen Interfaces for Accessible Web Browsing. | Andrii Soviak, Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan |
| 2014 | SIGdial | Dialogue Act Modeling for Non-Visual Web Access. | Vikas Ashok, Yevgen Borodin, Svetlana Stoyanchev, I. V. Ramakrishnan |
| 2013 | IUI | Non-visual skimming on touch-screen devices. | Faisal Ahmed, Andrii Sovyak, Yevgen Borodin, I. V. Ramakrishnan |
| 2013 | WWW | Predictive web automation assistant for people with vision impairments. | Yury Puzis, Yevgen Borodin, Rami Puzis, I. V. Ramakrishnan |
| 2012 | ASSETS | Thematic organization of web content for distraction-free text-to-speech narration. | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan |
| 2012 | UIST | Accessible skimming: faster screen reading of web pages. | Faisal Ahmed, Yevgen Borodin, Andrii Sovyak, Muhammad Asiful Islam, I. V. Ramakrishnan, Terri Hedgpeth |
| 2011 | ASSETS | Guidelines for an accessible web automation interface. | Yury Puzis, Eugene Borodin, Faisal Ahmed, Valentyn Melnyk, I. V. Ramakrishnan |
| 2011 | CIKM | Tightly coupling visual and linguistic features for enriching audio-based web browsing experience. | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan |
| 2010 | ASSETS | Assistive web browsing with touch interfaces. | Faisal Ahmed, Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan |
| 2010 | WWW | Hearsay: a new generation context-driven multi-modal assistive web browser. | Yevgen Borodin, Faisal Ahmed, Muhammad Asiful Islam, Yury Puzis, Valentyn Melnyk, Song Feng, I. V. Ramakrishnan, Glenn Dausch |
| 2010 | UIST | Mixture model based label association techniques for web accessibility. | Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan |
| 2010 | SDM | Improving Accessibility of Transaction-centric Web Objects. | Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan |
| 2009 | WWW | Automated construction of web accessibility models from transaction click-streams. | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan |
| 2008 | ASSETS | What's new?: making web page updates accessible. | Yevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan |
| 2008 | IUI | Assistive browser for conducting web transactions. | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan |
| 2008 | SENSYS | A methodology for in-network evaluation of integrated logical-statistical models. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong |
| 2008 | SDM | Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields. | Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan |
| 2007 | CCS | Security policy analysis using deductive spreadsheets. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren |
| 2007 | ICDAR | A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. | Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan |
| 2007 | ICWE | WebVAT: Web Page Visualization and Analysis Tool. | Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan |
| 2007 | IUI | Combating information overload in non-visual web access using context. | Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan |
| 2007 | Mobisys | Context browsing with mobiles - when less is more. | Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan |
| 2007 | WWW | Csurf: a context-driven non-visual web-browser. | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan |
| 2007 | SDM | Computing Statistical Profiles of Active Sites in Proteins. | Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan |
| 2006 | ASSETS | Improving non-visual web access using context. | Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan |
| 2006 | ICLP | Deductive Spreadsheets Using Tabled Logic Programming. | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
| 2006 | ICWS | A Framework for Building Privacy-Conscious Composite Web Services. | Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan |
| 2006 | WWW | Model-directed web transactions under constrained modalities. | Zan Sun, Jalal Mahmud, Saikat Mukherjee, I. V. Ramakrishnan |
| 2006 | SDM | Profiling Protein Families from Partially Aligned Sequences. | Saikat Mukherjee, Chang Zhao, I. V. Ramakrishnan |
| 2005 | ASSETS | BlackBoardNV: a system for enabling non-visual access to the blackboard course management system. | Vineet Enagandula, Niraj Juthani, I. V. Ramakrishnan, Devashish Rawal, Ritwick Vidyasagar |
| 2005 | ICDE | Bootstrapping Semantic Annotations for Content-Rich HTML Documents. | Saikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh |
| 2005 | WWW | Browsing fatigue in handhelds: semantic bookmarking spells relief. | Saikat Mukherjee, I. V. Ramakrishnan |
| 2005 | WWW | An approach for realizing privacy-preserving web-based services. | Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan |
| 2004 | ASSETS | Semantic bookmarking for non-visual web access. | Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer |
| 2004 | CoopIS | Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences. | Saikat Mukherjee, I. V. Ramakrishnan |
| 2004 | FLOPS | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2004 | IUI | WinAgent: a system for creating and executing personal information assistants using a web browser. | Nikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan |
| 2004 | WWW | CTR-S: a logic for specifying contracts in semantic web services. | Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan |
| 2004 | WWW | Hearsay: enabling audio browsing on hypertext content. | I. V. Ramakrishnan, Amanda Stent, Guizhen Yang |
| 2003 | CIKM | On the complexity of schema inference from web pages in the presence of nullable data attributes. | Guizhen Yang, I. V. Ramakrishnan, Michael Kifer |
| 2003 | ICDAR | Automatic Discovery of Semantic Structures in HTML Documents. | Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan |
| 2003 | ICDM | On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources. | Guizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan |
| 2003 | ICLP | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | IJCAI | On the Power of Semantic Partitioning of Web Documents. | Guizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu |
| 2002 | ICDM | Extraction Techniques for Mining Services from Web Sources. | Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan |
| 2002 | ICLP | Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. | Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | LOPSTR | Justification Based on Program Transformation. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | SIGIR | YellowPager: a tool for ontology-based mining of service directories from web sources. | Prashant Choudhari, Hasan Davulcu, Abhishek Joglekar, Akshay More, Saikat Mukherjee, Supriya Patil, I. V. Ramakrishnan |
| 2002 | SIGIR | CuTeX: a system for extracting data from text tables. | Hasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan |
| 2002 | SDM | A Clustering Technique for Mining Data from Text Tables. | Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan |
| 2001 | CAV | Automated Inductive Verification of Parameterized Protocols. | Abhik Roychoudhury, I. V. Ramakrishnan |
| 2001 | ICLP | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
| 2001 | ICLP | Speculative Beats Conservative Justification. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2001 | NSPW | Model-Carrying Code (MCC): a new paradigm for mobile-code security. | R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 2000 | CAV | XMC: A Logic-Programming-Based Verification Toolset. | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan |
| 2000 | PADL | Current Trends in Logic Programming: Prospects and Promises. | I. V. Ramakrishnan |
| 2000 | PODS | Computational Aspects of Resilient Data Extraction from Semistructured Sources. | Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan |
| 2000 | PPDP | Justifying proofs using memo tables. | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2000 | TACAS | Verification of Parameterized Systems Using Logic Program Transformations. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 1999 | FLOPS | A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. | Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao |
| 1999 | ICLP | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
| 1999 | PPDP | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1999 | SIGMOD | A Layered Architecture for Querying Dynamic Web Content. | Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan |
| 1999 | TACAS | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1998 | ICLP | On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1998 | PODS | Logic Based Modeling and Analysis of Workflows. | Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1997 | CAV | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1996 | ICLP | A Thread in Time Saves Tabling Time. | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1995 | ICLP | Efficient Tabling Mechanisms for Logic Programs. | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | IJCAI | Experiments with Associative-Commutative Discrimination Nets. | Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin |
| 1995 | PEPM | A Symbolic Constraint Solving Framework for Analysis of Logic Programs. | C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1995 | POPL | Unification Factoring for Efficient Execution of Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
| 1993 | ICLP | Extracting Determinacy in Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1992 | CADE | Programming with Equations: A Framework for Lazy Parallel Evaluation. | R. C. Sekar, I. V. Ramakrishnan |
| 1992 | ICALP | Adaptive Pattern Matching. | R. C. Sekar, R. Ramesh, I. V. Ramakrishnan |
| 1992 | ICLP | Multistage Indexing Algorithms for Speeding Prolog Execution. | Ta Chen, I. V. Ramakrishnan, R. Ramesh |
| 1991 | POPL | On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
| 1990 | ICALP | Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. | Rakesh M. Verma, I. V. Ramakrishnan |
| 1990 | LICS | Programming in Equational Logic: Beyond Strong Sequentiality | R. C. Sekar, I. V. Ramakrishnan |
| 1990 | POPL | Automata-Driven Indexing of Prolog Clauses. | R. Ramesh, I. V. Ramakrishnan, David Scott Warren |
| 1990 | POPL | Small Domains Spell Fast Strictness Analysis. | R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan |
| 1989 | STACS | Some Complexity Theoretic Aspects of AC Rewriting. | Rakesh M. Verma, I. V. Ramakrishnan |
| 1988 | CADE | Optimal Time Bounds for Parallel Term Matching. | Rakesh M. Verma, I. V. Ramakrishnan |
| 1988 | ICALP | Nonlinear Pattern Matching in Trees. | R. Ramesh, I. V. Ramakrishnan |
| 1987 | ICALP | Term Matching on Parallel Computers. | R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan |
| 1986 | ICPP | Parallel Approximate Algorithms for the 0-1 Knapsack Problem. | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal |
| 1986 | ICPP | A Parallel Algorithm for Dominators. | Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan |
| 1986 | ICPP | A Fault-Tolerant VLSI Matrix Multiplier. | Peter J. Varman, I. V. Ramakrishnan |
| 1985 | ICALP | On Matrix Multiplication Using Array Processors. | Peter J. Varman, I. V. Ramakrishnan |
| 1985 | ICPP | Computing Tree Functions on Mesh-Connected Computers. | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal |
| 1985 | ICPP | An Efficient Connected Components Algorithm on a Mesh-Connected Computer. | P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal |
| 1985 | ICPP | Parallel Updates of Graph Properties in Logarithmic Time. | Shaunak Pawagi, I. V. Ramakrishnan |
| 1985 | ICPP | An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. | I. V. Ramakrishnan, Peter J. Varman |
| 1984 | ISCA | Modular Matrix Multiplication on a Linear Array. | I. V. Ramakrishnan, Peter J. Varman |
| 1983 | ICPP | On Mapping Homogeneous Graphs on a Linear Array-Processor Model. | I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz |