Computing with Causal Theories. - Erkan Tin; Varol Akman (Int. J. Pattern Recognit. Artif. Intell., 1992)

Computational Situation Theory. - Erkan Tin; Varol Akman (SIGART Bull., 1994)

Book Reviews: Logic for Applications by Anil Nerode and Richard A. Shore. - Erkan Tin; Varol Akman (SIGACT News, 1995)

Towards Situation-Oriented Programming Languages. - Erkan Tin; Varol Akman; Murat Ersan (ACM SIGPLAN Notices, 1995)

Computational situation theory with BABY-SIT (BABY-SIT 'le hesapsal durum kuramı) - Erkan Tin (1995)

Situations and Computation: An Overview of Recent Research - Erkan Tin; Varol Akman (CoRR, 1996)

Expressive Power of Temporal Relational Query Languages and Temporal Completeness. - Abdullah Uz Tansel; Erkan Tin (Temporal Databases, Dagstuhl, 1997)

Situated Nonmonotonic Temporal Reasoning with BABY-SIT. - Erkan Tin; Varol Akman (AI Commun., 1997)

The Expressive Power of Temporal Relational Query Languages. - Abdullah Uz Tansel; Erkan Tin (IEEE Trans. Knowl. Data Eng., 1997)