default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDI. V. Ramakrishnan
Person information
- affiliation: Stony Brook University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c196]Satwik Ram Kodandaram
, Utku Uckun, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok:
Enabling Uniform Computer Interaction Experience for Blind Users through Large Language Models. ASSETS 2024: 73:1-73:14- [c195]Anujay Ghosh, Monalika Padma Reddy, Satwik Ram Kodandaram, Utku Uckun, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan:
Screen Reading Enabled by Large Language Models. ASSETS 2024: 125:1-125:5 - [c194]Prerna Khanna, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian:
Hand Gesture Recognition for Blind Users by Tracking 3D Gesture Trajectory. CHI 2024: 405:1-405:15 - [c193]Yunfan Li, Haibin Ling, I. V. Ramakrishnan, Prateek Prasanna, Aaron Sasson, Himanshu Gupta:
Critical View of Safety Assessment in Laparoscopic Cholecystectomy via Segment Anything Model. EMBC 2024: 1-6 - [c192]Zuhui Wang, Yunting Yin, I. V. Ramakrishnan:
Enhancing Image-Text Matching with Adaptive Feature Aggregation. ICASSP 2024: 8245-8249 - [c191]Dasharadhan Mahalingam, Aditya Patankar, Khiem Phi, Nilanjan Chakraborty, Ryan McGann, I. V. Ramakrishnan:
Containerized Vertical Farming Using Cobots. ICRA 2024: 17897-17903 - [c190]Dan Zhang, Zhi Li, Vikas Ashok, William H. Seiple, I. V. Ramakrishnan, Xiaojun Bi:
Accessible Gesture Typing on Smartphones for People with Low Vision. UIST 2024: 86:1-86:11 - [i11]Zuhui Wang, Yunting Yin, I. V. Ramakrishnan:
Enhancing Image-Text Matching with Adaptive Feature Aggregation. CoRR abs/2401.09725 (2024) - [i10]Satwik Ram Kodandaram, Utku Uckun, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok:
Enabling Uniform Computer Interaction Experience for Blind Users through Large Language Models. CoRR abs/2407.19537 (2024) - [i9]Dibyendu Das, Alfredo Fontanini, Joshua F. Kogan, Haibin Ling, C. R. Ramakrishnan, I. V. Ramakrishnan:
Data Augmentation for Automated Adaptive Rodent Training. CoRR abs/2410.18221 (2024) - [i8]Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan:
Screw Geometry Meets Bandits: Incremental Acquisition of Demonstrations to Generate Manipulation Plans. CoRR abs/2410.18275 (2024) - 2023
- [c189]Yunfan Li, Himanshu Gupta, Prateek Prasanna, I. V. Ramakrishnan, Haibin Ling:
Surgical Phase Recognition in Laparoscopic Cholecystectomy. CENTERIS/ProjMAN/HCist 2023: 2006-2012 - [c188]Zhi Li, Yu-Jung Ko, Aini Putkonen, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan, Antti Oulasvirta, Xiaojun Bi:
Modeling Touch-based Menu Selection Performance of Blind Users via Reinforcement Learning. CHI 2023: 357:1-357:18 - [c187]Wenzhe Cui, Rui Liu, Zhi Li, Yifan Wang, Andrew Wang, Xia Zhao, Sina Rashidian, Furqan Baig, I. V. Ramakrishnan, Fusheng Wang, Xiaojun Bi:
GlanceWriter: Writing Text by Glancing Over Letters with Gaze. CHI 2023: 719:1-719:13 - [c186]Yunfan Li, Himanshu Gupta, Haibin Ling, I. V. Ramakrishnan, Prateek Prasanna, Georgios Georgakis, Aaron Sasson:
Automated Assessment of Critical View of Safety in Laparoscopic Cholecystectomy. ICHI 2023: 330-337 - [c185]Aditya Patankar, Khiem Phi, Dasharadhan Mahalingam, Nilanjan Chakraborty, I. V. Ramakrishnan:
Task-Oriented Grasping with Point Cloud Representation of Objects. IROS 2023: 6853-6860 - [c184]Anand Ravi Aiyer, I. V. Ramakrishnan, Vikas Ashok:
Taming Entangled Accessibility Forum Threads for Efficient Screen Reading. IUI 2023: 65-76 - [c183]Prerna Khanna, Shirin Feiz, Jian Xu, I. V. Ramakrishnan, Shubham Jain, Xiaojun Bi, Aruna Balasubramanian:
AccessWear: Making Smartphone Applications Accessible to Blind Users. MobiCom 2023: 32:1-32:16 - [i7]Yunfan Li, Himanshu Gupta, Haibin Ling, I. V. Ramakrishnan, Prateek Prasanna, Georgios Georgakis, Aaron Sasson:
Automated Assessment of Critical View of Safety in Laparoscopic Cholecystectomy. CoRR abs/2309.07330 (2023) - [i6]Aditya Patankar, Khiem Phi, Dasharadhan Mahalingam, Nilanjan Chakraborty, I. V. Ramakrishnan:
Task-Oriented Grasping with Point Cloud Representation of Objects. CoRR abs/2309.11689 (2023) - [i5]Dasharadhan Mahalingam, Aditya Patankar, Khiem Phi, Nilanjan Chakraborty, Ryan McGann, I. V. Ramakrishnan:
Containerized Vertical Farming Using Cobots. CoRR abs/2310.15385 (2023) - 2022
- [c182]Zhi Li, Maozheng Zhao, Dibyendu Das, Hang Zhao, Yan Ma, Wanyu Liu, Michel Beaudouin-Lafon, Fusheng Wang, I. V. Ramakrishnan, Xiaojun Bi:
Select or Suggest? Reinforcement Learning-based Method for High-Accuracy Target Selection on Touchscreens. CHI 2022: 494:1-494:15 - [c181]Hae Na Lee, Yash Prakash, Mohan Sunkara, I. V. Ramakrishnan, Vikas Ashok:
Enabling Convenient Online Collaborative Writing for Low Vision Screen Magnifier Users. HT 2022: 143-153 - [c180]Ibrahim Hammoud, Prateek Prasanna, I. V. Ramakrishnan, Adam Singer, Mark Henry, Henry C. Thode:
EventScore: An Automated Real-time Early Warning Score for Clinical Events. ICHI 2022: 192-200 - [c179]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:
EyeSayCorrect: Eye Gaze and Voice Based Hands-free Text Correction for Mobile Devices. IUI 2022: 470-482 - [c178]Utku Uckun, Rohan Tumkur Suresh, Md Javedul Ferdous, Xiaojun Bi, I. V. Ramakrishnan, Vikas Ashok:
Taming User-Interface Heterogeneity with Uniform Overlays for Blind Users. UMAP 2022: 212-222 - [i4]Yunfan Li, Vinayak Shenoy, Prateek Prasanna, I. V. Ramakrishnan, Haibin Ling, Himanshu Gupta:
Surgical Phase Recognition in Laparoscopic Cholecystectomy. CoRR abs/2206.07198 (2022) - 2021
- [j40]Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan:
Bringing Things Closer: Enhancing Low-Vision Interaction Experience with Office Productivity Applications. Proc. ACM Hum. Comput. Interact. 5(EICS): 197:1-197:18 (2021) - [c177]Yu-Jung Ko, Hang Zhao, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi:
Issues Related to Using Finger-Fitts law to Model One-Dimensional Touch Pointing Tasks. CCHI 2021: 41-49 - [c176]Wenzhe Cui, Suwen Zhu, Zhi Li, Zheer Xu, Xing-Dong Yang, I. V. Ramakrishnan, Xiaojun Bi:
BackSwipe: Back-of-device Word-Gesture Interaction on Smartphones. CHI 2021: 196:1-196:12 - [c175]Ali Selman Aydin, Yu-Jung Ko, Utku Uckun, I. V. Ramakrishnan, Vikas Ashok:
Non-Visual Accessibility Assessment of Videos. CIKM 2021: 58-67 - [c174]Shirin Feiz, Anatoliy Borodin, Xiaojun Bi, I. V. Ramakrishnan:
Towards Enabling Blind People to Fill Out Paper Forms with a Wearable Smartphone Assistant. Graphics Interface 2021: 156-165 - [c173]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:
BayesGaze: A Bayesian Approach to Eye-Gaze Based Target Selection. Graphics Interface 2021: 231-240 - [c172]Yu-Jung Ko, Aini Putkonen, Ali Selman Aydin, Shirin Feiz, Yuheng Wang, Vikas Ashok, I. V. Ramakrishnan, Antti Oulasvirta, Xiaojun Bi:
Modeling Gliding-based Target Selection for Blind Touchscreen Users. MobileHCI 2021: 29:1-29:14 - [c171]Maozheng Zhao, Wenzhe Cui, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi:
Voice and Touch Based Error-tolerant Multimodal Text Editing and Correction for Smartphones. UIST 2021: 162-178 - [c170]Yan Ma, Shumin Zhai, I. V. Ramakrishnan, Xiaojun Bi:
Modeling Touch Point Distribution with Rotational Dual Gaussian Model. UIST 2021: 1197-1209 - [i3]Ibrahim Hammoud, Prateek Prasanna, I. V. Ramakrishnan, Adam Singer, Mark Henry, Henry C. Thode:
EventScore: An Automated Real-time Early Warning Score for Clinical Events. CoRR abs/2102.05958 (2021) - 2020
- [j39]Utku Uckun, Ali Selman Aydin, Vikas Ashok, I. V. Ramakrishnan:
Breaking the Accessibility Barrier in Non-Visual Interaction with PDF Forms. Proc. ACM Hum. Comput. Interact. 4(EICS): 80:1-80:16 (2020) - [c169]Utku Uckun, Ali Selman Aydin, Vikas Ashok, I. V. Ramakrishnan:
Ontology-Driven Transformations for PDF Form Accessibility. ASSETS 2020: 94:1-94:3 - [c168]Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan:
Screen Magnification for Office Applications. ASSETS 2020: 95:1-95:3 - [c167]Ibrahim Hammoud, I. V. Ramakrishnan, Petar M. Djuric:
Classification of 12-lead ECGs Using Intra-Heartbeat Discrete-time Fourier Transform and Inter-Heartbeat Attention. CinC 2020: 1-4 - [c166]Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan:
Rotate-and-Press: A Non-visual Alternative to Point-and-Click? HCI (44) 2020: 291-305 - [c165]Ibrahim Hammoud, I. V. Ramakrishnan, Mark Henry, Eric Morley:
Multimodal Early Septic Shock Prediction Model using Lasso Regression with Decaying Response. ICHI 2020: 1-3 - [c164]Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan:
Towards making videos accessible for low vision screen magnifier users. IUI 2020: 10-21 - [c163]Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan:
SaIL: saliency-driven injection of ARIA landmarks. IUI 2020: 111-115 - [c162]Hae Na Lee, Vikas Ashok, I. V. Ramakrishnan:
Repurposing Visual Input Modalities for Blind Users: A Case Study of Word Processors. SMC 2020: 2714-2721 - [c161]Yu-Jung Ko, Hang Zhao, Yoonsang Kim, I. V. Ramakrishnan, Shumin Zhai, Xiaojun Bi:
Modeling Two Dimensional Touch Pointing. UIST 2020: 858-868 - [c160]Ali Selman Aydin, Shirin Feiz, Vikas Ashok, I. V. Ramakrishnan:
A saliency-driven video magnifier for people with low vision. W4A 2020: 6:1-6:2
2010 – 2019
- 2019
- [c159]Shirin Feiz, Syed Masum Billah, Vikas Ashok, Roy Shilkrot, I. V. Ramakrishnan:
Towards Enabling Blind People to Independently Write on Printed Forms. CHI 2019: 300 - [c158]Syed Masum Billah, Yu-Jung Ko, Vikas Ashok, Xiaojun Bi, I. V. Ramakrishnan:
Accessible Gesture Typing for Non-Visual Text Entry on Smartphones. CHI 2019: 376 - [c157]Ibrahim Hammoud, I. V. Ramakrishnan, Mark Henry:
Early Prediction of Sepsis Using Gradient Boosting Decision Trees with Optimal Sample Weighting. CinC 2019: 1-4 - [c156]Vikas Ashok, Syed Masum Billah, Yevgen Borodin, I. V. Ramakrishnan:
Auto-Suggesting Browsing Actions for Personalized Web Screen Reading. UMAP 2019: 252-260 - [c155]Anatoliy Borodin, Yevgen Borodin, Andrii Soviak, Vikas Ashok, Shirin Disfani, I. V. Ramakrishnan:
Feel-It: Personalized Audio-Tactile Web Browsing. W4A 2019: 10:1-10:2 - [c154]Syed Masum Billah, Shirin Feiz, Vikas Ashok, Roy Shilkrot, I. V. Ramakrishnan:
Write-it-Yourself: Empowering Blind People to Independently Fill-out Paper Forms. W4A 2019: 16:1-16:2 - [c153]Shirin Feiz, I. V. Ramakrishnan:
Exploring feasibility of wrist gestures for non-visual interactions with wearables. W4A 2019: 23:1-23:4 - [p2]I. V. Ramakrishnan, Vikas Ashok, Syed Masum Billah:
Alternative Nonvisual Web Browsing Techniques. Web Accessibility (2nd Ed.) 2019: 629-649 - 2018
- [c152]Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan:
SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing. CHI 2018: 20 - [c151]Syed Masum Billah, Vikas Ashok, I. V. Ramakrishnan:
Write-it-Yourself with the Aid of Smartwatches: A Wizard-of-Oz Experiment with Blind People. IUI 2018: 427-431 - 2017
- [c150]Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan:
Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing. ASSETS 2017: 110-119 - [c149]Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan:
Ubiquitous Accessibility for People with Visual Impairments: Are We There Yet? CHI 2017: 5862-5868 - [c148]I. V. Ramakrishnan, Vikas Ashok, Syed Masum Billah:
Non-visual Web Browsing: Beyond Web Accessibility. HCI (8) 2017: 322-334 - [c147]Vikas Ashok, Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan:
Web Screen Reading Automation Assistance Using Semantic Abstraction. IUI 2017: 407-418 - 2016
- [c146]Andrii Soviak, Anatoliy Borodin, Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan:
Tactile Accessibility: Does Anyone Need a Haptic Glove? ASSETS 2016: 101-109 - [c145]Syed Masum Billah, Vikas Ashok, Donald E. Porter, I. V. Ramakrishnan:
A Platform Agnostic Remote Desktop System for Screen Reading. ASSETS 2016: 283-284 - [c144]Syed Masum Billah, Donald E. Porter, I. V. Ramakrishnan:
Sinter: low-bandwidth remote access for the visually-impaired. EuroSys 2016: 27:1-27:16 - [c143]Yevgen Borodin, Yury Puzis, Andrii Soviak, Vikas Ashok, Andrii Melnyk, I. V. Ramakrishnan:
Contextual language learning with Capti ESL Assistant. W4A 2016: 8:1-8:2 - 2015
- [c142]Andrii Soviak, Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan:
Feel the Web: Towards the Design of Haptic Screen Interfaces for Accessible Web Browsing. ASSETS 2015: 391-392 - [c141]Ritwik Banerjee, I. V. Ramakrishnan, Mark Henry, Matthew Perciavalle:
Patient Centered Identification, Attribution, and Ranking of Adverse Drug Events. ICHI 2015: 18-27 - [c140]Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan:
Complexities of practical web automation. W4A 2015: 11:1-11:4 - [c139]Valentyn Melnyk, Vikas Ashok, Yury Puzis, Yevgen Borodin, Andrii Soviak, I. V. Ramakrishnan:
Look Ma, no ARIA: generic accessible interfaces for web widgets. W4A 2015: 21:1-21:4 - [c138]Vikas Ashok, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan:
Capti-speak: a speech-enabled web screen reader. W4A 2015: 22:1-22:10 - [c137]Yury Puzis, Yevgen Borodin, Andrii Soviak, Valentyn Melnyk, I. V. Ramakrishnan:
Affordable web accessibility: a case for cheaper ARIA. W4A 2015: 32:1-32:4 - 2014
- [c136]Vikas Ashok, Yevgen Borodin, Svetlana Stoyanchev, I. V. Ramakrishnan:
Dialogue Act Modeling for Non-Visual Web Access. SIGDIAL Conference 2014: 123-132 - [c135]Vikas Ashok, Yevgen Borodin, Svetlana Stoyanchev, Yury Puzis, I. V. Ramakrishnan:
Wizard-of-Oz evaluation of speech-driven web browsing interface for people with vision impairments. W4A 2014: 12:1-12:9 - [c134]Yury Puzis, Yevgen Borodin, I. V. Ramakrishnan:
Predictive, accessible web automation: a longitudinal study. W4A 2014: 21:1-21:4 - [c133]Yevgen Borodin, Yuri Puzis, Andrii Sovyak, James Bouker, Bo Feng, Richard Sicoli, Andrii Melnyk, Valentyn Melnyk, Vikas Ashok, Glenn Dausch, I. V. Ramakrishnan:
Listen to everything you want to read with Capti narrator. W4A 2014: 33:1-33:2 - 2013
- [j38]Yevgen Borodin, Valentin Polishchuk, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent:
Live and learn from mistakes: A lightweight system for document classification. Inf. Process. Manag. 49(1): 83-98 (2013) - [j37]Zhiyuan Zhang, Bing Wang, Faisal Ahmed, I. V. Ramakrishnan, Rong Zhao, Asa Viccellio, Klaus Mueller:
The Five Ws for Information Visualization with Application to Healthcare Informatics. IEEE Trans. Vis. Comput. Graph. 19(11): 1895-1910 (2013) - [c132]Faisal Ahmed, Andrii Sovyak, Yevgen Borodin, I. V. Ramakrishnan:
Non-visual skimming on touch-screen devices. IUI 2013: 435-444 - [c131]Yury Puzis, Yevgen Borodin, Rami Puzis, I. V. Ramakrishnan:
Predictive web automation assistant for people with vision impairments. WWW 2013: 1031-1040 - 2012
- [j36]I. V. Ramakrishnan, Jesmin Jahan Tithi, A. Bagate, V. Khot, Faisal Ahmed, Donald P. Harrington, R. Talati:
Organizing RadLex lexicon for efficient retrieval of radiology documents. SIGHIT Rec. 2(1): 26 (2012) - [j35]Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan:
Inference in probabilistic logic programs with continuous random variables. Theory Pract. Log. Program. 12(4-5): 505-523 (2012) - [j34]Jalal Mahmud, I. V. Ramakrishnan:
Transaction models for Web accessibility. World Wide Web 15(4): 383-408 (2012) - [c130]Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan:
Thematic organization of web content for distraction-free text-to-speech narration. ASSETS 2012: 17-24 - [c129]Faisal Ahmed, Yevgen Borodin, Andrii Sovyak, Muhammad Asiful Islam, I. V. Ramakrishnan, Terri Hedgpeth:
Accessible skimming: faster screen reading of web pages. UIST 2012: 367-378 - [c128]Yevgen Borodin, Andrii Sovyak, Alexander Dimitriyadi, Yury Puzis, Valentyn Melnyk, Faisal Ahmed, Glenn Dausch, I. V. Ramakrishnan:
Universal and ubiquitous web access with Capti. W4A 2012: 27 - [c127]Faisal Ahmed, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan:
Why read if you can skim: towards enabling faster screen reading. W4A 2012: 39 - [c126]Yury Puzis, Yevgen Borodin, Faisal Ahmed, I. V. Ramakrishnan:
An intuitive accessible web automation user interface. W4A 2012: 41 - [i2]Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan:
Parameter Learning in PRISM Programs with Continuous Random Variables. CoRR abs/1203.4287 (2012) - 2011
- [c125]Yury Puzis, Eugene Borodin, Faisal Ahmed, Valentyn Melnyk, I. V. Ramakrishnan:
Guidelines for an accessible web automation interface. ASSETS 2011: 249-250 - [c124]Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan:
Tightly coupling visual and linguistic features for enriching audio-based web browsing experience. CIKM 2011: 2085-2088 - [i1]Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan:
Inference in Probabilistic Logic Programs with Continuous Random Variables. CoRR abs/1112.2681 (2011) - 2010
- [c123]Faisal Ahmed, Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan:
Assistive web browsing with touch interfaces. ASSETS 2010: 235-236 - [c122]Supriya Garg, I. V. Ramakrishnan, Klaus Mueller:
A visual analytics approach to model learning. IEEE VAST 2010: 67-74 - [c121]Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan:
Improving Accessibility of Transaction-centric Web Objects. SDM 2010: 37-48 - [c120]Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan:
Mixture model based label association techniques for web accessibility. UIST 2010: 67-76 - [c119]Yevgen Borodin, Jeffrey P. Bigham, Glenn Dausch, I. V. Ramakrishnan:
More than meets the eye: a survey of screen-reader browsing strategies. W4A 2010: 13 - [c118]Yevgen Borodin, Faisal Ahmed, Muhammad Asiful Islam, Yury Puzis, Valentyn Melnyk, Song Feng, I. V. Ramakrishnan, Glenn Dausch:
Hearsay: a new generation context-driven multi-modal assistive web browser. WWW 2010: 1233-1236
2000 – 2009
- 2009
- [c117]Yevgen Borodin, Glenn Dausch, I. V. Ramakrishnan:
TeleWeb: accessible service for web browsing via phone. W4A 2009: 96-97 - [c116]Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan:
Automated construction of web accessibility models from transaction click-streams. WWW 2009: 871-880 - 2008
- [j33]Saikat Mukherjee, I. V. Ramakrishnan:
Automated Semantic Analysis of Schematic Data. World Wide Web 11(4): 427-464 (2008) - [c115]Yevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan:
What's new?: making web page updates accessible. ASSETS 2008: 145-152 - [c114]Supriya Garg, Julia Eunju Nam, I. V. Ramakrishnan, Klaus Mueller:
Model-driven Visual Analytics. IEEE VAST 2008: 19-26 - [c113]Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan:
Assistive browser for conducting web transactions. IUI 2008: 365-368 - [c112]Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan:
Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields. SDM 2008: 420-431 - [c111]Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong:
A methodology for in-network evaluation of integrated logical-statistical models. SenSys 2008: 197-210 - [c110]Yevgen Borodin, Jeffrey P. Bigham, Amanda Stent, I. V. Ramakrishnan:
Towards one world web with HearSay3. W4A 2008: 130-131 - [c109]I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed:
Bridging the Web Accessibility Divide. WWV 2008: 107-124 - 2007
- [j32]Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan:
Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. 5(2): 333-355 (2007) - [j31]C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. 22(3): 269-279 (2007) - [j30]Zan Sun, Jalal Mahmud, I. V. Ramakrishnan, Saikat Mukherjee:
Model-directed Web transactions under constrained modalities. ACM Trans. Web 1(3): 12 (2007) - [c108]Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50 - [c107]Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258 - [c106]Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan:
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR 2007: 929-933 - [c105]Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan:
WebVAT: Web Page Visualization and Analysis Tool. ICWE 2007: 516-520 - [c104]Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan:
Combating information overload in non-visual web access using context. IUI 2007: 341-344 - [c103]Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan:
Context browsing with mobiles - when less is more. MobiSys 2007: 3-15 - [c102]Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan:
Computing Statistical Profiles of Active Sites in Proteins. SDM 2007: 635-640 - [c101]Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent:
The HearSay non-visual web browser. W4A 2007: 128-129 - [c100]Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan:
Csurf: a context-driven non-visual web-browser. WWW 2007: 31-40 - 2006
- [c99]Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan:
Improving non-visual web access using context. ASSETS 2006: 273-274 - [c98]C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405 - [c97]Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan:
A Framework for Building Privacy-Conscious Composite Web Services. ICWS 2006: 655-662 - [c96]Susan E. Brennan, Klaus Mueller, Gregory J. Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman:
Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST 2006: 129-136 - [c95]Saikat Mukherjee, Chang Zhao, I. V. Ramakrishnan:
Profiling Protein Families from Partially Aligned Sequences. SDM 2006: 584-588 - [c94]Zan Sun, Amanda Stent, I. V. Ramakrishnan:
Dialog generation for voice browsing. W4A 2006: 49-56 - [c93]Zan Sun, Jalal Mahmud, Saikat Mukherjee, I. V. Ramakrishnan:
Model-directed web transactions under constrained modalities. WWW 2006: 447-456 - 2005
- [c92]Vineet Enagandula, Niraj Juthani, I. V. Ramakrishnan, Devashish Rawal, Ritwick Vidyasagar:
BlackBoardNV: a system for enabling non-visual access to the blackboard course management system. ASSETS 2005: 220-221 - [c91]Prabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan:
BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers. DILS 2005: 19-30 - [c90]Saikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh:
Bootstrapping Semantic Annotations for Content-Rich HTML Documents. ICDE 2005: 583-593 - [c89]Saikat Mukherjee, I. V. Ramakrishnan:
Browsing fatigue in handhelds: semantic bookmarking spells relief. WWW 2005: 593-602 - [c88]Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan:
An approach for realizing privacy-preserving web-based services. WWW (Special interest tracks and posters) 2005: 1014-1015 - 2004
- [j29]Abhik Roychoudhury, I. V. Ramakrishnan:
Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004) - [j28]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ACM SIGACCESS Access. Comput. 77-78: 185-192 (2004) - [j27]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004) - [c87]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192 - [c86]Saikat Mukherjee, I. V. Ramakrishnan:
Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences. CoopIS/DOA/ODBASE (2) 2004: 909-926 - [c85]Zoé Lacroix, Kaushal Parekh, Hasan Davulcu, I. V. Ramakrishnan, Nikeeta Julasana:
Automating the Biological Data Collection Process with Agents. CSB 2004: 489-490 - [c84]Hasan Davulcu, Zoé Lacroix, Kaushal Parekh, I. V. Ramakrishnan, Nikeeta Julasana:
Exploiting Agent and Database Technologies for Biological Data Collection. DEXA Workshops 2004: 376-381 - [c83]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38 - [c82]Nikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan:
WinAgent: a system for creating and executing personal information assistants using a web browser. IUI 2004: 356-357 - [c81]I. V. Ramakrishnan, Amanda Stent, Guizhen Yang:
Hearsay: enabling audio browsing on hypertext content. WWW 2004: 80-89 - [c80]Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan:
CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) 2004: 144-153 - 2003
- [j26]Hasan Davulcu, Srinivas Vadrevu, Saravanakumar Nagarajan, I. V. Ramakrishnan:
OntoMiner: Bootstrapping and Populating Ontologies from Domain-Specific Web Sites. IEEE Intell. Syst. 18(5): 24-33 (2003) - [c79]Guizhen Yang, I. V. Ramakrishnan, Michael Kifer:
On the complexity of schema inference from web pages in the presence of nullable data attributes. CIKM 2003: 224-231 - [c78]Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan:
Automatic Discovery of Semantic Structures in HTML Documents. ICDAR 2003: 245-249 - [c77]Guizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan:
On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources. ICDM 2003: 395-402 - [c76]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. ICLP 2003: 500-501 - [c75]Guizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu:
On the Power of Semantic Partitioning of Web Documents. IIWeb 2003: 39-44 - [c74]Saikat Mukherjee, Guizhen Yang, I. V. Ramakrishnan:
Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis. ISWC 2003: 533-549 - 2002
- [j25]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13(3): 387-403 (2002) - [c73]Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan:
Extraction Techniques for Mining Services from Web Sources. ICDM 2002: 601-604 - [c72]Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan:
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP 2002: 100-114 - [c71]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justification Based on Program Transformation. LOPSTR 2002: 158-159 - [c70]Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan:
A Clustering Technique for Mining Data from Text Tables. SDM 2002: 315-332 - [c69]Hasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan:
CuTeX: a system for extracting data from text tables. SIGIR 2002: 457 - [c68]Prashant Choudhari, Hasan Davulcu, Abhishek Joglekar, Akshay More, Saikat Mukherjee, Supriya Patil, I. V. Ramakrishnan:
YellowPager: a tool for ontology-based mining of service directories from web sources. SIGIR 2002: 458 - 2001
- [j24]R. Ramesh, I. V. Ramakrishnan, R. C. Sekar:
Automata-driven efficient subterm unification. Theor. Comput. Sci. 254(1-2): 187-223 (2001) - [c67]Abhik Roychoudhury, I. V. Ramakrishnan:
Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37 - [c66]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Speculative Beats Conservative Justification. ICLP 2001: 150-165 - [c65]Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma:
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP 2001: 166-180 - [c64]R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW 2001: 23-30 - [p1]I. V. Ramakrishnan, R. Sekar, Andrei Voronkov:
Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964 - [e1]I. V. Ramakrishnan:
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings. Lecture Notes in Computer Science 1990, Springer 2001, ISBN 3-540-41768-0 [contents] - 2000
- [j23]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25(1): 73-74 (2000) - [c63]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan:
XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580 - [c62]Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan:
Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic 2000: 1094-1105 - [c61]Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron:
Congruence Closure Modulo Associativity and Commutativity. FroCoS 2000: 245-259 - [c60]I. V. Ramakrishnan:
Current Trends in Logic Programming: Prospects and Promises. PADL 2000: 324 - [c59]Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan:
Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144 - [c58]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justifying proofs using memo tables. PPDP 2000: 178-189 - [c57]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
1990 – 1999
- 1999
- [j22]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38(1): 31-54 (1999) - [c56]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333 - [c55]Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao:
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 284-300 - [c54]Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan:
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616 - [c53]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413 - [c52]Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson:
Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999: 12-18 - [c51]Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari:
Normalization via Rewrite Closures. RTA 1999: 190-204 - [c50]Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan:
A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502 - [c49]Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88 - 1998
- [c48]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar:
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205 - [c47]Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan:
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP 1998: 310-324 - [c46]Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20 - [c45]Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan:
Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 - [c44]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88 - 1997
- [j21]R. Sekar, I. V. Ramakrishnan, Prateek Mishra:
On the power and limitations of strictness analysis. J. ACM 44(3): 505-525 (1997) - [j20]Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. 7(2): 183-217 (1997) - [c43]Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren:
Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154 - 1996
- [c42]Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan:
Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148 - [c41]Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan:
A Thread in Time Saves Tabling Time. JICSLP 1996: 112-126 - 1995
- [j19]R. Ramesh, I. V. Ramakrishnan, David Scott Warren:
Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23(2): 151-202 (1995) - [j18]R. C. Sekar, R. Ramesh, I. V. Ramakrishnan:
Adaptive Pattern Matching. SIAM J. Comput. 24(6): 1207-1234 (1995) - [j17]R. Sekar, I. V. Ramakrishnan:
Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17(6): 896-937 (1995) - [c40]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 - [c39]Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin:
Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355 - [c38]C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM 1995: 12-23 - [c37]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan:
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. PLILP 1995: 133-150 - [c36]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258 - [c35]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift:
Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208 - 1994
- [j16]Ta Chen, I. V. Ramakrishnan, R. Ramesh:
Multistage Indexing for Speeding Prolog Executions. Softw. Pract. Exp. 24(12): 1097-1119 (1994) - [c34]Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren:
Dynamic Argument Reduction for In-memory Data Queries. Workshop on Deductive Databases and Logic Programming 1994: 117-129 - [c33]R. Ramesh, I. V. Ramakrishnan, R. C. Sekar:
Automata-Driven Efficient Subterm Unification. FSTTCS 1994: 288-299 - 1993
- [j15]R. C. Sekar, I. V. Ramakrishnan:
Programming in Equational Logic: Beyond Strong Sequentiality. Inf. Comput. 104(1): 78-109 (1993) - [c32]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
Extracting Determinacy in Logic Programs. ICLP 1993: 424-438 - [c31]Leo Bachmair, Ta Chen, I. V. Ramakrishnan:
Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74 - 1992
- [j14]Rakesh M. Verma, I. V. Ramakrishnan:
Tight Complexity Bounds for Term Matching Problems. Inf. Comput. 101(1): 33-69 (1992) - [j13]R. Ramesh, I. V. Ramakrishnan:
Nonlinear Pattern Matching in Trees. J. ACM 39(2): 295-316 (1992) - [c30]R. C. Sekar, I. V. Ramakrishnan:
Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE 1992: 618-632 - [c29]R. C. Sekar, R. Ramesh, I. V. Ramakrishnan:
Adaptive Pattern Matching. ICALP 1992: 247-260 - [c28]Ta Chen, I. V. Ramakrishnan, R. Ramesh:
Multistage Indexing Algorithms for Speeding Prolog Execution. JICSLP 1992: 639-653 - [c27]Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. LISP and Functional Programming 1992: 335-344 - 1991
- [j12]P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal:
Approximate Algorithms for the Knapsack Problem on Parallel Computers. Inf. Comput. 91(2): 155-171 (1991) - [c26]R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan:
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL 1991: 37-48 - [c25]R. Ramesh, I. V. Ramakrishnan:
Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. RTA 1991: 335-347 - 1990
- [j11]R. Ramesh, I. V. Ramakrishnan:
Parallel Tree Pattern Matching. J. Symb. Comput. 9(4): 485-501 (1990) - [c24]Rakesh M. Verma, I. V. Ramakrishnan:
Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. ICALP 1990: 370-385 - [c23]R. C. Sekar, I. V. Ramakrishnan:
Programming in Equational Logic: Beyond Strong Sequentiality. LICS 1990: 230-241 - [c22]R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan:
Small Domains Spell Fast Strictness Analysis. POPL 1990: 169-183 - [c21]R. Ramesh, I. V. Ramakrishnan, David Scott Warren:
Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291
1980 – 1989
- 1989
- [j10]R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan:
Term Matching on Parallel Computers. J. Log. Program. 6(3): 213-228 (1989) - [j9]Peter J. Varman, I. V. Ramakrishnan:
Optimal Matrix Multiplication on Fault-Tolerant VLSI Arrays. IEEE Trans. Computers 38(2): 278-283 (1989) - [j8]Rajiv Gupta, Alessandro Zorat, I. V. Ramakrishnan:
Reconfigurable Multipipelines for Vector Supercomputers. IEEE Trans. Computers 38(9): 1297-1307 (1989) - [c20]R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan:
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA 1989: 404-418 - [c19]Rakesh M. Verma, I. V. Ramakrishnan:
Some Complexity Theoretic Aspects of AC Rewriting. STACS 1989: 407-420 - 1988
- [c18]Rakesh M. Verma, I. V. Ramakrishnan:
Optimal Time Bounds for Parallel Term Matching. CADE 1988: 694-703 - [c17]R. Ramesh, I. V. Ramakrishnan:
Nonlinear Pattern Matching in Trees. ICALP 1988: 473-488 - 1987
- [j7]Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan:
Computing Dominators in Parallel. Inf. Process. Lett. 24(4): 217-221 (1987) - [c16]R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan:
Term Matching on Parallel Computers. ICALP 1987: 336-346 - [c15]R. Ramesh, I. V. Ramakrishnan:
Optimal Speedups for Parallel Pattern Matching in Trees. RTA 1987: 274-285 - [c14]Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan:
Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107 - 1986
- [j6]Shaunak Pawagi, I. V. Ramakrishnan:
An O(log n) Algorithm for Parallel Update of Minimum Spanning Trees. Inf. Process. Lett. 22(5): 223-229 (1986) - [j5]I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz:
Mapping Homogeneous Graphs on Linear Arrays. IEEE Trans. Computers 35(3): 189-209 (1986) - [j4]Peter J. Varman, I. V. Ramakrishnan:
Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. IEEE Trans. Computers 35(11): 989-996 (1986) - [c13]Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan:
An Efficient Parallel Algorithm for Term Matching. FSTTCS 1986: 504-518 - [c12]Peter J. Varman, I. V. Ramakrishnan:
A Fault-Tolerant VLSI Matrix Multiplier. ICPP 1986: 351-357 - [c11]P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal:
Parallel Approximate Algorithms for the 0-1 Knapsack Problem. ICPP 1986: 444-451 - [c10]Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan:
A Parallel Algorithm for Dominators. ICPP 1986: 877-879 - 1985
- [c9]Deepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan:
O(1) Parallel Time Incremental Graph Algorithms. FSTTCS 1985: 477-495 - [c8]Peter J. Varman, I. V. Ramakrishnan:
On Matrix Multiplication Using Array Processors. ICALP 1985: 487-496 - [c7]Shaunak Pawagi, I. V. Ramakrishnan:
Parallel Updates of Graph Properties in Logarithmic Time. ICPP 1985: 186-193 - [c6]I. V. Ramakrishnan, Peter J. Varman:
An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. ICPP 1985: 376-383 - [c5]P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal:
Computing Tree Functions on Mesh-Connected Computers. ICPP 1985: 703-710 - [c4]P. S. Gopalakrishnan, I. V. Ramakrishnan, Laveen N. Kanal:
An Efficient Connected Components Algorithm on a Mesh-Connected Computer. ICPP 1985: 711-714 - 1984
- [j3]Peter J. Varman, I. V. Ramakrishnan, Donald S. Fussell:
A Robust Matrix-Multiplication Array. IEEE Trans. Computers 33(10): 919-922 (1984) - [j2]I. V. Ramakrishnan, Peter J. Varman:
Modular Matrix Multiplication on a Linear Array. IEEE Trans. Computers 33(11): 952-958 (1984) - [c3]I. V. Ramakrishnan:
On Mapping Cube Graphs onto VLSI Arrays. FSTTCS 1984: 296-316 - [c2]I. V. Ramakrishnan, Peter J. Varman:
Modular Matrix Multiplication on a Linear Array. ISCA 1984: 232-238 - 1983
- [j1]I. V. Ramakrishnan, James C. Browne:
A Paradigm for the Design of Parallel Algorithms with Applications. IEEE Trans. Software Eng. 9(4): 411-415 (1983) - [c1]I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz:
On Mapping Homogeneous Graphs on a Linear Array-Processor Model. ICPP 1983: 440-447
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
