I. V. Ramakrishnan

According to our database, I. V. Ramakrishnan authored at least 230 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Screw Geometry Meets Bandits: Incremental Acquisition of Demonstrations to Generate Manipulation Plans.

Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan

CoRR, 2024

Data Augmentation for Automated Adaptive Rodent Training.

Dibyendu Das, Alfredo Fontanini, Joshua F. Kogan, Haibin Ling, C. R. Ramakrishnan, I. V. Ramakrishnan

CoRR, 2024

Accessible Gesture Typing on Smartphones for People with Low Vision.

Dan Zhang, Zhi Li, Vikas Ashok, William H. Seiple, I. V. Ramakrishnan, Xiaojun Bi

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024

Containerized Vertical Farming Using Cobots.

Dasharadhan Mahalingam, Aditya Patankar, Khiem Phi, Nilanjan Chakraborty, Ryan McGann, I. V. Ramakrishnan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Enhancing Image-Text Matching with Adaptive Feature Aggregation.

Zuhui Wang, Yunting Yin, I. V. Ramakrishnan

Proceedings of the IEEE International Conference on Acoustics, 2024

Hand Gesture Recognition for Blind Users by Tracking 3D Gesture Trajectory.

Prerna Khanna, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

Enabling Uniform Computer Interaction Experience for Blind Users through Large Language Models.

Satwik Ram Kodandaram, Utku Uckun, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok

Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility, 2024

Screen Reading Enabled by Large Language Models.

Anujay Ghosh, Monalika Padma Reddy, Satwik Ram Kodandaram, Utku Uckun, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan

Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility, 2024

2023

AccessWear: Making Smartphone Applications Accessible to Blind Users.

Prerna Khanna, Shirin Feiz, Jian Xu, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian

Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023

Taming Entangled Accessibility Forum Threads for Efficient Screen Reading.

Anand Ravi Aiyer, I. V. Ramakrishnan, Vikas Ashok

Proceedings of the 28th International Conference on Intelligent User Interfaces, 2023

Task-Oriented Grasping with Point Cloud Representation of Objects.

Aditya Patankar, Khiem Phi, Dasharadhan Mahalingam, Nilanjan Chakraborty, I. V. Ramakrishnan

IROS, 2023

Automated Assessment of Critical View of Safety in Laparoscopic Cholecystectomy.

Yunfan Li, Himanshu Gupta, Haibin Ling, I. V. Ramakrishnan, Prateek Prasanna, Georgios Georgakis, Aaron Sasson

Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023

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

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

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

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Surgical Phase Recognition in Laparoscopic Cholecystectomy.

Yunfan Li, Himanshu Gupta, Prateek Prasanna, I. V. Ramakrishnan, Haibin Ling

Proceedings of the CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2023

2022

Surgical Phase Recognition in Laparoscopic Cholecystectomy.

Yunfan Li, Vinayak Shenoy, Prateek Prasanna, I. V. Ramakrishnan, Haibin Ling, Himanshu Gupta

CoRR, 2022

Taming User-Interface Heterogeneity with Uniform Overlays for Blind Users.

Utku Uckun, Rohan Tumkur Suresh, Md Javedul Ferdous, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok

Proceedings of the UMAP '22: 30th ACM Conference on User Modeling, Adaptation and Personalization, Barcelona, Spain, July 4, 2022

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

Proceedings of the IUI 2022: 27th International Conference on Intelligent User Interfaces, Helsinki, Finland, March 22, 2022

EventScore: An Automated Real-time Early Warning Score for Clinical Events.

Ibrahim Hammoud, Prateek Prasanna, I. V. Ramakrishnan, Adam Singer, Mark Henry, Henry C. Thode

Proceedings of the 10th IEEE International Conference on Healthcare Informatics, 2022

Enabling Convenient Online Collaborative Writing for Low Vision Screen Magnifier Users.

Hae Na Lee, Yash Prakash, Mohan Sunkara, I. V. Ramakrishnan, Vikas Ashok

Proceedings of the HT '22: 33rd ACM Conference on Hypertext and Social Media, 2022

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

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

Bringing Things Closer: Enhancing Low-Vision Interaction Experience with Office Productivity Applications.

Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan

Proc. ACM Hum. Comput. Interact., 2021

Voice and Touch Based Error-tolerant Multimodal Text Editing and Correction for Smartphones.

