フォロー
Yury Puzis
Yury Puzis
COO at Charmtech Labs
確認したメール アドレス: cs.sunysb.edu
タイトル
引用先
引用先
SRASS-a semantic relevance axiom selection system
G Sutcliffe, Y Puzis
International Conference on Automated Deduction, 295-310, 2007
662007
An interactive derivation viewer
S Trac, Y Puzis, G Sutcliffe
Electronic Notes in Theoretical Computer Science 174 (2), 109-123, 2007
492007
Why Read if You Can Skim: Towards Enabling Faster Screen Reading
F Ahmed, Y Borodin, Y Puzis, IV Ramakrishnan
W4A, 2012
462012
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
432015
Automated Generation of Interesting Theorems.
Y Puzis, Y Gao, G Sutcliffe
FLAIRS, 49-54, 2006
432006
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
362017
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
312013
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
282010
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
272014
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
212016
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
152015
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 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
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
92015
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
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
Accessible web automation interface: a user study
Y Puzis
Proceedings of the 14th international ACM SIGACCESS conference on Computers …, 2012
62012
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20