STONY BROOK MEDICINE

Department of Biomedical Informatics

READ-ONLY PREVIEW · No login required. Choices are not saved; QLever and Drupal are not modified.

FACULTY PROFILE · REVIEW PREVIEW

I.V. Ramakrishnan

Department of Biomedical Informatics

Publications

Choose add to include a publication, omit to leave it off your page, or not mine if you did not author it. Omit does not change authorship. Leave an unreviewed row untouched to decide later.

Lost in Instructions: Study of Blind Users’ Experiences with DIY Manuals and AI-Rewritten Instructions for Assembly, Operation, and Troubleshooting of Tangible Products

Muppala P. Reddy, Aruna Balasubramanian, Jiawei Zhou, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok

Name match · unconfirmed · 2026 · Found in OpenAlex

DOI: 10.1145/3772318.3790955

Choose for “Lost in Instructions: Study of Blind Users’ Experiences with DIY Manuals and AI-Rewritten Instructions for Assembly, Operation, and Troubleshooting of Tangible Products”

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 Huang, Shumin Zhai, I. V. Ramakrishnan, Xiaojun Bi

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2025 · Found in OpenAlex, PubMed

DOI: 10.1145/3706598.3713376

Choose for “Tap&Say: Touch Location-Informed Large Language Model for Multimodal Text Correction on Smartphones”

Point Cloud Decomposition for Task-Oriented Grasping

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

Name match · unconfirmed · 2025 · Found in OpenAlex

DOI: 10.1109/icra55743.2025.11127703

Choose for “Point Cloud Decomposition for Task-Oriented Grasping”

Modeling Mouse-based Pointing and Steering Tasks for People with Parkinson's Disease

Hang Zhao, Kaiyan Ling, I. V. Ramakrishnan, Guy Schwartz, Xiaojun Bi

Name match · unconfirmed Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2025 · Found in OpenAlex

DOI: 10.1145/3712267

Choose for “Modeling Mouse-based Pointing and Steering Tasks for People with Parkinson's Disease”

LLM Powered Text Entry Decoding and Flexible Typing on Smartphones

Yan Ma, Dan Zhang, I. V. Ramakrishnan, Xiaojun Bi

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2025 · Found in OpenAlex, PubMed

DOI: 10.1145/3706598.3714314

Choose for “LLM Powered Text Entry Decoding and Flexible Typing on Smartphones”

Enabling Auto-Correction on Soft Braille Keyboard.

Dan Zhang, Yan Ma, Glenn Dausch, William H Seiple, David Xianfeng Gu, I V Ramakrishnan, Xiaojun Bi

Name match · unconfirmed Proceedings of the ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology · 2025 · Found in PubMed

DOI: 10.1145/3746059.3747699

Choose for “Enabling Auto-Correction on Soft Braille Keyboard.”

Surgical Phase Recognition in Laparoscopic Cholecystectomy

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

Name match · unconfirmed Procedia Computer Science · 2024 · Found in OpenAlex

DOI: 10.1016/j.procs.2024.06.386

Choose for “Surgical Phase Recognition in Laparoscopic Cholecystectomy”

Screen Reading Enabled by Large Language Models

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

Name match · unconfirmed · 2024 · Found in OpenAlex

DOI: 10.1145/3663548.3688491

Choose for “Screen Reading Enabled by Large Language Models”

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

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

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2024 · Found in OpenAlex, PubMed

DOI: 10.1145/3613904.3642602

Choose for “Hand Gesture Recognition for Blind Users by Tracking 3D Gesture Trajectory”

Containerized Vertical Farming Using Cobots

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

Name match · unconfirmed · 2024 · Found in OpenAlex

DOI: 10.1109/icra57147.2024.10609985

Choose for “Containerized Vertical Farming Using Cobots”

Accessible Gesture Typing on Smartphones for People with Low Vision

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

Name match · unconfirmed Proceedings of the ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology · 2024 · Found in OpenAlex, PubMed

DOI: 10.1145/3654777.3676447

Choose for “Accessible Gesture Typing on Smartphones for People with Low Vision”

Task-Oriented Grasping with Point Cloud Representation of Objects

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

Name match · unconfirmed · 2023 · Found in OpenAlex

DOI: 10.1109/iros55552.2023.10342318

Choose for “Task-Oriented Grasping with Point Cloud Representation of Objects”

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

Name match · unconfirmed Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems · 2023 · Found in OpenAlex

DOI: 10.1145/3544548.3581269

Choose for “GlanceWriter: Writing Text by Glancing Over Letters with Gaze”

AccessWear: Making Smartphone Applications Accessible to Blind Users

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

Name match · unconfirmed · 2023 · Found in OpenAlex

DOI: 10.1145/3570361.3592495

Choose for “AccessWear: Making Smartphone Applications Accessible to Blind Users”

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

Name match · unconfirmed Proceedings of the Chi Conference on Human Factors in Computing Systems, Chi · 2022 · Found in OpenAlex

DOI: 10.1145/3491102.3517472

Choose for “Select or Suggest? Reinforcement Learning-based Method for High-Accuracy Target Selection on Touchscreens”

EyeSayCorrect: Eye Gaze and Voice Based Hands-free Text Correction for Mobile Devices

