Interlingua and MT, a discussion. - Jared L. Darlington (Mech. Transl. Comput. Linguistics, 1962)

Machine methods of proving logical arguments expressed in English. - Jared L. Darlington (Mech. Transl. Comput. Linguistics, 1965)

Theorem Provers as Question Answerers. - Jared L. Darlington (IJCAI, 1969)

Automatic Program Synthesis in Second-Order Logic. - Jared L. Darlington (IJCAI, 1973)

Improving the Efficiency of Higher Order Unification. - Jared L. Darlington (IJCAI, 1977)

The Role of Excursions in Interactive Systems. - Jared L. Darlington; Wolfgang Dzida; Siegfried Herda (Int. J. Man Mach. Stud., 1983)

Logic programming with goal-directed search. - Jared L. Darlington (Jerusalem Conference on Information Technology, 1990)

Search Direction by Goal Failure in Goal-Directed Programming. - Jared L. Darlington (ACM Trans. Program. Lang. Syst., 1990)

Foretracking versus Backtracking in AI Languages. - Jared L. Darlington; Harald-Reto Fonio (Applied Informatics, 1994)

A novel stochastic algorithm for scheduling workflows with QoS guarantees in a web service-oriented grid. - Y. Patel; Jared L. Darlington (Computational Intelligence, 2006)