Kemal İnan

You are here

E-Mail
inansabanciunivedu
Phone
(216) 483 9518
Personal Web
Title
Emeritus Faculty Member
Jobs
Faculty member
Publications
  • Article
    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