title   
  

Creator/Author/Editor: Türker, Uraz Cengiz

2014

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects of Computing, 26 (6). pp. 1153-1167. ISSN 0934-5043 (Print) 1433-299X (Online)

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines. In: 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow, Poland

Türker, Uraz Cengiz and Ünlüyurt, Tonguç and Yenigün, Hüsnü (2014) Lookahead-based approaches for minimizing adaptive distinguishing sequences. In: 26th IFIP International Conference on Testing Software and Systems, Madrid, Spain

Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) Complexities of some problems related to synchronizing, nonsynchronizing and monotonic automata. (Accepted/In Press)

Türker, Uraz Cengiz and Balcısoy, Selim (2014) A visualisation technique for large temporal social network datasets in Hyperbolic space. Journal of Visual Languages and Computing (Sl), 25 (3). pp. 227-242. ISSN 1045-926X (Print) 1095-8533 (Online)

Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods in System Design, 44 (3). pp. 264-294. ISSN 0925-9856 (Print) 1572-8102 (Online)

2012

Türker, Uraz Cengiz and Yenigün, Hüsnü (2012) Hardness and inapproximability results for minimum verification set and minimum path decision tree problems. [Working Paper / Technical Report] Sabanci University ID:10.5900/SU_FENS_WP.2012.19826

2011

Güniçen, Canan and Türker, Uraz Cengiz and Ural, Hasan and Yenigün, Hüsnü (2011) Generating preset distinguishing sequences using SAT. In: 26th International Symposium on Computer and Information Sciences (ISCIS 2011), London, UK

2008

Türker, Uraz Cengiz (2008) Visualization of large temporal social network datasets. [Thesis]

2007

Ayiter, Elif and Balcısoy, Selim and Germen, Murat and Kaşarcı, İsmail and Türker, Uraz Cengiz and Çaylı, Merve (2007) "Space frames": using space, color and animation in the visualization of complex graph systems. In: 17th International Conference on Artificial Reality and Telexistence (ICAT 2007), Esbjerg, Denmark

This list was generated on Sat Dec 20 03:19:43 2014 EET.