I. V. Ramakrishnan

Orcid: 0000-0002-1768-7043

Affiliations:
  • Stony Brook University, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Containerized Vertical Farming Using Cobots.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Enhancing Image-Text Matching with Adaptive Feature Aggregation.
Proceedings of the IEEE International Conference on Acoustics, 2024

Hand Gesture Recognition for Blind Users by Tracking 3D Gesture Trajectory.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
AccessWear: Making Smartphone Applications Accessible to Blind Users.
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023

Taming Entangled Accessibility Forum Threads for Efficient Screen Reading.
Proceedings of the 28th International Conference on Intelligent User Interfaces, 2023

Task-Oriented Grasping with Point Cloud Representation of Objects.
IROS, 2023

Automated Assessment of Critical View of Safety in Laparoscopic Cholecystectomy.
Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023

Modeling Touch-based Menu Selection Performance of Blind Users via Reinforcement Learning.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

GlanceWriter: Writing Text by Glancing Over Letters with Gaze.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Surgical Phase Recognition in Laparoscopic Cholecystectomy.
Proceedings of the CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2023

2022
Surgical Phase Recognition in Laparoscopic Cholecystectomy.
CoRR, 2022

Taming User-Interface Heterogeneity with Uniform Overlays for Blind Users.
Proceedings of the UMAP '22: 30th ACM Conference on User Modeling, Adaptation and Personalization, Barcelona, Spain, July 4, 2022

EyeSayCorrect: Eye Gaze and Voice Based Hands-free Text Correction for Mobile Devices.
Proceedings of the IUI 2022: 27th International Conference on Intelligent User Interfaces, Helsinki, Finland, March 22, 2022

EventScore: An Automated Real-time Early Warning Score for Clinical Events.
Proceedings of the 10th IEEE International Conference on Healthcare Informatics, 2022

Enabling Convenient Online Collaborative Writing for Low Vision Screen Magnifier Users.
Proceedings of the HT '22: 33rd ACM Conference on Hypertext and Social Media, 2022

Select or Suggest? Reinforcement Learning-based Method for High-Accuracy Target Selection on Touchscreens.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021
Bringing Things Closer: Enhancing Low-Vision Interaction Experience with Office Productivity Applications.
Proc. ACM Hum. Comput. Interact., 2021

Voice and Touch Based Error-tolerant Multimodal Text Editing and Correction for Smartphones.
Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Modeling Touch Point Distribution with Rotational Dual Gaussian Model.
Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Modeling Gliding-based Target Selection for Blind Touchscreen Users.
Proceedings of the MobileHCI '21: 23rd International Conference on Mobile Human-Computer Interaction, Toulouse & Virtual Event, France, 27 September 2021, 2021

Towards Enabling Blind People to Fill Out Paper Forms with a Wearable Smartphone Assistant.
Proceedings of the 47th Graphics Interface Conference, 2021

BayesGaze: A Bayesian Approach to Eye-Gaze Based Target Selection.
Proceedings of the 47th Graphics Interface Conference, 2021

Non-Visual Accessibility Assessment of Videos.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

BackSwipe: Back-of-device Word-Gesture Interaction on Smartphones.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

Issues Related to Using Finger-Fitts law to Model One-Dimensional Touch Pointing Tasks.
Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021

2020
Breaking the Accessibility Barrier in Non-Visual Interaction with PDF Forms.
Proc. ACM Hum. Comput. Interact., 2020

A saliency-driven video magnifier for people with low vision.
Proceedings of the W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020, 2020

Modeling Two Dimensional Touch Pointing.
Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Repurposing Visual Input Modalities for Blind Users: A Case Study of Word Processors.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

SaIL: saliency-driven injection of ARIA landmarks.
Proceedings of the IUI '20: 25th International Conference on Intelligent User Interfaces, 2020

Towards making videos accessible for low vision screen magnifier users.
Proceedings of the IUI '20: 25th International Conference on Intelligent User Interfaces, 2020

Multimodal Early Septic Shock Prediction Model using Lasso Regression with Decaying Response.
Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

