SRASS-a semantic relevance axiom selection system G Sutcliffe, Y Puzis International Conference on Automated Deduction, 295-310, 2007 | 70 | 2007 |
An interactive derivation viewer S Trac, Y Puzis, G Sutcliffe Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007 | 49 | 2007 |
Why Read if You Can Skim: Towards Enabling Faster Screen Reading F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan W4A, 2012 | 48 | 2012 |
Capti-speak: a speech-enabled web screen reader V Ashok, Y Borodin, Y Puzis, IV Ramakrishnan Proceedings of the 12th International Web for All Conference, 1-10, 2015 | 45 | 2015 |
Automated Generation of Interesting Theorems. Y Puzis, Y Gao, G Sutcliffe FLAIRS, 49-54, 2006 | 42 | 2006 |
Web screen reading automation assistance using semantic abstraction V Ashok, Y Puzis, Y Borodin, IV Ramakrishnan Proceedings of the 22nd International Conference on Intelligent User …, 2017 | 41 | 2017 |
Divvy: An ATP meta-system based on axiom relevance ordering A Roederer, Y Puzis, G Sutcliffe International Conference on Automated Deduction, 157-162, 2009 | 34 | 2009 |
Predictive web automation assistant for people with vision impairments Y Puzis, Y Borodin, R Puzis, IV Ramakrishnan Proceedings of the 22nd international conference on World Wide Web, 1031-1040, 2013 | 32 | 2013 |
Hearsay: a new generation context-driven multi-modal assistive web browser Y Borodin, F Ahmed, MA Islam, Y Puzis, V Melnyk, S Feng, ... Proceedings of the 19th international conference on World wide web, 1233-1236, 2010 | 29 | 2010 |
Widget classification with applications to web accessibility V Melnyk, V Ashok, Y Puzis, A Soviak, Y Borodin, IV Ramakrishnan Web Engineering: 14th International Conference, ICWE 2014, Toulouse, France …, 2014 | 28 | 2014 |
Tactile accessibility: Does anyone need a haptic glove? A Soviak, A Borodin, V Ashok, Y Borodin, Y Puzis, IV Ramakrishnan proceedings of the 18th international ACM SIGACCESS conference on computers …, 2016 | 23 | 2016 |
Look ma, no aria: generic accessible interfaces for web widgets V Melnyk, V Ashok, V Melnyk, Y Puzis, Y Borodin, A Soviak, ... Proceedings of the 12th International Web for All Conference, 1-4, 2015 | 16 | 2015 |
An interface agent for non-visual, accessible web automation Y Puzis Adjunct proceedings of the 25th annual ACM symposium on User interface …, 2012 | 16 | 2012 |
An intuitive accessible web automation user interface Y Puzis, Y Borodin, F Ahmed, IV Ramakrishnan Proceedings of the International Cross-Disciplinary Conference on Web …, 2012 | 13 | 2012 |
Combining web browser and audio player functionality to facilitate organization and consumption of web documents Y Borodin, A Dimitriyadi, Y Puzis, F Ahmed, V Melnyk US Patent 10,331,754, 2019 | 10 | 2019 |
Affordable web accessibility: A case for cheaper ARIA Y Puzis, Y Borodin, A Soviak, V Melnyk, IV Ramakrishnan Proceedings of the 12th International Web for All Conference, 1-4, 2015 | 10 | 2015 |
Combining Mizar and TPTP semantic presentation and verification tools J Urban, G Sutcliffe, S Trac, Y Puzis Studies in Logic, Grammar and Rhetoric 18 (31), 121-136, 2009 | 9 | 2009 |
Guidelines for an accessible web automation interface Y Puzis, E Borodin, F Ahmed, V Melnyk, IV Ramakrishnan The proceedings of the 13th international ACM SIGACCESS conference on …, 2011 | 8 | 2011 |
Accessible web automation interface: a user study Y Puzis Proceedings of the 14th international ACM SIGACCESS conference on Computers …, 2012 | 6 | 2012 |
Combining Mizar and TPTP semantic presentation tools J Urban, S Trac, G Sutcliffe, Y Puzis Proceedings of the Mathematical User-Interfaces Workshop 2007, 2007 | 5 | 2007 |