| SRASS - A Semantic Relevance Axiom Selection System G Sutcliffe, Y Puzis Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 66 | 2007 |
| An interactive derivation viewer S Trac, Y Puzis, G Sutcliffe Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007 | 45 | 2007 |
| Why Read if You Can Skim: Towards Enabling Faster Screen Reading F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan W4A, 2012 | 44 | 2012 |
| Automated Generation of Interesting Theorems. Y Puzis, Y Gao, G Sutcliffe FLAIRS Conference, 49-54, 2006 | 40 | 2006 |
| 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 | 35 | 2015 |
| Divvy: An ATP Meta-system Based on Axiom Relevance Ordering A Roederer, Y Puzis, G Sutcliffe Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 34 | 2009 |
| 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 | 31 | 2017 |
| 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 | 31 | 2013 |
| 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 | 25 | 2014 |
| 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 | 25 | 2010 |
| 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 | 18 | 2016 |
| An interface agent for non-visual, accessible web automation Y Puzis Adjunct proceedings of the 25th annual ACM symposium on User interface …, 2012 | 17 | 2012 |
| 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 | 14 | 2015 |
| 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 | 11 | 2012 |
| 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 | 11 | 2009 |
| 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 | 9 | 2015 |
| 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 | 5 | 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 |
Yevgen BorodinResearch Professor, Stony Brook UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.sunysb.edu
