Kemal İnan

You are here

E-Posta
inansabanciunivedu
Telefon
(216) 483 9518
Kişisel Web
Ünvanı
Emeritus Öğretim Üyesi
İş Tanımı
Öğretim Üyesi
Eğitim
1964-1966 Elektrik Mühendisliğinde Lisans ve Yüksek Lisans dereceleri
Orta Doğu Teknik Üniveritesi Elektrik Mühendisliği Bölümü
1966-1967 Warwick Üniversitesi (İngiltere) Otomatik Kontrol programından MSc derecesi
1967-1970 Kaliforniya Üniversitesi Berkeley Kampusu EECS Bölümünden Elektrik Mühendisliğinden PhD derecesi
Yayınlar
  • Makaleler
    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)
  • Konferans Bildirileri
    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