A digital system modeling philosophy and design language. - Mehmet Baray; Stephen Y. H. Su (DAC, 1971)

The structure and operation of a design language compatible simulator. - Mehmet Baray; Stephen Y. H. Su; Robert L. Carberry (DAC, 1971)

A system modeling language translator. - Stephen Y. H. Su; Mehmet Baray; Robert L. Carberry (DAC, 1971)

Dynamic congestion control in interconnected computer networks. - Özgür Ulusoy; Mehmet Baray (LCN, 1988)

A set-oriented parallel execution model for Prolog. - Isik Aybay; Mehmet Baray (ACM Conference on Computer Science, 1989)

An OR-Parallel and Restricted AND-Parallel Nonbacktracking Prolog Execution Model. - Isik Aybay; Mehmet Baray (IPPS, 1991)

Distributed Prolog on a Hypercube Multicomputer. - Sabri Büyüksoy; Mehmet Baray; Isik Aybay (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)