Maozheng Zhao, Wenzhe Cui, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Modeling Touch Point Distribution with Rotational Dual Gaussian Model.

Yan Ma, Shumin Zhai, I. V. Ramakrishnan, Xiaojun Bi

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Modeling Gliding-based Target Selection for Blind Touchscreen Users.

Yu-Jung Ko, Aini Putkonen, Ali Selman Aydin, Shirin Feiz, Yuheng Wang, Vikas Ashok, I. V. Ramakrishnan, Antti Oulasvirta, Xiaojun Bi

Proceedings of the MobileHCI '21: 23rd International Conference on Mobile Human-Computer Interaction, Toulouse & Virtual Event, France, 27 September 2021, 2021

Towards Enabling Blind People to Fill Out Paper Forms with a Wearable Smartphone Assistant.

Shirin Feiz, Anatoliy Borodin, Xiaojun Bi, I. V. Ramakrishnan

Proceedings of the 47th Graphics Interface Conference, 2021

BayesGaze: A Bayesian Approach to Eye-Gaze Based Target Selection.

Zhi Li, Maozheng Zhao, Yifan Wang, Sina Rashidian, Furqan Baig, Rui Liu, Wanyu Liu, Michel Beaudouin-Lafon, Brooke Ellison, Fusheng Wang, I. V. Ramakrishnan, Xiaojun Bi

Proceedings of the 47th Graphics Interface Conference, 2021

Non-Visual Accessibility Assessment of Videos.

Ali Selman Aydin, Yu-Jung Ko, Utku Uckun, I. V. Ramakrishnan, Vikas Ashok

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

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

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

Issues Related to Using Finger-Fitts law to Model One-Dimensional Touch Pointing Tasks.

Yu-Jung Ko, Hang Zhao, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi

Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021

2020

Breaking the Accessibility Barrier in Non-Visual Interaction with PDF Forms.

Utku Uckun, Ali Selman Aydin, Vikas Ashok, I. V. Ramakrishnan

Proc. ACM Hum. Comput. Interact., 2020

A saliency-driven video magnifier for people with low vision.

Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020, 2020

Modeling Two Dimensional Touch Pointing.

Yu-Jung Ko, Hang Zhao, Yoonsang Kim, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Repurposing Visual Input Modalities for Blind Users: A Case Study of Word Processors.

Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

SaIL: saliency-driven injection of ARIA landmarks.

Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the IUI '20: 25th International Conference on Intelligent User Interfaces, 2020

Towards making videos accessible for low vision screen magnifier users.

Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the IUI '20: 25th International Conference on Intelligent User Interfaces, 2020

Multimodal Early Septic Shock Prediction Model using Lasso Regression with Decaying Response.

Ibrahim Hammoud, I. V. Ramakrishnan, Mark Henry, Eric Morley

Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

Rotate-and-Press: A Non-visual Alternative to Point-and-Click?

Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design, 2020

Classification of 12-lead ECGs Using Intra-Heartbeat Discrete-time Fourier Transform and Inter-Heartbeat Attention.

Ibrahim Hammoud, I. V. Ramakrishnan, Petar M. Djuric

Proceedings of the Computing in Cardiology, 2020

Ontology-Driven Transformations for PDF Form Accessibility.

Utku Uckun, Ali Selman Aydin, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

Screen Magnification for Office Applications.

Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

2019

Alternative Nonvisual Web Browsing Techniques.

I. V. Ramakrishnan, Vikas Ashok, Syed Masum Billah

Proceedings of the Web Accessibility - A Foundation for Research, Second Edition, 2019

Exploring feasibility of wrist gestures for non-visual interactions with wearables.

Shirin Feiz, I. V. Ramakrishnan

Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Feel-It: Personalized Audio-Tactile Web Browsing.

Anatoliy Borodin, Yevgen Borodin, Andrii Soviak, Vikas Ashok, Shirin Disfani, I. V. Ramakrishnan

Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Write-it-Yourself: Empowering Blind People to Independently Fill-out Paper Forms.

Syed Masum Billah, Shirin Feiz, Vikas Ashok, Roy Shilkrot, I. V. Ramakrishnan

Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Auto-Suggesting Browsing Actions for Personalized Web Screen Reading.

Vikas Ashok, Syed Masum Billah, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization, 2019

Early Prediction of Sepsis Using Gradient Boosting Decision Trees with Optimal Sample Weighting.