Maozheng Zhao, Henry D. 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

Name match · unconfirmed IUI: International Conference on Intelligent User Interfaces · 2022 · Found in OpenAlex

DOI: 10.1145/3490099.3511103

Choose for “EyeSayCorrect: Eye Gaze and Voice Based Hands-free Text Correction for Mobile Devices”

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

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

Name match · unconfirmed Proceedings of the ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology · 2021 · Found in OpenAlex, PubMed

DOI: 10.1145/3472749.3474742

Choose for “Voice and Touch Based Error-tolerant Multimodal Text Editing and Correction for Smartphones”

Non-Visual Accessibility Assessment of Videos

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

Name match · unconfirmed Proceedings of the ... ACM International Conference on Information & Knowledge Management. ACM International Conference on Information and Knowledge Management · 2021 · Found in OpenAlex, PubMed

DOI: 10.1145/3459637.3482457

Choose for “Non-Visual Accessibility Assessment of Videos”

Modeling Touch Point Distribution with Rotational Dual Gaussian Model

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

Name match · unconfirmed Proceedings of the ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology · 2021 · Found in OpenAlex, PubMed

DOI: 10.1145/3472749.3474816

Choose for “Modeling Touch Point Distribution with Rotational Dual Gaussian Model”

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

Name match · unconfirmed MobileHCI : proceedings of the ... International Conference on Human Computer Interaction with Mobile Devices and Services. MobileHCI (Conference) · 2021 · Found in OpenAlex, PubMed

DOI: 10.1145/3447526.3472022

Choose for “Modeling Gliding-based Target Selection for Blind Touchscreen Users”

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

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2021 · Found in OpenAlex, PubMed

DOI: 10.1145/3411764.3445081

Choose for “BackSwipe: Back-of-device Word-Gesture Interaction on Smartphones”

Towards making videos accessible for low vision screen magnifier users

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

Name match · unconfirmed IUI. International Conference on Intelligent User Interfaces · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3377325.3377494

Choose for “Towards making videos accessible for low vision screen magnifier users”

Screen Magnification for Office Applications

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

Name match · unconfirmed ASSETS. Annual ACM Conference on Assistive Technologies · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3373625.3418049

Choose for “Screen Magnification for Office Applications”

SaIL: Saliency-Driven Injection of ARIA Landmarks.

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

Name match · unconfirmed IUI. International Conference on Intelligent User Interfaces · 2020 · Found in PubMed

DOI: 10.1145/3377325.3377540

Choose for “SaIL: Saliency-Driven Injection of ARIA Landmarks.”

SaIL

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

Name match · unconfirmed · 2020 · Found in OpenAlex

DOI: 10.1145/3377325.3377540

Choose for “SaIL”

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

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

Name match · unconfirmed Lecture notes in computer science · 2020 · Found in OpenAlex, PubMed

DOI: 10.1007/978-3-030-60149-2_23

Choose for “Rotate-and-Press: A Non-visual Alternative to Point-and-Click?”

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

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

Name match · unconfirmed Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics · 2020 · Found in OpenAlex, PubMed

DOI: 10.1109/smc42975.2020.9283015

Choose for “Repurposing Visual Input Modalities for Blind Users: A Case Study of Word Processors”

Ontology-Driven Transformations for PDF Form Accessibility

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

Name match · unconfirmed ASSETS. Annual ACM Conference on Assistive Technologies · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3373625.3418047

Choose for “Ontology-Driven Transformations for PDF Form Accessibility”

Modeling Two Dimensional Touch Pointing

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

Name match · unconfirmed Proceedings of the ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3379337.3415871

Choose for “Modeling Two Dimensional Touch Pointing”

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

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

Name match · unconfirmed Proceedings of the ACM on Human-Computer Interaction · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3397868

Choose for “Breaking the Accessibility Barrier in Non-Visual Interaction with PDF Forms”

A saliency-driven video magnifier for people with low vision

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

Name match · unconfirmed Proceedings of the 17th International Web for All Conference · 2020 · Found in OpenAlex, PubMed

DOI: 10.1145/3371300.3383356

Choose for “A saliency-driven video magnifier for people with low vision”

Write-it-Yourself

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

Name match · unconfirmed · 2019 · Found in OpenAlex

DOI: 10.1145/3315002.3332447

Choose for “Write-it-Yourself”

Feel-It

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

Name match · unconfirmed · 2019 · Found in OpenAlex

DOI: 10.1145/3315002.3332441

Choose for “Feel-It”

Auto-Suggesting Browsing Actions for Personalized Web Screen Reading

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

Name match · unconfirmed UMAP ... proceedings of the ... Conference on User Modeling, Adaptation and Personalization. UMAP (Conference) · 2019 · Found in OpenAlex, PubMed

DOI: 10.1145/3320435.3320460

Choose for “Auto-Suggesting Browsing Actions for Personalized Web Screen Reading”

Alternative Nonvisual Web Browsing Techniques

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

Name match · unconfirmed Human-computer interaction series · 2019 · Found in OpenAlex

DOI: 10.1007/978-1-4471-7440-0_32