Rotate-and-Press: A Non-visual Alternative to Point-and-Click?
Proceedings of the HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design, 2020

Classification of 12-lead ECGs Using Intra-Heartbeat Discrete-time Fourier Transform and Inter-Heartbeat Attention.
Proceedings of the Computing in Cardiology, 2020

Ontology-Driven Transformations for PDF Form Accessibility.
Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

Screen Magnification for Office Applications.
Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

2019
Alternative Nonvisual Web Browsing Techniques.
Proceedings of the Web Accessibility - A Foundation for Research, Second Edition, 2019

Exploring feasibility of wrist gestures for non-visual interactions with wearables.
Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Feel-It: Personalized Audio-Tactile Web Browsing.
Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Write-it-Yourself: Empowering Blind People to Independently Fill-out Paper Forms.
Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

Auto-Suggesting Browsing Actions for Personalized Web Screen Reading.
Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization, 2019

Early Prediction of Sepsis Using Gradient Boosting Decision Trees with Optimal Sample Weighting.
Proceedings of the 46th Computing in Cardiology, 2019

Towards Enabling Blind People to Independently Write on Printed Forms.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Accessible Gesture Typing for Non-Visual Text Entry on Smartphones.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018
Write-it-Yourself with the Aid of Smartwatches: A Wizard-of-Oz Experiment with Blind People.
Proceedings of the 23rd International Conference on Intelligent User Interfaces, 2018

SteeringWheel: A Locality-Preserving Magnification Interface for Low Vision Web Browsing.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017
Web Screen Reading Automation Assistance Using Semantic Abstraction.
Proceedings of the 22nd International Conference on Intelligent User Interfaces, 2017

Non-visual Web Browsing: Beyond Web Accessibility.
Proceedings of the Universal Access in Human-Computer Interaction. Designing Novel Interactions, 2017

Ubiquitous Accessibility for People with Visual Impairments: Are We There Yet?
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Speed-Dial: A Surrogate Mouse for Non-Visual Web Browsing.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Contextual language learning with Capti ESL Assistant.
Proceedings of the 13th Web for All Conference, 2016

Sinter: low-bandwidth remote access for the visually-impaired.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

Tactile Accessibility: Does Anyone Need a Haptic Glove?
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

A Platform Agnostic Remote Desktop System for Screen Reading.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015
Affordable web accessibility: a case for cheaper ARIA.
Proceedings of the 12th Web for All Conference, 2015

Complexities of practical web automation.
Proceedings of the 12th Web for All Conference, 2015

Look Ma, no ARIA: generic accessible interfaces for web widgets.
Proceedings of the 12th Web for All Conference, 2015

Capti-speak: a speech-enabled web screen reader.
Proceedings of the 12th Web for All Conference, 2015

Patient Centered Identification, Attribution, and Ranking of Adverse Drug Events.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Feel the Web: Towards the Design of Haptic Screen Interfaces for Accessible Web Browsing.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014
Predictive, accessible web automation: a longitudinal study.
Proceedings of the International Web for All Conference, 2014

Listen to everything you want to read with Capti narrator.
Proceedings of the International Web for All Conference, 2014

Wizard-of-Oz evaluation of speech-driven web browsing interface for people with vision impairments.
Proceedings of the International Web for All Conference, 2014

Dialogue Act Modeling for Non-Visual Web Access.
Proceedings of the SIGDIAL 2014 Conference, 2014

2013
The Five Ws for Information Visualization with Application to Healthcare Informatics.
IEEE Trans. Vis. Comput. Graph., 2013

Live and learn from mistakes: A lightweight system for document classification.
Inf. Process. Manag., 2013

Predictive web automation assistant for people with vision impairments.
Proceedings of the 22nd International World Wide Web Conference, 2013

Non-visual skimming on touch-screen devices.
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

2012
Transaction models for Web accessibility.
World Wide Web, 2012

Inference in probabilistic logic programs with continuous random variables.
Theory Pract. Log. Program., 2012

Organizing RadLex lexicon for efficient retrieval of radiology documents.
SIGHIT Rec., 2012

Parameter Learning in PRISM Programs with Continuous Random Variables
CoRR, 2012