Ibrahim Hammoud, I. V. Ramakrishnan, Mark Henry

Proceedings of the 46th Computing in Cardiology, 2019

Towards Enabling Blind People to Independently Write on Printed Forms.

Shirin Feiz, Syed Masum Billah, Vikas Ashok, Roy Shilkrot, I. V. Ramakrishnan

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Accessible Gesture Typing for Non-Visual Text Entry on Smartphones.

Syed Masum Billah, Yu-Jung Ko, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

Write-it-Yourself with the Aid of Smartwatches: A Wizard-of-Oz Experiment with Blind People.

Syed Masum Billah, Vikas Ashok, I. V. Ramakrishnan

Proceedings of the 23rd International Conference on Intelligent User Interfaces, 2018

SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing.

Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Web Screen Reading Automation Assistance Using Semantic Abstraction.

Vikas Ashok, Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 22nd International Conference on Intelligent User Interfaces, 2017

Non-visual Web Browsing: Beyond Web Accessibility.

I. V. Ramakrishnan, Vikas Ashok, Syed Masum Billah

Proceedings of the Universal Access in Human-Computer Interaction. Designing Novel Interactions, 2017

Ubiquitous Accessibility for People with Visual Impairments: Are We There Yet?

Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing.

Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan

Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016

Contextual language learning with Capti ESL Assistant.

Yevgen Borodin, Yury Puzis, Andrii Soviak, Vikas Ashok, Andrii Melnyk, I. V. Ramakrishnan

Proceedings of the 13th Web for All Conference, 2016

Sinter: low-bandwidth remote access for the visually-impaired.

Syed Masum Billah, Donald E. Porter, I. V. Ramakrishnan

Proceedings of the Eleventh European Conference on Computer Systems, 2016

Tactile Accessibility: Does Anyone Need a Haptic Glove?

Andrii Soviak, Anatoliy Borodin, Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan

Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

A Platform Agnostic Remote Desktop System for Screen Reading.

Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan

Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015

Affordable web accessibility: a case for cheaper ARIA.

Yury Puzis, Yevgen Borodin, Andrii Soviak, Valentyn Melnyk, I. V. Ramakrishnan

Proceedings of the 12th Web for All Conference, 2015

Complexities of practical web automation.

Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 12th Web for All Conference, 2015

Look Ma, no ARIA: generic accessible interfaces for web widgets.

Valentyn Melnyk, Vikas Ashok, Yury Puzis, Yevgen Borodin, Andrii Soviak, I. V. Ramakrishnan

Proceedings of the 12th Web for All Conference, 2015

Capti-speak: a speech-enabled web screen reader.

Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan

Proceedings of the 12th Web for All Conference, 2015

Patient Centered Identification, Attribution, and Ranking of Adverse Drug Events.

Ritwik Banerjee, I. V. Ramakrishnan, Mark Henry, Matthew Perciavalle

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

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

Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014

Predictive, accessible web automation: a longitudinal study.

Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the International Web for All Conference, 2014

Listen to everything you want to read with Capti narrator.

Yevgen Borodin, Yuri Puzis, Andrii Sovyak, James Bouker, Bo Feng, Richard Sicoli, Andrii Melnyk, Valentyn Melnyk, Vikas Ashok, Glenn Dausch, I. V. Ramakrishnan

Proceedings of the International Web for All Conference, 2014

Wizard-of-Oz evaluation of speech-driven web browsing interface for people with vision impairments.

Vikas Ashok, Yevgen Borodin, Svetlana Stoyanchev, Yury Puzis, I. V. Ramakrishnan

Proceedings of the International Web for All Conference, 2014

Dialogue Act Modeling for Non-Visual Web Access.

Vikas Ashok, Yevgen Borodin, Svetlana Stoyanchev, I. V. Ramakrishnan

Proceedings of the SIGDIAL 2014 Conference, 2014

2013

The Five Ws for Information Visualization with Application to Healthcare Informatics.

Zhiyuan Zhang, Bing Wang, Faisal Ahmed, I. V. Ramakrishnan, Rong Zhao, Asa Viccellio, Klaus Mueller

IEEE Trans. Vis. Comput. Graph., 2013

Live and learn from mistakes: A lightweight system for document classification.

Yevgen Borodin, Valentin Polishchuk, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent

Inf. Process. Manag., 2013

