Login / Signup
Canan Güniçen
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 0
Top Topics
Real Sequences
Haplotype Inference
Sequential Patterns
Variable Length
Top Venues
ISCIS
ICTSS
CoRR
Formal Aspects Comput.
</>
Publications
</>
Canan Güniçen
,
Guy-Vincent Jourdan
,
Hüsnü Yenigün
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation.
ICTSS
(2015)
Canan Güniçen
,
Kemal Inan
,
Uraz Cengiz Türker
,
Hüsnü Yenigün
The relation between preset distinguishing sequences and synchronizing sequences.
Formal Aspects Comput.
26 (6) (2014)
Canan Güniçen
,
Kemal Inan
,
Uraz Cengiz Türker
,
Hüsnü Yenigün
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines.
ISCIS
(2014)
Canan Güniçen
,
Esra Erdem
,
Hüsnü Yenigün
Generating Shortest Synchronizing Sequences using Answer Set Programming.
CoRR
(2013)
Canan Güniçen
,
Uraz Cengiz Türker
,
Hasan Ural
,
Hüsnü Yenigün
Generating Preset Distinguishing Sequences Using SAT.
ISCIS
(2011)