A Lemma in the Logic of Action. - Timothy J. Surendonk (Notre Dame J. Formal Log., 1990)

An algorithm for computing the inverse Z transform. - Joel L. Schiff; Timothy J. Surendonk; Wayne J. Walker (IEEE Trans. Signal Process., 1992)

On Isomorphisms between Canonical Frames. - Timothy J. Surendonk (Advances in Modal Logic, 1996)

Combining Finite Model Generation with Theorem Proving: Problems and Prospects. - John K. Slaney; Timothy J. Surendonk (FroCoS, 1996)

A Non-Standard Injection Between Canonical Frames. - Timothy J. Surendonk (Log. J. IGPL, 1996)

Canonicity for Intensional Logics Without Iterative Axioms. - Timothy J. Surendonk (J. Philos. Log., 1997)

A Column Generation Approach to Delivery Planning over Time with Inhomogeneous Service Providers and Service Interval Constraints. - Natashia Boland; Timothy J. Surendonk (Ann. Oper. Res., 2001)

Canonicity for Intensional Logics with Even Axioms. - Timothy J. Surendonk (J. Symb. Log., 2001)

On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage. - Paul A. Chircop; Timothy J. Surendonk; Menkes Hector Louis van den Briel; Toby Walsh (Ann. Oper. Res., 2022)