Choose for “Alternative Nonvisual Web Browsing Techniques”

Accessible Gesture Typing for Non-Visual Text Entry on Smartphones

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

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2019 · Found in OpenAlex, PubMed

DOI: 10.1145/3290605.3300606

Choose for “Accessible Gesture Typing for Non-Visual Text Entry on Smartphones”

Write-it-Yourself with the Aid of Smartwatches

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

Name match · unconfirmed IUI. International Conference on Intelligent User Interfaces · 2018 · Found in OpenAlex, PubMed

DOI: 10.1145/3172944.3173005

Choose for “Write-it-Yourself with the Aid of Smartwatches”

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

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

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2018 · Found in PubMed

DOI: 10.1145/3173574.3173594

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

SteeringWheel

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

Name match · unconfirmed · 2018 · Found in OpenAlex

DOI: 10.1145/3173574.3173594

Choose for “SteeringWheel”

Ubiquitous Accessibility for People with Visual Impairments

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

Name match · unconfirmed Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference · 2017 · Found in OpenAlex, PubMed

DOI: 10.1145/3025453.3025731

Choose for “Ubiquitous Accessibility for People with Visual Impairments”

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

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

Name match · unconfirmed ASSETS. Annual ACM Conference on Assistive Technologies · 2017 · Found in PubMed

DOI: 10.1145/3132525.3132531

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

Speed-Dial

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

Name match · unconfirmed · 2017 · Found in OpenAlex

DOI: 10.1145/3132525.3132531

Choose for “Speed-Dial”

Non-visual Web Browsing: Beyond Web Accessibility

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

Name match · unconfirmed Lecture notes in computer science · 2017 · Found in OpenAlex, PubMed

DOI: 10.1007/978-3-319-58703-5_24

Choose for “Non-visual Web Browsing: Beyond Web Accessibility”

Tactile Accessibility

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

Name match · unconfirmed · 2016 · Found in OpenAlex

DOI: 10.1145/2982142.2982175

Choose for “Tactile Accessibility”

Sinter

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

Name match · unconfirmed · 2016 · Found in OpenAlex

DOI: 10.1145/2901318.2901335

Choose for “Sinter”

Contextual language learning with Capti ESL Assistant

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

Name match · unconfirmed · 2016 · Found in OpenAlex

DOI: 10.1145/2899475.2899508

Choose for “Contextual language learning with Capti ESL Assistant”

A Platform Agnostic Remote Desktop System for Screen Reading

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

Name match · unconfirmed ASSETS. Annual ACM Conference on Assistive Technologies · 2016 · Found in OpenAlex, PubMed

DOI: 10.1145/2982142.2982151

Choose for “A Platform Agnostic Remote Desktop System for Screen Reading”

Look Ma, no ARIA

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

Name match · unconfirmed · 2015 · Found in OpenAlex

DOI: 10.1145/2745555.2746666

Choose for “Look Ma, no ARIA”

Feel the Web

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

Name match · unconfirmed · 2015 · Found in OpenAlex

DOI: 10.1145/2700648.2811385

Choose for “Feel the Web”

Complexities of practical web automation

Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan

Name match · unconfirmed · 2015 · Found in OpenAlex

DOI: 10.1145/2745555.2746656

Choose for “Complexities of practical web automation”

Capti-speak

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

Name match · unconfirmed · 2015 · Found in OpenAlex

DOI: 10.1145/2745555.2746660

Choose for “Capti-speak”

Affordable web accessibility

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

Name match · unconfirmed · 2015 · Found in OpenAlex

DOI: 10.1145/2745555.2746657

Choose for “Affordable web accessibility”

Widget Classification with Applications to Web Accessibility

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

Name match · unconfirmed Lecture notes in computer science · 2014 · Found in OpenAlex

DOI: 10.1007/978-3-319-08245-5_20

Choose for “Widget Classification with Applications to Web Accessibility”

Predictive, accessible web automation

Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan

Name match · unconfirmed · 2014 · Found in OpenAlex

DOI: 10.1145/2596695.2596721

Choose for “Predictive, accessible web automation”

Listen to everything you want to read with Capti narrator

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

Name match · unconfirmed · 2014 · Found in OpenAlex

DOI: 10.1145/2596695.2596728

Choose for “Listen to everything you want to read with Capti narrator”

Dialogue Act Modeling for Non-Visual Web Access

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

Name match · unconfirmed · 2014 · Found in OpenAlex

DOI: 10.18653/v1/w14-4317

Choose for “Dialogue Act Modeling for Non-Visual Web Access”

Dialogue Act Modeling for Non-Visual Web Access

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

Name match · unconfirmed · 2014 · Found in OpenAlex

DOI: 10.3115/v1/w14-4317

Choose for “Dialogue Act Modeling for Non-Visual Web Access”

Automated Suggestion of Tests for Identifying Likelihood of Adverse Drug Events

Ritwik Banerjee, Yejin Choi, Gaurav Piyush, Ameya K. Naik, I. V. Ramakrishnan

Name match · unconfirmed IEEE International Conference on Healthcare Informatics · 2014 · Found in OpenAlex

DOI: 10.1109/ichi.2014.30

Choose for “Automated Suggestion of Tests for Identifying Likelihood of Adverse Drug Events”

