Kemal İnan

Türkçe sürüm

Kemal İnan

E-mail :

Personal web page

Education :

1964-1966 BSc and MSc in Electrical Engineering Middle East Technical University, EE Dept. 1966-1967 MSc in Automatic Control, University of Warwick, Coventry UK 1967-1970 PhD in Electrical Engineering, Dept. EECS, University of California at Berkeley

Work Experience :

1964-1980, 1989-1998 METU Electrical Engineering Dept. 1980-1982, 1985-1989 Dept.EECS, University of California at Berkeley 1998 - Sabancı University Faculty of Engineering and Natural Sciences 1983-1985 Founder and member of central decision and executive council of the Social Democratic Party (SODEP) 1984-1985 Technical advisor to the Kavala group of companies

Publications :

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, Vol.26, No.6, 1153-1167 (SCI)
İnan, Kemal and Ural, H. (1999) "Efficient checking sequences for testing finite state machines", Information and Software Technology, Vol.41, No.11-12, 799-812 (SCI)
Papers in Conference Proceedings
Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü, "An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines", Czachórski, Tadeusz and Gelenbe, Erol and Lent, Ricardo (eds.), 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow: Springer International Publishing, October 2014, 325-335