Predictive web automation assistant for people with vision impairments.

Yury Puzis, Yevgen Borodin, Rami Puzis, I. V. Ramakrishnan

Proceedings of the 22nd International World Wide Web Conference, 2013

Non-visual skimming on touch-screen devices.

Faisal Ahmed, Andrii Sovyak, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

2012

Transaction models for Web accessibility.

Jalal Mahmud, I. V. Ramakrishnan

World Wide Web, 2012

Inference in probabilistic logic programs with continuous random variables.

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan

Theory Pract. Log. Program., 2012

Organizing RadLex lexicon for efficient retrieval of radiology documents.

I. V. Ramakrishnan, Jesmin Jahan Tithi, A. Bagate, V. Khot, Faisal Ahmed, Donald P. Harrington, R. Talati

SIGHIT Rec., 2012

Parameter Learning in PRISM Programs with Continuous Random Variables

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan

CoRR, 2012

An intuitive accessible web automation user interface.

Yury Puzis, Yevgen Borodin, Faisal Ahmed, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Universal and ubiquitous web access with Capti.

Yevgen Borodin, Andrii Sovyak, Alexander Dimitriyadi, Yury Puzis, Valentyn Melnyk, Faisal Ahmed, Glenn Dausch, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Why read if you can skim: towards enabling faster screen reading.

Faisal Ahmed, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Accessible skimming: faster screen reading of web pages.

Faisal Ahmed, Yevgen Borodin, Andrii Sovyak, Muhammad Asiful Islam, I. V. Ramakrishnan, Terri Hedgpeth

Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

Thematic organization of web content for distraction-free text-to-speech narration.

Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

2011

Tightly coupling visual and linguistic features for enriching audio-based web browsing experience.

Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Guidelines for an accessible web automation interface.

Yury Puzis, Eugene Borodin, Faisal Ahmed, Valentyn Melnyk, I. V. Ramakrishnan

Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

2010

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

Proceedings of the 19th International Conference on World Wide Web, 2010

More than meets the eye: a survey of screen-reader browsing strategies.

Yevgen Borodin, Jeffrey P. Bigham, Glenn Dausch, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2010

Mixture model based label association techniques for web accessibility.

Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 23rd Annual ACM Symposium on User Interface Software and Technology, 2010

Improving Accessibility of Transaction-centric Web Objects.

Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan

Proceedings of the SIAM International Conference on Data Mining, 2010

A visual analytics approach to model learning.

Supriya Garg, I. V. Ramakrishnan, Klaus Mueller

Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

Assistive web browsing with touch interfaces.

Faisal Ahmed, Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

2009

Automated construction of web accessibility models from transaction click-streams.

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan

Proceedings of the 18th International Conference on World Wide Web, 2009

TeleWeb: accessible service for web browsing via phone.

Yevgen Borodin, Glenn Dausch, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2009

2008

Automated Semantic Analysis of Schematic Data.

Saikat Mukherjee, I. V. Ramakrishnan

World Wide Web, 2008

Bridging the Web Accessibility Divide.

I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Towards one world web with HearSay3.

Yevgen Borodin, Jeffrey P. Bigham, Amanda Stent, I. V. Ramakrishnan

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

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

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields.

Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan

Proceedings of the SIAM International Conference on Data Mining, 2008

Assistive browser for conducting web transactions.

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 13th International Conference on Intelligent User Interfaces, 2008

Model-driven Visual Analytics.

Supriya Garg, Julia Eunju Nam, I. V. Ramakrishnan, Klaus Mueller

Proceedings of the 3rd IEEE Symposium on Visual Analytics Science and Technology, 2008

What's new?: making web page updates accessible.

Yevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan

Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007

Model-directed Web transactions under constrained modalities.

Zan Sun, Jalal Mahmud, I. V. Ramakrishnan, Saikat Mukherjee

ACM Trans. Web, 2007

XcelLog: a deductive spreadsheet system.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren

Knowl. Eng. Rev., 2007

Precise specification matching for adaptive reuse in embedded systems.

Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan

J. Appl. Log., 2007

Csurf: a context-driven non-visual web-browser.

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan

Proceedings of the 16th International Conference on World Wide Web, 2007

The HearSay non-visual web browser.

Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent

Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Computing Statistical Profiles of Active Sites in Proteins.

Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan

Proceedings of the Seventh SIAM International Conference on Data Mining, 2007