A Physician Attribution Computational Model for Inpatient Care

Vikas Ashok, I. V. Ramakrishnan, Erin Healy, Todd Griffin

Name match · unconfirmed IEEE International Conference on Healthcare Informatics · 2014 · Found in OpenAlex

DOI: 10.1109/ichi.2014.19

Choose for “A Physician Attribution Computational Model for Inpatient Care”

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

Name match · unconfirmed IEEE Transactions on Visualization and Computer Graphics · 2013 · Found in OpenAlex

DOI: 10.1109/tvcg.2013.89

Choose for “The Five Ws for Information Visualization with Application to Healthcare Informatics”

Non-visual skimming on touch-screen devices

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

Name match · unconfirmed · 2013 · Found in OpenAlex

DOI: 10.1145/2449396.2449452

Choose for “Non-visual skimming on touch-screen devices”

Why read if you can skim

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

Name match · unconfirmed · 2012 · Found in OpenAlex

DOI: 10.1145/2207016.2207052

Choose for “Why read if you can skim”

Organizing RadLex lexicon for efficient retrieval of radiology documents

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

Name match · unconfirmed ACM SIGHIT Record · 2012 · Found in OpenAlex

DOI: 10.1145/2180796.2180818

Choose for “Organizing RadLex lexicon for efficient retrieval of radiology documents”

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

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

Name match · unconfirmed Information Processing & Management · 2012 · Found in OpenAlex

DOI: 10.1016/j.ipm.2012.02.001

Choose for “Live and learn from mistakes: A lightweight system for document classification”

An intuitive accessible web automation user interface

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

Name match · unconfirmed · 2012 · Found in OpenAlex

DOI: 10.1145/2207016.2207054

Choose for “An intuitive accessible web automation user interface”

Accessible skimming

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

Name match · unconfirmed · 2012 · Found in OpenAlex

DOI: 10.1145/2380116.2380164

Choose for “Accessible skimming”

Transaction models for Web accessibility

Jalal Mahmud, I. V. Ramakrishnan

Name match · unconfirmed World Wide Web · 2011 · Found in OpenAlex

DOI: 10.1007/s11280-011-0135-3

Choose for “Transaction models for Web accessibility”

Guidelines for an accessible web automation interface

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

Name match · unconfirmed · 2011 · Found in OpenAlex

DOI: 10.1145/2049536.2049591

Choose for “Guidelines for an accessible web automation interface”

More than meets the eye

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

Name match · unconfirmed · 2010 · Found in OpenAlex

DOI: 10.1145/1805986.1806005

Choose for “More than meets the eye”

Improving Accessibility of Transaction-centric Web Objects

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

Name match · unconfirmed · 2010 · Found in OpenAlex

DOI: 10.1137/1.9781611972801.4

Choose for “Improving Accessibility of Transaction-centric Web Objects”

Hearsay

Yevgen Borodin, Faisal Ahmed, Muhammad Asiful Islam, Yury Puzis, Valentyn Melnyk, Song Feng, I. V. Ramakrishnan, Glenn Dausch

Name match · unconfirmed · 2010 · Found in OpenAlex

DOI: 10.1145/1772690.1772890

Choose for “Hearsay”

Assistive web browsing with touch interfaces

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

Name match · unconfirmed · 2010 · Found in OpenAlex

DOI: 10.1145/1878803.1878848

Choose for “Assistive web browsing with touch interfaces”

A visual analytics approach to model learning

Supriya Garg, I. V. Ramakrishnan, Klaus Mueller

Name match · unconfirmed · 2010 · Found in OpenAlex

DOI: 10.1109/vast.2010.5652484

Choose for “A visual analytics approach to model learning”

TeleWeb

Yevgen Borodin, Glenn Dausch, I. V. Ramakrishnan

Name match · unconfirmed · 2009 · Found in OpenAlex

DOI: 10.1145/1535654.1535678

Choose for “TeleWeb”

Bridging the Web Accessibility Divide

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

Name match · unconfirmed Electronic Notes in Theoretical Computer Science · 2009 · Found in OpenAlex

DOI: 10.1016/j.entcs.2009.03.007

Choose for “Bridging the Web Accessibility Divide”

What's new?

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

Name match · unconfirmed · 2008 · Found in OpenAlex

DOI: 10.1145/1414471.1414499

Choose for “What's new?”

Towards one world web with HearSay3

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

Name match · unconfirmed · 2008 · Found in OpenAlex

DOI: 10.1145/1368044.1368074

Choose for “Towards one world web with HearSay3”

Model-driven Visual Analytics

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

Name match · unconfirmed · 2008 · Found in OpenAlex

DOI: 10.1109/vast.2008.4677352

Choose for “Model-driven Visual Analytics”

Automated Semantic Analysis of Schematic Data

Saikat Mukherjee, I. V. Ramakrishnan

Name match · unconfirmed World Wide Web · 2008 · Found in OpenAlex

DOI: 10.1007/s11280-008-0046-0

Choose for “Automated Semantic Analysis of Schematic Data”

Assistive browser for conducting web transactions

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan

Name match · unconfirmed · 2008 · Found in OpenAlex

