Items where Author is "Türker, Uraz Cengiz"

Article

Karahoda, Sertaç and Erenay, Osman Tufan and Kaya, Kamer and Türker, Uraz Cengiz and Yenigün, Hüsnü (2020) Multicore and manycore parallelization of cheap synchronizing sequence heuristics. Journal of Parallel and Distributed Computing, 140 . pp. 13-24. ISSN 0743-7315 (Print) 1096-0848 (Onilne)

Türker, Uraz Cengiz and Ünlüyurt, Tonguç and Yenigün, Hüsnü (2016) Effective algorithms for constructing minimum cost adaptive distinguishing sequences. Information and Software Technology, 74 . pp. 69-85. ISSN 0950-5849 (Print) 1873-6025 (Online)

Türker, Uraz Cengiz and Yenigün, Hüsnü (2015) Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata. International Journal of Foundations of Computer Science, 26 (1). pp. 99-121. ISSN 0129-0541 (Print) 1793-6373 (Online)

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)

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)

Papers in Conference Proceedings

Karahoda, Sertaç and Erenay, Osman Tufan and Kaya, Kamer and Türker, Uraz Cengiz and Yenigün, Hüsnü (2016) Parallelizing heuristics for generating synchronizing sequences. In: 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), Graz, Austria

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

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

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

Working Paper / Technical Report

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

Thesis

Türker, Uraz Cengiz (2014) Improvements in finite state machines. [Thesis]

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