Context browsing with mobiles - when less is more.

Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan

Proceedings of the 5th International Conference on Mobile Systems, 2007

Combating information overload in non-visual web access using context.

Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan

Proceedings of the 12th International Conference on Intelligent User Interfaces, 2007

WebVAT: Web Page Visualization and Analysis Tool.

Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan

Proceedings of the Web Engineering, 7th International Conference, 2007

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

Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Learning Cycle-Linear Hybrid Automata for Excitable Cells.

Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Security policy analysis using deductive spreadsheets.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Dialog generation for voice browsing.

Zan Sun, Amanda Stent, I. V. Ramakrishnan

Proceedings of the 2006 International Cross-Disciplinary Workshop on Web Accessibility (W4A 2006): Building the mobile web: rediscovering accessibility? Edinburgh, 2006

Profiling Protein Families from Partially Aligned Sequences.

Saikat Mukherjee, Chang Zhao, I. V. Ramakrishnan

Proceedings of the Sixth SIAM International Conference on Data Mining, 2006

Toward a Multi-Analyst, Collaborative Framework for Visual Analytics.

Susan E. Brennan, Klaus Mueller, Gregory J. Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman

Proceedings of the 1st IEEE Symposium On Visual Analytics Science And Technology, 2006

A Framework for Building Privacy-Conscious Composite Web Services.

Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Deductive Spreadsheets Using Tabled Logic Programming.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren

Proceedings of the Logic Programming, 22nd International Conference, 2006

Improving non-visual web access using context.

Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan

Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005

An approach for realizing privacy-preserving web-based services.

Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan

Proceedings of the 14th international conference on World Wide Web, 2005

Browsing fatigue in handhelds: semantic bookmarking spells relief.

Saikat Mukherjee, I. V. Ramakrishnan

Proceedings of the 14th international conference on World Wide Web, 2005

Bootstrapping Semantic Annotations for Content-Rich HTML Documents.

Saikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh

Proceedings of the 21st International Conference on Data Engineering, 2005

BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.

Prabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan

Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

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

Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2005

2004

An unfold/fold transformation framework for definite logic programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

ACM Trans. Program. Lang. Syst., 2004

Semantic bookmarking for non-visual web access.

Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer

ACM SIGACCESS Access. Comput., 2004

Inductively Verifying Invariant Properties of Parameterized Systems.

Abhik Roychoudhury, I. V. Ramakrishnan

Autom. Softw. Eng., 2004

Hearsay: enabling audio browsing on hypertext content.

I. V. Ramakrishnan, Amanda Stent, Guizhen Yang

Proceedings of the 13th international conference on World Wide Web, 2004

CTR-S: a logic for specifying contracts in semantic web services.

Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan

Proceedings of the 13th international conference on World Wide Web, 2004

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

Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

Exploiting Agent and Database Technologies for Biological Data Collection.

Hasan Davulcu, Zoé Lacroix, Kaushal Parekh, I. V. Ramakrishnan, Nikeeta Julasana

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Automating the Biological Data Collection Process with Agents.

Zoé Lacroix, Kaushal Parekh, Hasan Davulcu, I. V. Ramakrishnan, Nikeeta Julasana

Proceedings of the 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, 2004

Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences.

Saikat Mukherjee, I. V. Ramakrishnan

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

OntoMiner: Bootstrapping and Populating Ontologies from Domain-Specific Web Sites.

Hasan Davulcu, Srinivas Vadrevu, Saravanakumar Nagarajan, I. V. Ramakrishnan

IEEE Intell. Syst., 2003

Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis.

Saikat Mukherjee, Guizhen Yang, I. V. Ramakrishnan

Proceedings of the Semantic Web, 2003

On the Power of Semantic Partitioning of Web Documents.

Guizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu

Proceedings of IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), 2003

Online Justification for Tabled Logic Programs.

Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 19th International Conference, 2003

On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources.

Guizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan

Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 2003

Automatic Discovery of Semantic Structures in HTML Documents.

Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan

Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2003

On the complexity of schema inference from web pages in the presence of nullable data attributes.

Guizhen Yang, I. V. Ramakrishnan, Michael Kifer

Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, 2003

2002

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Int. J. Found. Comput. Sci., 2002

CuTeX: a system for extracting data from text tables.

Hasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan

Proceedings of the SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2002

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

Proceedings of the SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2002