DOI: 10.1145/1378773.1378831

Choose for “Assistive browser for conducting web transactions”

XcelLog: a deductive spreadsheet system

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

Name match · unconfirmed The Knowledge Engineering Review · 2007 · Found in OpenAlex

DOI: 10.1017/s026988890700118x

Choose for “XcelLog: a deductive spreadsheet system”

WebVAT: Web Page Visualization and Analysis Tool

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

Name match · unconfirmed Lecture notes in computer science · 2007 · Found in OpenAlex

DOI: 10.1007/978-3-540-73597-7_47

Choose for “WebVAT: Web Page Visualization and Analysis Tool”

The HearSay non-visual web browser

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

Name match · unconfirmed · 2007 · Found in OpenAlex

DOI: 10.1145/1243441.1243444

Choose for “The HearSay non-visual web browser”

Security policy analysis using deductive spreadsheets

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

Name match · unconfirmed · 2007 · Found in OpenAlex

DOI: 10.1145/1314436.1314443

Choose for “Security policy analysis using deductive spreadsheets”

Model-directed Web transactions under constrained modalities

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

Name match · unconfirmed ACM Transactions on the Web · 2007 · Found in OpenAlex

DOI: 10.1145/1281480.1281482

Choose for “Model-directed Web transactions under constrained modalities”

Learning Cycle-Linear Hybrid Automata for Excitable Cells

Radu Grosu, Sayan Mitra, P. Ye, Emilia Entcheva, I. V. Ramakrishnan, S.A. Smolka

Name match · unconfirmed Lecture notes in computer science · 2007 · Found in OpenAlex

DOI: 10.1007/978-3-540-71493-4_21

Choose for “Learning Cycle-Linear Hybrid Automata for Excitable Cells”

Csurf

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan

Name match · unconfirmed · 2007 · Found in OpenAlex

DOI: 10.1145/1242572.1242578

Choose for “Csurf”

Context browsing with mobiles - when less is more

Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan

Name match · unconfirmed · 2007 · Found in OpenAlex

DOI: 10.1145/1247660.1247665

Choose for “Context browsing with mobiles - when less is more”

Toward a Multi-Analyst, Collaborative Framework for Visual Analytics

Susan E. Brennan, Klaus Mueller, Greg Zelinsky, I. V. Ramakrishnan, David S. Warren, Arie Kaufman

Name match · unconfirmed · 2006 · Found in OpenAlex

DOI: 10.1109/vast.2006.261439

Choose for “Toward a Multi-Analyst, Collaborative Framework for Visual Analytics”

Precise specification matching for adaptive reuse in embedded systems

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

Name match · unconfirmed Journal of Applied Logic · 2006 · Found in OpenAlex

DOI: 10.1016/j.jal.2005.12.016

Choose for “Precise specification matching for adaptive reuse in embedded systems”

Improving non-visual web access using context

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

Name match · unconfirmed · 2006 · Found in OpenAlex

DOI: 10.1145/1168987.1169051

Choose for “Improving non-visual web access using context”

Dialog generation for voice browsing

Zan Sun, Amanda Stent, I. V. Ramakrishnan

Name match · unconfirmed · 2006 · Found in OpenAlex

DOI: 10.1145/1133219.1133228

Choose for “Dialog generation for voice browsing”

Deductive Spreadsheets Using Tabled Logic Programming

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

Name match · unconfirmed Lecture notes in computer science · 2006 · Found in OpenAlex

DOI: 10.1007/11799573_29

Choose for “Deductive Spreadsheets Using Tabled Logic Programming”

Some complexity theoretic aspects of AC rewriting

Rakesh Verma, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 2005 · Found in OpenAlex

DOI: 10.1007/bfb0029003

Choose for “Some complexity theoretic aspects of AC rewriting”

Optimal time bounds for parallel term matching

Rakesh Verma, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 2005 · Found in OpenAlex

DOI: 10.1007/bfb0012867

Choose for “Optimal time bounds for parallel term matching”

Browsing fatigue in handhelds

Saikat Mukherjee, I. V. Ramakrishnan

Name match · unconfirmed · 2005 · Found in OpenAlex

DOI: 10.1145/1060745.1060832

Choose for “Browsing fatigue in handhelds”

BlackBoardNV

Vineet Enagandula, Niraj Juthani, I. V. Ramakrishnan, Devashish Rawal, Ritwick Vidyasagar

Name match · unconfirmed · 2005 · Found in OpenAlex

DOI: 10.1145/1090785.1090839

Choose for “BlackBoardNV”

WinAgent

Nikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan

Name match · unconfirmed · 2004 · Found in OpenAlex

DOI: 10.1145/964528.964532

Choose for “WinAgent”

WinAgent

Nikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan

Name match · unconfirmed · 2004 · Found in OpenAlex

DOI: 10.1145/964442.964532

Choose for “WinAgent”

Online Justification for Tabled Logic Programs

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

Name match · unconfirmed Lecture notes in computer science · 2004 · Found in OpenAlex

DOI: 10.1007/978-3-540-24754-8_4

Choose for “Online Justification for Tabled Logic Programs”

Hearsay

I. V. Ramakrishnan, Amanda Stent, Guizhen Yang

