Automated Generation of Interesting Theorems. - Yury Puzis; Yi Gao; Geoff Sutcliffe (FLAIRS, 2006)

An Interactive Derivation Viewer. - Steven Trac; Yury Puzis; Geoff Sutcliffe (UITP@FLoC, 2006)

SRASS - A Semantic Relevance Axiom Selection System. - Geoff Sutcliffe; Yury Puzis (CADE, 2007)

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. - Alex Roederer; Yury Puzis; Geoff Sutcliffe (CADE, 2009)

Hearsay: a new generation context-driven multi-modal assistive web browser. - Yevgen Borodin; Faisal Ahmed 001; Muhammad Asiful Islam; Yury Puzis; Valentyn Melnyk; Song Feng 002; I. V. Ramakrishnan; Glenn Dausch (WWW, 2010)

Guidelines for an accessible web automation interface. - Yury Puzis; Eugene Borodin; Faisal Ahmed 001; Valentyn Melnyk; I. V. Ramakrishnan (ASSETS, 2011)

Accessible web automation interface: a user study. - Yury Puzis (ASSETS, 2012)

An interface agent for non-visual, accessible web automation. - Yury Puzis (UIST (Adjunct Volume), 2012)

Why read if you can skim: towards enabling faster screen reading. - Faisal Ahmed 001; Yevgen Borodin; Yury Puzis; I. V. Ramakrishnan (W4A, 2012)

Universal and ubiquitous web access with Capti. - Yevgen Borodin; Andrii Sovyak; Alexander Dimitriyadi; Yury Puzis; Valentyn Melnyk; Faisal Ahmed 001; Glenn Dausch; I. V. Ramakrishnan (W4A, 2012)

An intuitive accessible web automation user interface. - Yury Puzis; Yevgen Borodin; Faisal Ahmed 001; I. V. Ramakrishnan (W4A, 2012)

Predictive web automation assistant for people with vision impairments. - Yury Puzis; Yevgen Borodin; Rami Puzis; I. V. Ramakrishnan (WWW, 2013)

Widget Classification with Applications to Web Accessibility. - Valentyn Melnyk; Vikas Ashok; Yury Puzis; Andrii Soviak; Yevgen Borodin (ICWE, 2014)

Wizard-of-Oz evaluation of speech-driven web browsing interface for people with vision impairments. - Vikas Ashok; Yevgen Borodin; Svetlana Stoyanchev; Yury Puzis; I. V. Ramakrishnan (W4A, 2014)

Listen to everything you want to read with Capti narrator. - Yevgen Borodin; Yuri Puzis; Andrii Sovyak; James Bouker; Bo Feng; Richard Sicoli; Andrii Melnyk; Valentyn Melnyk; Vikas Ashok; Glenn Dausch; I. V. Ramakrishnan (W4A, 2014)

Predictive, accessible web automation: a longitudinal study. - Yury Puzis; Yevgen Borodin; I. V. Ramakrishnan (W4A, 2014)

Feel the Web: Towards the Design of Haptic Screen Interfaces for Accessible Web Browsing. - Andrii Soviak; Vikas Ashok; Yevgen Borodin; Yury Puzis; I. V. Ramakrishnan (ASSETS, 2015)

Capti-speak: a speech-enabled web screen reader. - Vikas Ashok; Yevgen Borodin; Yury Puzis; I. V. Ramakrishnan (W4A, 2015)

Look Ma, no ARIA: generic accessible interfaces for web widgets. - Valentyn Melnyk; Vikas Ashok; Yury Puzis; Yevgen Borodin; Andrii Soviak; I. V. Ramakrishnan (W4A, 2015)

Complexities of practical web automation. - Yury Puzis; Yevgen Borodin; I. V. Ramakrishnan (W4A, 2015)

Affordable web accessibility: a case for cheaper ARIA. - Yury Puzis; Yevgen Borodin; Andrii Soviak; Valentyn Melnyk; I. V. Ramakrishnan (W4A, 2015)

Tactile Accessibility: Does Anyone Need a Haptic Glove? - Andrii Soviak; Anatoliy Borodin; Vikas Ashok; Yevgen Borodin; Yury Puzis; I. V. Ramakrishnan (ASSETS, 2016)

Contextual language learning with Capti ESL Assistant. - Yevgen Borodin; Yury Puzis; Andrii Soviak; Vikas Ashok; Andrii Melnyk; I. V. Ramakrishnan (W4A, 2016)

Web Screen Reading Automation Assistance Using Semantic Abstraction. - Vikas Ashok; Yury Puzis; Yevgen Borodin; I. V. Ramakrishnan (IUI, 2017)