Approximate Cartesian Tree Pattern Matching
Published in DLT'24, 2024
A venture down the theory of Cartesian trees from the approximate pattern matching perspective.
Publications
Clicking on any of the links below will redirect you to the abstract and details of my contributions.
[Journal] Simon’s Congruence Pattern Matching
Published in Theoretical Computer Science, 2024
The journalized version of my second conference paper.
[Journal] On Simon’s Congruence Closure of a String
Published in Theoretical Computer Science (DCFS'22 special issue), 2023
The journalized version of my first conference paper.
Matching Patterns with Variables Under Simon’s Congruence
Published in RP'23, 2023
An extension of the pattern matching with variables and word equations problem under Simon’s congruence.
Existential and Universal Width of Alternating Finite Automata
Published in DCFS'23, 2023
My first attempt at solving problems for alternating finite automata.
On the Simon’s Congruence Neighborhood of Languages
Published in DLT'23, 2023
Another result on Simon’s congruence, this time between languages.
Simon’s Congruence Pattern Matching
Published in ISAAC'22, 2022
My second paper, and my first experience of an offline conference.
On Simon’s Congruence Closure of a String
Published in DCFS'22, 2022
My first conference paper, possible from the support of three great professors.