An intuitive accessible web automation user interface.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Universal and ubiquitous web access with Capti.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Why read if you can skim: towards enabling faster screen reading.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Accessible skimming: faster screen reading of web pages.
Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

Thematic organization of web content for distraction-free text-to-speech narration.
Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

2011
Tightly coupling visual and linguistic features for enriching audio-based web browsing experience.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Guidelines for an accessible web automation interface.
Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

2010
Hearsay: a new generation context-driven multi-modal assistive web browser.
Proceedings of the 19th International Conference on World Wide Web, 2010

More than meets the eye: a survey of screen-reader browsing strategies.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2010

Mixture model based label association techniques for web accessibility.
Proceedings of the 23rd Annual ACM Symposium on User Interface Software and Technology, 2010

Improving Accessibility of Transaction-centric Web Objects.
Proceedings of the SIAM International Conference on Data Mining, 2010

A visual analytics approach to model learning.
Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

Assistive web browsing with touch interfaces.
Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility, 2010

2009
Automated construction of web accessibility models from transaction click-streams.
Proceedings of the 18th International Conference on World Wide Web, 2009

TeleWeb: accessible service for web browsing via phone.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2009

2008
Automated Semantic Analysis of Schematic Data.
World Wide Web, 2008

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

Towards one world web with HearSay3.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2008

A methodology for in-network evaluation of integrated logical-statistical models.
Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields.
Proceedings of the SIAM International Conference on Data Mining, 2008

Assistive browser for conducting web transactions.
Proceedings of the 13th International Conference on Intelligent User Interfaces, 2008

Model-driven Visual Analytics.
Proceedings of the 3rd IEEE Symposium on Visual Analytics Science and Technology, 2008

What's new?: making web page updates accessible.
Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, 2008

2007
Model-directed Web transactions under constrained modalities.
ACM Trans. Web, 2007

XcelLog: a deductive spreadsheet system.
Knowl. Eng. Rev., 2007

Precise specification matching for adaptive reuse in embedded systems.
J. Appl. Log., 2007

Csurf: a context-driven non-visual web-browser.
Proceedings of the 16th International Conference on World Wide Web, 2007

The HearSay non-visual web browser.
Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

Computing Statistical Profiles of Active Sites in Proteins.
Proceedings of the Seventh SIAM International Conference on Data Mining, 2007

Context browsing with mobiles - when less is more.
Proceedings of the 5th International Conference on Mobile Systems, 2007

Combating information overload in non-visual web access using context.
Proceedings of the 12th International Conference on Intelligent User Interfaces, 2007

WebVAT: Web Page Visualization and Analysis Tool.
Proceedings of the Web Engineering, 7th International Conference, 2007

A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Learning Cycle-Linear Hybrid Automata for Excitable Cells.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Security policy analysis using deductive spreadsheets.
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

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

Profiling Protein Families from Partially Aligned Sequences.
Proceedings of the Sixth SIAM International Conference on Data Mining, 2006

Toward a Multi-Analyst, Collaborative Framework for Visual Analytics.
Proceedings of the 1st IEEE Symposium On Visual Analytics Science And Technology, 2006

A Framework for Building Privacy-Conscious Composite Web Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Deductive Spreadsheets Using Tabled Logic Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Improving non-visual web access using context.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005
An approach for realizing privacy-preserving web-based services.
Proceedings of the 14th international conference on World Wide Web, 2005

Browsing fatigue in handhelds: semantic bookmarking spells relief.
Proceedings of the 14th international conference on World Wide Web, 2005

Bootstrapping Semantic Annotations for Content-Rich HTML Documents.
Proceedings of the 21st International Conference on Data Engineering, 2005

BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

BlackBoardNV: a system for enabling non-visual access to the blackboard course management system.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2005

2004
An unfold/fold transformation framework for definite logic programs.
ACM Trans. Program. Lang. Syst., 2004

Semantic bookmarking for non-visual web access.
ACM SIGACCESS Access. Comput., 2004

Inductively Verifying Invariant Properties of Parameterized Systems.
Autom. Softw. Eng., 2004