A Clustering Technique for Mining Data from Text Tables.

Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan

Proceedings of the Second SIAM International Conference on Data Mining, 2002

Justification Based on Program Transformation.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 18th International Conference, 2002

Extraction Techniques for Mining Services from Web Sources.

Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan

Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM 2002), 2002

2001

Automata-driven efficient subterm unification.

R. Ramesh, I. V. Ramakrishnan, R. C. Sekar

Theor. Comput. Sci., 2001

Model-Carrying Code (MCC): a new paradigm for mobile-code security.

R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the New Security Paradigms Workshop 2001, 2001

Speculative Beats Conservative Justification.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 17th International Conference, 2001

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.

Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma

Proceedings of the Logic Programming, 17th International Conference, 2001

Automated Inductive Verification of Parameterized Protocols.

Abhik Roychoudhury, I. V. Ramakrishnan

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Term Indexing.

I. V. Ramakrishnan, R. Sekar, Andrei Voronkov

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Specification and evaluation of logic-based model checking.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren

ACM SIGSOFT Softw. Eng. Notes, 2000

Verification of Parameterized Systems Using Logic Program Transformations.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Justifying proofs using memo tables.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Computational Aspects of Resilient Data Extraction from Semistructured Sources.

Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Current Trends in Logic Programming: Prospects and Promises.

I. V. Ramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 2000

Congruence Closure Modulo Associativity and Commutativity.

Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron

Proceedings of the Frontiers of Combining Systems, 2000

Design and Implementation of the Physical Layer in WebBases: The XRover Experience.

Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan

Proceedings of the Computational Logic, 2000

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

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Efficient Access Mechanisms for Tabled Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

J. Log. Program., 1999

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Layered Architecture for Querying Dynamic Web Content.

Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan

Proceedings of the SIGMOD 1999, 1999

Normalization via Rewrite Closures.

Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Modeling and Analysis of Interactions in Virtual Enterprises.

Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson

Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Generalized Unfold/fold Transformation Systems for Normal Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.

Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Tabulation-based Induction Proofs with Application to Automated Verification.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Logic Based Modeling and Analysis of Workflows.

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Logic Programming and Model Checking.

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

EQUALS - A Fast Parallel Implementation of a Lazy Language.

Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

J. Funct. Program., 1997

On the power and limitations of strictness analysis.

R. Sekar, I. V. Ramakrishnan, Prateek Mishra

J. ACM, 1997

Efficient Model Checking Using Tabled Resolution.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

A Thread in Time Saves Tabling Time.

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 1996

Subsumption Algorithms Based on Search Trees.

Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Trees in Algebra and Programming, 1996

1995

Fast Strictness Analysis Based on Demand Propagation.

R. Sekar, I. V. Ramakrishnan

ACM Trans. Program. Lang. Syst., 1995

Adaptive Pattern Matching.

R. C. Sekar, R. Ramesh, I. V. Ramakrishnan

SIAM J. Comput., 1995

Automata-Driven Indexing of Prolog Clauses.

R. Ramesh, I. V. Ramakrishnan, David Scott Warren

J. Log. Program., 1995

Optimizing Clause Resolution: Beyond Unification Factoring.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift

Proceedings of the Logic Programming, 1995

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

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Programming Languages: Implementations, 1995

A Symbolic Constraint Solving Framework for Analysis of Logic Programs.

C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Experiments with Associative-Commutative Discrimination Nets.

Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Efficient Tabling Mechanisms for Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1995

1994

Multistage Indexing for Speeding Prolog Executions.

Ta Chen, I. V. Ramakrishnan, R. Ramesh

Softw. Pract. Exp., 1994

Dynamic Argument Reduction for In-memory Data Queries.

Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

1993

Programming in Equational Logic: Beyond Strong Sequentiality

R. C. Sekar, I. V. Ramakrishnan

Inf. Comput., May, 1993

Associative-Commutative Discrimination Nets.

Leo Bachmair, Ta Chen, I. V. Ramakrishnan

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Extracting Determinacy in Logic Programs.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the Logic Programming, 1993

1992

Tight Complexity Bounds for Term Matching Problems

Rakesh M. Verma, I. V. Ramakrishnan

Inf. Comput., November, 1992

Nonlinear Pattern Matching in Trees.

R. Ramesh, I. V. Ramakrishnan

J. ACM, 1992

Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.

Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the Conference on Lisp and Functional Programming, 1992