Name match · unconfirmed · 2004 · Found in OpenAlex

DOI: 10.1145/988672.988684

Choose for “Hearsay”

Exploiting agent and database technologies for biological data collection

H. Davulcu, Z. Lacroix, K. Parekh, I.V. Ramakrishnan, N. Julasana

Name match · unconfirmed Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. · 2004 · Found in OpenAlex

DOI: 10.1109/dexa.2004.1333503

Choose for “Exploiting agent and database technologies for biological data collection”

CTR-S

Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan

Name match · unconfirmed · 2004 · Found in OpenAlex

DOI: 10.1145/1013367.1013391

Choose for “CTR-S”

Automatic discovery of semantic structures in HTML documents

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

Name match · unconfirmed · 2004 · Found in OpenAlex

DOI: 10.1109/icdar.2003.1227667

Choose for “Automatic discovery of semantic structures in HTML documents”

An unfold/fold transformation framework for definite logic programs

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

Name match · unconfirmed ACM Transactions on Programming Languages and Systems · 2004 · Found in OpenAlex

DOI: 10.1145/982158.982160

Choose for “An unfold/fold transformation framework for definite logic programs”

Semantic bookmarking for non-visual web access

Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer

Name match · unconfirmed ACM SIGACCESS Accessibility and Computing · 2003 · Found in OpenAlex

DOI: 10.1145/1029014.1028663

Choose for “Semantic bookmarking for non-visual web access”

Semantic bookmarking for non-visual web access

Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer

Name match · unconfirmed · 2003 · Found in OpenAlex

DOI: 10.1145/1028630.1028663

Choose for “Semantic bookmarking for non-visual web access”

Parallel execution of equational programs

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

Name match · unconfirmed · 2003 · Found in OpenAlex

DOI: 10.1109/tencon.1989.177074

Choose for “Parallel execution of equational programs”

Online Justification for Tabled Logic Programs

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

Name match · unconfirmed Lecture notes in computer science · 2003 · Found in OpenAlex

DOI: 10.1007/978-3-540-24599-5_42

Choose for “Online Justification for Tabled Logic Programs”

Justification Based on Program Transformation

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

Name match · unconfirmed Lecture notes in computer science · 2003 · Found in OpenAlex

DOI: 10.1007/3-540-45013-0_13

Choose for “Justification Based on Program Transformation”

YellowPager

Prashant Choudhari, Hasan Davulcu, Abhishek Joglekar, Akshay More, Saikat Mukherjee, Supriya Patil, I. V. Ramakrishnan

Name match · unconfirmed · 2002 · Found in OpenAlex

DOI: 10.1145/564376.564499

Choose for “YellowPager”

CuTeX

Hasan Davulcu, Saikat Mukherjee, A.K. Seth, I. V. Ramakrishnan

Name match · unconfirmed · 2002 · Found in OpenAlex

DOI: 10.1145/564376.564498

Choose for “CuTeX”

BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS

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

Name match · unconfirmed International Journal of Foundations of Computer Science · 2002 · Found in OpenAlex

DOI: 10.1142/s0129054102001175

Choose for “BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS”

Term indexing

R. Sekar, I. V. Ramakrishnan, Андрей Воронков

Name match · unconfirmed · 2001 · Found in OpenAlex

Choose for “Term indexing”

Speculative Beats Conservative Justification

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

Name match · unconfirmed Lecture notes in computer science · 2001 · Found in OpenAlex

DOI: 10.1007/3-540-45635-x_18

Choose for “Speculative Beats Conservative Justification”

Model-Carrying Code (MCC)

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

Name match · unconfirmed · 2001 · Found in OpenAlex

DOI: 10.1145/508172.508175

Choose for “Model-Carrying Code (MCC)”

Model-Carrying Code (MCC)

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

Name match · unconfirmed · 2001 · Found in OpenAlex

DOI: 10.1145/508171.508175

Choose for “Model-Carrying Code (MCC)”

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming

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

Name match · unconfirmed Lecture notes in computer science · 2001 · Found in OpenAlex

DOI: 10.1007/3-540-45635-x_19

Choose for “Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming”

Automated Inductive Verification of Parameterized Protocols?

Abhik Roychoudhury, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 2001 · Found in OpenAlex

DOI: 10.1007/3-540-44585-4_4

Choose for “Automated Inductive Verification of Parameterized Protocols?”

Automata-driven efficient subterm unification

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

Name match · unconfirmed Theoretical Computer Science · 2001 · Found in OpenAlex

DOI: 10.1016/s0304-3975(99)00131-0

Choose for “Automata-driven efficient subterm unification”

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

Name match · unconfirmed Lecture notes in computer science · 2000 · Found in OpenAlex

DOI: 10.1007/10722167_48

Choose for “XMC: A Logic-Programming-Based Verification Toolset”

Verification of Parameterized Systems Using Logic Program Transformations

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

Name match · unconfirmed Lecture notes in computer science · 2000 · Found in OpenAlex

DOI: 10.1007/3-540-46419-0_13

Choose for “Verification of Parameterized Systems Using Logic Program Transformations”

Specification and evaluation of logic-based model checking

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

