,

,

I. V. Ramakrishnan

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

Contextual language learning with Capti ESL Assistant.

[DOI]

,

,

,

,

,

Proceedings of the 13th Web for All Conference, 2016

Tactile Accessibility: Does Anyone Need a Haptic Glove?

[DOI]

,

,

,

,

,

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

Affordable web accessibility: a case for cheaper ARIA.

[DOI]

,

,

,

,

Proceedings of the 12th Web for All Conference, 2015

Complexities of practical web automation.

[DOI]

,

,

I. V. Ramakrishnan

Proceedings of the 12th Web for All Conference, 2015

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

[DOI]

,

,

,

,

,

Proceedings of the 12th Web for All Conference, 2015

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

[DOI]

,

,

,

Proceedings of the 12th Web for All Conference, 2015

Feel the Web: Towards the Design of Haptic Screen Interfaces for Accessible Web Browsing.

[DOI]

,

,

,

,

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

Predictive, accessible web automation: a longitudinal study.

[DOI]

,

,

I. V. Ramakrishnan

Proceedings of the International Web for All Conference, 2014

Listen to everything you want to read with Capti narrator.

[DOI]

,

,

,

,

,

,

,

,

,

,

Proceedings of the International Web for All Conference, 2014

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

[DOI]

,

,

,

,

Proceedings of the International Web for All Conference, 2014

Widget Classification with Applications to Web Accessibility.

[DOI]

,

,

,

,

Proceedings of the Web Engineering, 14th International Conference, 2014

Predictive web automation assistant for people with vision impairments.

[DOI]

,

,

,

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

An intuitive accessible web automation user interface.

[DOI]

,

,

,

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

Universal and ubiquitous web access with Capti.

[DOI]

,

Andrii Sovyak

,

Alexander Dimitriyadi

,

,

,

,

,

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

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

[DOI]

,

,

,

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

An interface agent for non-visual, accessible web automation.

[DOI]

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

Accessible web automation interface: a user study.

[DOI]

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

Guidelines for an accessible web automation interface.

[DOI]

,

,

,

,

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

Hearsay: a new generation context-driven multi-modal assistive web browser.

[DOI]

,

Faisal Ahmed

,

Muhammad Asiful Islam

,

,

,

,

,

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

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.

[DOI]

Alex Roederer

,

,

Proceedings of the Automated Deduction, 2009

SRASS - A Semantic Relevance Axiom Selection System.

[DOI]

,

Proceedings of the Automated Deduction, 2007

An Interactive Derivation Viewer.

[DOI]

Steven Trac

,

,

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Automated Generation of Interesting Theorems.

[DOI]

,

Yi Gao

,