Follow
Yury Puzis
Yury Puzis
COO at Charmtech Labs
Verified email at cs.sunysb.edu
Title
Cited by
Cited by
Year
SRASS - A Semantic Relevance Axiom Selection System
G Sutcliffe, Y Puzis
International Conference on Automated Deduction, 295-310, 2007
652007
Why Read if You Can Skim: Towards Enabling Faster Screen Reading
F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan
W4A, 2012
442012
An interactive derivation viewer
S Trac, Y Puzis, G Sutcliffe
Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007
442007
Automated Generation of Interesting Theorems.
Y Puzis, Y Gao, G Sutcliffe
FLAIRS Conference, 49-54, 2006
382006
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering
A Roederer, Y Puzis, G Sutcliffe
International Conference on Automated Deduction, 157-162, 2009
342009
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
302015
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
302013
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
272017
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
232010
Widget classification with applications to web accessibility
V Melnyk, V Ashok, Y Puzis, A Soviak, Y Borodin, IV Ramakrishnan
International Conference on Web Engineering, 341-358, 2014
222014
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
162016
An interface agent for non-visual, accessible web automation
Y Puzis
Adjunct proceedings of the 25th annual ACM symposium on User interface …, 2012
162012
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
122015
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
122012
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
112009
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
102019
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
82011
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
52015
Accessible web automation interface: a user study
Y Puzis
Proceedings of the 14th international ACM SIGACCESS conference on Computers …, 2012
52012
Combining Mizar and TPTP semantic presentation tools
J Urban, S Trac, G Sutcliffe, Y Puzis
Proceedings of the Mathematical User-Interfaces Workshop 2007, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20