Name match · unconfirmed ACM SIGSOFT Software Engineering Notes · 2000 · Found in OpenAlex

DOI: 10.1145/340855.340997

Choose for “Specification and evaluation of logic-based model checking”

Justifying proofs using memo tables

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

Name match · unconfirmed · 2000 · Found in OpenAlex

DOI: 10.1145/351268.351290

Choose for “Justifying proofs using memo tables”

Congruence Closure Modulo Associativity and Commutativity

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

Name match · unconfirmed Lecture notes in computer science · 2000 · Found in OpenAlex

DOI: 10.1007/10720084_16

Choose for “Congruence Closure Modulo Associativity and Commutativity”

Normalization via Rewrite Closures

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

Name match · unconfirmed Lecture notes in computer science · 1999 · Found in OpenAlex

DOI: 10.1007/3-540-48685-2_15

Choose for “Normalization via Rewrite Closures”

Modeling and analysis of interactions in virtual enterprises

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

Name match · unconfirmed · 1999 · Found in OpenAlex

DOI: 10.1109/ride.1999.758587

Choose for “Modeling and analysis of interactions in virtual enterprises”

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 S. Warren

Name match · unconfirmed Lecture notes in computer science · 1999 · Found in OpenAlex

DOI: 10.1007/3-540-49059-0_6

Choose for “Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools”

Efficient access mechanisms for tabled logic programs

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

Name match · unconfirmed The Journal of Logic Programming · 1999 · Found in OpenAlex

DOI: 10.1016/s0743-1066(98)10013-4

Choose for “Efficient access mechanisms for tabled logic programs”

A layered architecture for querying dynamic Web content

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

Name match · unconfirmed · 1999 · Found in OpenAlex

DOI: 10.1145/304182.304225

Choose for “A layered architecture for querying dynamic Web content”

A layered architecture for querying dynamic Web content

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

Name match · unconfirmed ACM SIGMOD Record · 1999 · Found in OpenAlex

DOI: 10.1145/304181.304225

Choose for “A layered architecture for querying dynamic Web content”

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 S. Warren

Name match · unconfirmed Lecture notes in computer science · 1998 · Found in OpenAlex

DOI: 10.1007/bfb0056604

Choose for “Logic programming and model checking”

Logic based modeling and analysis of workflows

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

Name match · unconfirmed · 1998 · Found in OpenAlex

DOI: 10.1145/275487.275491

Choose for “Logic based modeling and analysis of workflows”

On the power and limitations of strictness analysis

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

Name match · unconfirmed Journal of the ACM · 1997 · Found in OpenAlex

DOI: 10.1145/258128.258212

Choose for “On the power and limitations of strictness analysis”

Efficient model checking using tabled resolution

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

Name match · unconfirmed Lecture notes in computer science · 1997 · Found in OpenAlex

DOI: 10.1007/3-540-63166-6_16

Choose for “Efficient model checking using tabled resolution”

E QUALS – a fast parallel implementation of a lazy language

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

Name match · unconfirmed Journal of Functional Programming · 1997 · Found in OpenAlex

DOI: 10.1017/s0956796897002669

Choose for “E QUALS – a fast parallel implementation of a lazy language”

Subsumption algorithms based on search trees

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

Name match · unconfirmed Lecture notes in computer science · 1996 · Found in OpenAlex

DOI: 10.1007/3-540-61064-2_34

Choose for “Subsumption algorithms based on search trees”

Unification factoring for efficient execution of logic programs

S L Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Theresa Swift, David S. Warren

Name match · unconfirmed · 1995 · Found in OpenAlex

DOI: 10.1145/199448.199509

Choose for “Unification factoring for efficient execution of logic programs”

Fast strictness analysis based on demand propagation

R. Sekar, I. V. Ramakrishnan

Name match · unconfirmed ACM Transactions on Programming Languages and Systems · 1995 · Found in OpenAlex

DOI: 10.1145/218570.218573

Choose for “Fast strictness analysis based on demand propagation”

Automata-driven indexing of prolog clauses

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

Name match · unconfirmed The Journal of Logic Programming · 1995 · Found in OpenAlex

DOI: 10.1016/0743-1066(94)00016-y

Choose for “Automata-driven indexing of prolog clauses”

Adaptive Pattern Matching

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

Name match · unconfirmed SIAM Journal on Computing · 1995 · Found in OpenAlex

DOI: 10.1137/s0097539793246252

Choose for “Adaptive Pattern Matching”

Multistage indexing algorithms for speeding prolog execution

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

Name match · unconfirmed Software Practice and Experience · 1994 · Found in OpenAlex

DOI: 10.1002/spe.4380241202

Choose for “Multistage indexing algorithms for speeding prolog execution”

Automata-driven efficient subterm unification

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

Name match · unconfirmed Lecture notes in computer science · 1994 · Found in OpenAlex

DOI: 10.1007/3-540-58715-2_132

Choose for “Automata-driven efficient subterm unification”

Associative-commutative discrimination nets

Leo Bachmair, Ta Chen, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 1993 · Found in OpenAlex

DOI: 10.1007/3-540-56610-4_56

Choose for “Associative-commutative discrimination nets”

Tight complexity bounds for term matching problems

