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
572007
An interactive derivation viewer
S Trac, Y Puzis, G Sutcliffe
Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007
402007
Why Read if You Can Skim: Towards Enabling Faster Screen Reading
F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan
W4A, 2012
342012
Automated Generation of Interesting Theorems.
Y Puzis, Y Gao, G Sutcliffe
FLAIRS Conference, 49-54, 2006
342006
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering
A Roederer, Y Puzis, G Sutcliffe
International Conference on Automated Deduction, 157-162, 2009
262009
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
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
202013
Capti-speak: a speech-enabled web screen reader
V Ashok, Y Borodin, Y Puzis, IV Ramakrishnan
Proceedings of the 12th Web for All Conference, 1-10, 2015
152015
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
152014
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
132017
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 Web for All Conference, 1-4, 2015
102015
An interface agent for non-visual, accessible web automation
Y Puzis
Adjunct proceedings of the 25th annual ACM symposium on User interface …, 2012
102012
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
92012
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
92009
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
82019
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
82016
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
72011
Accessible web automation interface: a user study
Y Puzis
Proceedings of the 14th international ACM SIGACCESS conference on Computers …, 2012
52012
Universal and ubiquitous web access with Capti
Y Borodin, A Sovyak, A Dimitriyadi, Y Puzis, V Melnyk, F Ahmed, ...
Proceedings of the International Cross-Disciplinary Conference on Web …, 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