Sonja Linghui Shan

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Automata Theory

Theorem Proving

Top Venues

Discret. Math. Theor. Comput. Sci.

RAIRO Theor. Informatics Appl.

Publications

Jeffrey O. Shallit, Sonja Linghui Shan
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory. AFL (2023)
Jeffrey O. Shallit, Sonja Linghui Shan, Kai-Hsiang Yang
Automatic sequences in negative bases and proofs of some conjectures of shevelev. RAIRO Theor. Informatics Appl. 57 (2023)
Joseph Meleshko, Pascal Ochem, Jeffrey O. Shallit, Sonja Linghui Shan
Pseudoperiodic Words and a Question of Shevelev. CoRR (2022)
Jeffrey O. Shallit, Sonja Linghui Shan, Kai-Hsiang Yang
Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev. CoRR (2022)
Christopher Duffy, Sonja Linghui Shan
On the existence and non-existence of improper homomorphisms of oriented and $2$-edge-coloured graphs to reflexive targets. Discret. Math. Theor. Comput. Sci. 23 (1) (2021)
Christopher Duffy, Sonja Linghui Shan
Convex Hulls and Simple Colourings in Directed and $2$-edge-Coloured Graphs. CoRR (2020)