Rakesh Verma, I. V. Ramakrishnan

Name match · unconfirmed Information and Computation · 1992 · Found in OpenAlex

DOI: 10.1016/0890-5401(92)90075-q

Choose for “Tight complexity bounds for term matching problems”

Nonlinear pattern matching in trees

R. Ramesh, I. V. Ramakrishnan

Name match · unconfirmed Journal of the ACM · 1992 · Found in OpenAlex

DOI: 10.1145/128749.128752

Choose for “Nonlinear pattern matching in trees”

Fast parallel implementation of lazy languages—the EQUALS experience

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

Name match · unconfirmed ACM SIGPLAN Lisp Pointers · 1992 · Found in OpenAlex

DOI: 10.1145/141478.141570

Choose for “Fast parallel implementation of lazy languages—the EQUALS experience”

Adaptive pattern matching

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

Name match · unconfirmed Lecture notes in computer science · 1992 · Found in OpenAlex

DOI: 10.1007/3-540-55719-9_78

Choose for “Adaptive pattern matching”

Parallel tree pattern matching

R. Ramesh, I. V. Ramakrishnan

Name match · unconfirmed Journal of Symbolic Computation · 1990 · Found in OpenAlex

DOI: 10.1016/s0747-7171(08)80023-5

Choose for “Parallel tree pattern matching”

Automata-driven indexing of Prolog clauses

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

Name match · unconfirmed · 1990 · Found in OpenAlex

DOI: 10.1145/96709.96738

Choose for “Automata-driven indexing of Prolog clauses”

VERITAS: Visualization Environment Research In The Applied Sciences

Alessandro Giacalone, Jack Heller, Arie Kaufman, Michael Kifer, Philip Lewis, Prateek Mishra, I. V. Ramakrishnan, Scott A. Smolka, David S. Warren

Name match · unconfirmed Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1989 · Found in OpenAlex

DOI: 10.1117/12.952880

Choose for “VERITAS: Visualization Environment Research In The Applied Sciences”

Term matching on parallel computers

R. Ramesh, Rakesh Verma, T R Krishnaprasad, I. V. Ramakrishnan

Name match · unconfirmed The Journal of Logic Programming · 1989 · Found in OpenAlex

DOI: 10.1016/0743-1066(89)90014-9

Choose for “Term matching on parallel computers”

Reconfigurable multipipelines for vector supercomputers

Rajesh K. Gupta, Alessandro Zorat, I. V. Ramakrishnan

Name match · unconfirmed IEEE Transactions on Computers · 1989 · Found in OpenAlex

DOI: 10.1109/12.29468

Choose for “Reconfigurable multipipelines for vector supercomputers”

Nonlinear pattern matching in trees

R. Ramesh, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 1988 · Found in OpenAlex

DOI: 10.1007/3-540-19488-6_135

Choose for “Nonlinear pattern matching in trees”

Distributed algorithms for tree pattern matching

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

Name match · unconfirmed Lecture notes in computer science · 1988 · Found in OpenAlex

DOI: 10.1007/bfb0019797

Choose for “Distributed algorithms for tree pattern matching”

Term matching on parallel computers

R. Ramesh, Rakesh Verma, T R Krishnaprasad, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 1987 · Found in OpenAlex

DOI: 10.1007/3-540-18088-5_28

Choose for “Term matching on parallel computers”

Optimal speedups for parallel pattern matching in trees

R. Ramesh, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 1987 · Found in OpenAlex

DOI: 10.1007/3-540-17220-3_23

Choose for “Optimal speedups for parallel pattern matching in trees”

Fault-tolerant VLSI sorters

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

Name match · unconfirmed Circuits Systems and Signal Processing · 1987 · Found in OpenAlex

DOI: 10.1007/bf01598957

Choose for “Fault-tolerant VLSI sorters”

Computing dominators in parallel

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

Name match · unconfirmed Information Processing Letters · 1987 · Found in OpenAlex

DOI: 10.1016/0020-0190(87)90222-5

Choose for “Computing dominators in parallel”

Computing dominators in parallel

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

Name match · unconfirmed Information Processing Letters · 1987 · Found in OpenAlex

DOI: 10.1016/0020-0190(87)90136-0

Choose for “Computing dominators in parallel”

Dual Quadtree Representation for VLSI Designs

S. K. Nandy, I. V. Ramakrishnan

Name match · unconfirmed Design Automation Conference · 1986 · Found in OpenAlex

DOI: 10.5555/318013.318133

Choose for “Dual Quadtree Representation for VLSI Designs”

Dual Quadtree Representation for VLSI Designs

S.K. Nandy, I.V. Ramakrishnan

Name match · unconfirmed · 1986 · Found in OpenAlex

DOI: 10.1109/dac.1986.1586160

Choose for “Dual Quadtree Representation for VLSI Designs”

An efficient parallel algorithm for term matching

Rakesh Verma, T R Krishnaprasad, I. V. Ramakrishnan

Name match · unconfirmed Lecture notes in computer science · 1986 · Found in OpenAlex

DOI: 10.1007/3-540-17179-7_31

Choose for “An efficient parallel algorithm for term matching”
You can try the radio buttons, but choices are not saved.