Daniel Gotsch (Goč)
Daniel Gotsch (Goč)
Queen's University
Verified email at uwaterloo.ca
TitleCited byYear
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
282013
Subword complexity and k-synchronization
D Goč, L Schaeffer, J Shallit
International Conference on Developments in Language Theory, 252-263, 2013
202013
On the number of unbordered factors
D Goč, H Mousavi, J Shallit
International Conference on Language and Automata Theory and Applications …, 2013
182013
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
122015
TeleHuman2: A Cylindrical Light Field Teleconferencing System for Life-size 3D Human Telepresence.
D Gotsch, X Zhang, T Merritt, R Vertegaal
CHI, 522, 2018
92018
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
92016
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
9*2013
Flexible Display for a Mobile Computing Device
R Vertegaal, DM Gotsch, J Burstyn
US Patent App. 15/072,529, 2016
62016
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
52016
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
42014
Nondeterministic state complexity of proportional removals
D Goč, A Palioudakis, K Salomaa
International Workshop on Descriptional Complexity of Formal Systems, 102-111, 2013
32013
A New Approach to the Paperfolding Sequences
D Goč, H Mousavi, L Schaeffer, J Shallit
Conference on Computability in Europe, 34-43, 2015
22015
Automatic Sequences and Decidable Properties: Implementation and Applications
D Goc
University of Waterloo, 2013
22013
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
12018
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
12017
Computation width and deviation number
D Goč, K Salomaa
International Workshop on Descriptional Complexity of Formal Systems, 150-161, 2014
12014
Least periods of k-automatic sequences
D Goc, J Shallit
arXiv preprint arXiv:1207.5450, 2012
12012
Light field display, adjusted pixel rendering method therefor, and vision correction system and method using same
D Gotsch
US Patent 10,394,322, 2019
2019
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
2015
Decidability in Automatic Sequences
J Shallit, DH Rampersad, L Schaeffer, E Rowland, D Goc, H Mousavi
The system can't perform the operation now. Try again later.
Articles 1–20