Automatic theorem-proving in combinatorics on words D Goč, D Henshall, J Shallit International Journal of Foundations of Computer Science 24 (06), 781-798, 2013 | 29 | 2013 |
Subword Complexity and k-Synchronization. D Goc, L Schaeffer, JO Shallit Developments in Language Theory 7907, 252-263, 2013 | 21 | 2013 |
On the number of unbordered factors D Goč, H Mousavi, J Shallit International Conference on Language and Automata Theory and Applications …, 2013 | 21 | 2013 |
Bitdrones: Towards levitating programmable matter using interactive 3d quadcopter displays C Rubens, S Braley, A Gomes, D Goc, X Zhang, JP Carrascal, ... Adjunct Proceedings of the 28th Annual ACM Symposium on User Interface …, 2015 | 13 | 2015 |
TeleHuman2: A Cylindrical Light Field Teleconferencing System for Life-size 3D Human Telepresence. D Gotsch, X Zhang, T Merritt, R Vertegaal CHI, 522, 2018 | 11 | 2018 |
Flexible Display for a Mobile Computing Device R Vertegaal, DM Gotsch, J Burstyn US Patent App. 15/072,529, 2016 | 11 | 2016 |
HoloFlex: A flexible holographic smartphone with bend input D Gotsch, X Zhang, J Burstyn, R Vertegaal Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors …, 2016 | 11 | 2016 |
Primitive words and Lyndon words in automatic and linearly recurrent sequences D Goč, K Saari, J Shallit International Conference on Language and Automata Theory and Applications …, 2013 | 11* | 2013 |
Vision correction system and method, and light field display and barrier therefor R Vertegaal, A Hanewich-hollatz, D Gotsch US Patent App. 15/910,908, 2018 | 8 | 2018 |
State complexity of permutation on finite languages over a binary alphabet DJ Cho, D Goč, YS Han, SK Ko, A Palioudakis, K Salomaa Theoretical Computer Science 682, 67-78, 2017 | 5 | 2017 |
HoloFlex: A Flexible Light-Field Smartphone with a Microlens Array and a P-OLED Touchscreen D Gotsch, X Zhang, JP Carrascal, R Vertegaal Proceedings of the 29th Annual Symposium on User Interface Software and …, 2016 | 5 | 2016 |
On the number of abelian bordered words (with an example of automatic theorem-proving) D GOČ, N Rampersad, M Rigo, P Salimov International Journal of Foundations of Computer Science 25 (08), 1097-1110, 2014 | 5 | 2014 |
Light field display, adjusted pixel rendering method therefor, and vision correction system and method using same D Gotsch US Patent 10,394,322, 2019 | 4 | 2019 |
Nondeterministic state complexity of proportional removals D GOČ, A Palioudakis, K Salomaa International Journal of Foundations of Computer Science 25 (07), 823-835, 2014 | 4 | 2014 |
Subword complexity and k-synchronization D Goč, L Schaeffer, J Shallit International Conference on Developments in Language Theory, 252-263, 2013 | 4 | 2013 |
The state complexity of permutations on finite languages over binary alphabets A Palioudakis, DJ Cho, D Goč, YS Han, SK Ko, K Salomaa International Workshop on Descriptional Complexity of Formal Systems, 220-230, 2015 | 3 | 2015 |
A New Approach to the Paperfolding Sequences D Goč, H Mousavi, L Schaeffer, J Shallit Conference on Computability in Europe, 34-43, 2015 | 2 | 2015 |
Automatic Sequences and Decidable Properties: Implementation and Applications D Goc University of Waterloo, 2013 | 2 | 2013 |
Computation width and deviation number D Goč, K Salomaa International Workshop on Descriptional Complexity of Formal Systems, 150-161, 2014 | 1 | 2014 |
Least periods of k-automatic sequences D Goc, J Shallit arXiv preprint arXiv:1207.5450, 2012 | 1 | 2012 |