Hearsay: enabling audio browsing on hypertext content.
Proceedings of the 13th international conference on World Wide Web, 2004

CTR-S: a logic for specifying contracts in semantic web services.
Proceedings of the 13th international conference on World Wide Web, 2004

WinAgent: a system for creating and executing personal information assistants using a web browser.
Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

Exploiting Agent and Database Technologies for Biological Data Collection.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Automating the Biological Data Collection Process with Agents.
Proceedings of the 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, 2004

Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
OntoMiner: Bootstrapping and Populating Ontologies from Domain-Specific Web Sites.
IEEE Intell. Syst., 2003

Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis.
Proceedings of the Semantic Web, 2003

On the Power of Semantic Partitioning of Web Documents.
Proceedings of IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), 2003

Online Justification for Tabled Logic Programs.
Proceedings of the Logic Programming, 19th International Conference, 2003

On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources.
Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 2003

Automatic Discovery of Semantic Structures in HTML Documents.
Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2003

On the complexity of schema inference from web pages in the presence of nullable data attributes.
Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, 2003

2002
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
Int. J. Found. Comput. Sci., 2002

CuTeX: a system for extracting data from text tables.
Proceedings of the SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2002

YellowPager: a tool for ontology-based mining of service directories from web sources.
Proceedings of the SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2002

A Clustering Technique for Mining Data from Text Tables.
Proceedings of the Second SIAM International Conference on Data Mining, 2002

Justification Based on Program Transformation.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.
Proceedings of the Logic Programming, 18th International Conference, 2002

Extraction Techniques for Mining Services from Web Sources.
Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM 2002), 2002

2001
Automata-driven efficient subterm unification.
Theor. Comput. Sci., 2001

Model-Carrying Code (MCC): a new paradigm for mobile-code security.
Proceedings of the New Security Paradigms Workshop 2001, 2001

Speculative Beats Conservative Justification.
Proceedings of the Logic Programming, 17th International Conference, 2001

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.
Proceedings of the Logic Programming, 17th International Conference, 2001

Automated Inductive Verification of Parameterized Protocols.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

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

2000
Specification and evaluation of logic-based model checking.
ACM SIGSOFT Softw. Eng. Notes, 2000

Verification of Parameterized Systems Using Logic Program Transformations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Justifying proofs using memo tables.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Computational Aspects of Resilient Data Extraction from Semistructured Sources.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Current Trends in Logic Programming: Prospects and Promises.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Congruence Closure Modulo Associativity and Commutativity.
Proceedings of the Frontiers of Combining Systems, 2000

Design and Implementation of the Physical Layer in WebBases: The XRover Experience.
Proceedings of the Computational Logic, 2000

XMC: A Logic-Programming-Based Verification Toolset.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Efficient Access Mechanisms for Tabled Logic Programs.
J. Log. Program., 1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Layered Architecture for Querying Dynamic Web Content.
Proceedings of the SIGMOD 1999, 1999

Normalization via Rewrite Closures.
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Modeling and Analysis of Interactions in Virtual Enterprises.
Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Generalized Unfold/fold Transformation Systems for Normal Logic Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
Tabulation-based Induction Proofs with Application to Automated Verification.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Logic Based Modeling and Analysis of Workflows.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Logic Programming and Model Checking.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
EQUALS - A Fast Parallel Implementation of a Lazy Language.
J. Funct. Program., 1997

On the power and limitations of strictness analysis.
J. ACM, 1997

Efficient Model Checking Using Tabled Resolution.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
A Thread in Time Saves Tabling Time.
Proceedings of the Logic Programming, 1996

Subsumption Algorithms Based on Search Trees.
Proceedings of the Trees in Algebra and Programming, 1996

1995
Fast Strictness Analysis Based on Demand Propagation.
ACM Trans. Program. Lang. Syst., 1995

Adaptive Pattern Matching.
SIAM J. Comput., 1995

Automata-Driven Indexing of Prolog Clauses.
J. Log. Program., 1995

Optimizing Clause Resolution: Beyond Unification Factoring.
Proceedings of the Logic Programming, 1995