Multistage Indexing Algorithms for Speeding Prolog Execution.

Ta Chen, I. V. Ramakrishnan, R. Ramesh

Proceedings of the Logic Programming, 1992

Programming with Equations: A Framework for Lazy Parallel Evaluation.

R. C. Sekar, I. V. Ramakrishnan

Proceedings of the Automated Deduction, 1992

1991

Approximate Algorithms for the Knapsack Problem on Parallel Computers

P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal

Inf. Comput., April, 1991

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.

R. Ramesh, I. V. Ramakrishnan

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.

R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990

Parallel Tree Pattern Matching.

R. Ramesh, I. V. Ramakrishnan

J. Symb. Comput., 1990

Small Domains Spell Fast Strictness Analysis.

R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems.

Rakesh M. Verma, I. V. Ramakrishnan

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Optimal Matrix Multiplication on Fault-Tolerant VLSI Arrays.

Peter J. Varman, I. V. Ramakrishnan

IEEE Trans. Computers, 1989

Reconfigurable Multipipelines for Vector Supercomputers.

Rajiv Gupta, Alessandro Zorat, I. V. Ramakrishnan

IEEE Trans. Computers, 1989

Term Matching on Parallel Computers.

R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan

J. Log. Program., 1989

Some Complexity Theoretic Aspects of AC Rewriting.

Rakesh M. Verma, I. V. Ramakrishnan

Proceedings of the STACS 89, 1989

Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution.

R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

Optimal Time Bounds for Parallel Term Matching.

Rakesh M. Verma, I. V. Ramakrishnan

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Computing Dominators in Parallel.

Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan

Inf. Process. Lett., 1987

Distributed Algorithms for Tree Pattern Matching.

Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan

Proceedings of the Distributed Algorithms, 1987

Optimal Speedups for Parallel Pattern Matching in Trees.

R. Ramesh, I. V. Ramakrishnan

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

1986

Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays.

Peter J. Varman, I. V. Ramakrishnan

IEEE Trans. Computers, 1986

Mapping Homogeneous Graphs on Linear Arrays.

I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz

IEEE Trans. Computers, 1986

An O(log n) Algorithm for Parallel Update of Minimum Spanning Trees.

Shaunak Pawagi, I. V. Ramakrishnan

Inf. Process. Lett., 1986

A Fault-Tolerant VLSI Matrix Multiplier.

Peter J. Varman, I. V. Ramakrishnan

Proceedings of the International Conference on Parallel Processing, 1986

A Parallel Algorithm for Dominators.

Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan

Proceedings of the International Conference on Parallel Processing, 1986

Parallel Approximate Algorithms for the 0-1 Knapsack Problem.

P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal

Proceedings of the International Conference on Parallel Processing, 1986

An Efficient Parallel Algorithm for Term Matching.

Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985

An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays.

I. V. Ramakrishnan, Peter J. Varman

Proceedings of the International Conference on Parallel Processing, 1985

Parallel Updates of Graph Properties in Logarithmic Time.

Shaunak Pawagi, I. V. Ramakrishnan

Proceedings of the International Conference on Parallel Processing, 1985

An Efficient Connected Components Algorithm on a Mesh-Connected Computer.

P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal

Proceedings of the International Conference on Parallel Processing, 1985

Computing Tree Functions on Mesh-Connected Computers.

P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal

Proceedings of the International Conference on Parallel Processing, 1985

On Matrix Multiplication Using Array Processors.

Peter J. Varman, I. V. Ramakrishnan

Proceedings of the Automata, 1985

O(1) Parallel Time Incremental Graph Algorithms.

Deepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

A Robust Matrix-Multiplication Array.

Peter J. Varman, I. V. Ramakrishnan, Donald S. Fussell

IEEE Trans. Computers, 1984

Modular Matrix Multiplication on a Linear Array.

I. V. Ramakrishnan, Peter J. Varman

IEEE Trans. Computers, 1984

On Mapping Cube Graphs onto VLSI Arrays.

I. V. Ramakrishnan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

A Paradigm for the Design of Parallel Algorithms with Applications.

I. V. Ramakrishnan, James C. Browne

IEEE Trans. Software Eng., 1983

On Mapping Homogeneous Graphs on a Linear Array-Processor Model.

I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz

Proceedings of the International Conference on Parallel Processing, 1983