Yury Puzis
Yury Puzis
COO at Charmtech Labs
Verifierad e-postadress på cs.sunysb.edu
Titel
Citeras av
Citeras av
År
SRASS - A Semantic Relevance Axiom Selection System
G Sutcliffe, Y Puzis
International Conference on Automated Deduction, 295-310, 2007
612007
An interactive derivation viewer
S Trac, Y Puzis, G Sutcliffe
Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007
422007
Why Read if You Can Skim: Towards Enabling Faster Screen Reading
F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan
W4A, 2012
392012
Automated Generation of Interesting Theorems.
Y Puzis, Y Gao, G Sutcliffe
FLAIRS Conference, 49-54, 2006
352006
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering
A Roederer, Y Puzis, G Sutcliffe
International Conference on Automated Deduction, 157-162, 2009
322009
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
272013
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
262015
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
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
222017
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
202014
An interface agent for non-visual, accessible web automation
Y Puzis
Adjunct proceedings of the 25th annual ACM symposium on User interface …, 2012
142012
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
132016
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
132015
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
122009
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
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
102012
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
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
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
42015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20