Unification Factoring for Efficient Execution of Logic Programs.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
Proceedings of the Programming Languages: Implementations, 1995

A Symbolic Constraint Solving Framework for Analysis of Logic Programs.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Experiments with Associative-Commutative Discrimination Nets.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Efficient Tabling Mechanisms for Logic Programs.
Proceedings of the Logic Programming, 1995

1994
Multistage Indexing for Speeding Prolog Executions.
Softw. Pract. Exp., 1994

Dynamic Argument Reduction for In-memory Data Queries.
Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

1993
Programming in Equational Logic: Beyond Strong Sequentiality
Inf. Comput., May, 1993

Associative-Commutative Discrimination Nets.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Extracting Determinacy in Logic Programs.
Proceedings of the Logic Programming, 1993

1992
Tight Complexity Bounds for Term Matching Problems
Inf. Comput., November, 1992

Nonlinear Pattern Matching in Trees.
J. ACM, 1992

Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.
Proceedings of the Conference on Lisp and Functional Programming, 1992

Multistage Indexing Algorithms for Speeding Prolog Execution.
Proceedings of the Logic Programming, 1992

Programming with Equations: A Framework for Lazy Parallel Evaluation.
Proceedings of the Automated Deduction, 1992

1991
Approximate Algorithms for the Knapsack Problem on Parallel Computers
Inf. Comput., April, 1991

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990
Parallel Tree Pattern Matching.
J. Symb. Comput., 1990

Small Domains Spell Fast Strictness Analysis.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989
Optimal Matrix Multiplication on Fault-Tolerant VLSI Arrays.
IEEE Trans. Computers, 1989

Reconfigurable Multipipelines for Vector Supercomputers.
IEEE Trans. Computers, 1989

Term Matching on Parallel Computers.
J. Log. Program., 1989

Some Complexity Theoretic Aspects of AC Rewriting.
Proceedings of the STACS 89, 1989

Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988
Optimal Time Bounds for Parallel Term Matching.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Computing Dominators in Parallel.
Inf. Process. Lett., 1987

Distributed Algorithms for Tree Pattern Matching.
Proceedings of the Distributed Algorithms, 1987

Optimal Speedups for Parallel Pattern Matching in Trees.
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

1986
Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays.
IEEE Trans. Computers, 1986

Mapping Homogeneous Graphs on Linear Arrays.
IEEE Trans. Computers, 1986

An O(log n) Algorithm for Parallel Update of Minimum Spanning Trees.
Inf. Process. Lett., 1986

A Fault-Tolerant VLSI Matrix Multiplier.
Proceedings of the International Conference on Parallel Processing, 1986

A Parallel Algorithm for Dominators.
Proceedings of the International Conference on Parallel Processing, 1986

Parallel Approximate Algorithms for the 0-1 Knapsack Problem.
Proceedings of the International Conference on Parallel Processing, 1986

An Efficient Parallel Algorithm for Term Matching.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985
An Optimal Family of Matrix Multiplication Algorithms on Linear Arrays.
Proceedings of the International Conference on Parallel Processing, 1985

Parallel Updates of Graph Properties in Logarithmic Time.
Proceedings of the International Conference on Parallel Processing, 1985

An Efficient Connected Components Algorithm on a Mesh-Connected Computer.
Proceedings of the International Conference on Parallel Processing, 1985

Computing Tree Functions on Mesh-Connected Computers.
Proceedings of the International Conference on Parallel Processing, 1985

On Matrix Multiplication Using Array Processors.
Proceedings of the Automata, 1985

O(1) Parallel Time Incremental Graph Algorithms.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984
A Robust Matrix-Multiplication Array.
IEEE Trans. Computers, 1984

Modular Matrix Multiplication on a Linear Array.
IEEE Trans. Computers, 1984

On Mapping Cube Graphs onto VLSI Arrays.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983
A Paradigm for the Design of Parallel Algorithms with Applications.
IEEE Trans. Software Eng., 1983

On Mapping Homogeneous Graphs on a Linear Array-Processor Model.
Proceedings of the International Conference on Parallel Processing, 1983


  Loading...