Timothy J. Surendonk

According to our database, Timothy J. Surendonk authored at least 9 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2001

Canonicity for Intensional Logics with Even Axioms.

Timothy J. Surendonk

J. Symb. Log., 2001

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

1997

Canonicity for Intensional Logics Without Iterative Axioms.

Timothy J. Surendonk

J. Philos. Log., 1997

1996

A Non-Standard Injection Between Canonical Frames.

Timothy J. Surendonk

Log. J. IGPL, 1996

Combining Finite Model Generation with Theorem Proving: Problems and Prospects.

John K. Slaney, Timothy J. Surendonk

Proceedings of the Frontiers of Combining Systems, 1996

On Isomorphisms between Canonical Frames.

Timothy J. Surendonk

Proceedings of the Advances in Modal Logic 1, 1996

1992

An algorithm for computing the inverse Z transform.

Joel L. Schiff, Timothy J. Surendonk, Wayne J. Walker

IEEE Trans. Signal Process., 1992

1990

A Lemma in the Logic of Action.

Timothy J. Surendonk

Notre Dame J. Formal Log., 1990