Generating Preset Distinguishing Sequences Using SAT. - Canan Güniçen; Uraz Cengiz Türker; Hasan Ural; Hüsnü Yenigün (ISCIS, 2011)

Generating Shortest Synchronizing Sequences using Answer Set Programming. - Canan Güniçen; Esra Erdem 001; Hüsnü Yenigün (CoRR, 2013)

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (ISCIS, 2014)

The relation between preset distinguishing sequences and synchronizing sequences. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (Formal Aspects Comput., 2014)

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. - Canan Güniçen; Guy-Vincent Jourdan; Hüsnü Yenigün (ICTSS, 2015)