Verification by consecutive projections. - Esfandiar Haghverdi; Kemal Inan (FORTE, 1992)

A recursive process algebra for queues. - Hüsnü Yenigün; Esfandiar Haghverdi; S. Bilgen; Kemal Inan (FORTE, 1993)

On a class of timer hybrid systems reducible to finite state automata. - Kemal Inan (Discret. Event Dyn. Syst., 1995)

Efficient checking sequences for testing finite state machines. - Kemal Inan; Hasan Ural (Inf. Softw. Technol., 1999)

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (ISCIS, 2014)

The relation between preset distinguishing sequences and synchronizing sequences. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (Formal Aspects Comput., 2014)