Timothy J. Surendonk

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 1

Top Topics

Routing Algorithm

Resource Constrained

Sensor Networks

Top Venues

Ann. Oper. Res.

Publications

Paul A. Chircop, Timothy J. Surendonk, Menkes Hector Louis van den Briel, Toby Walsh
On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage. Ann. Oper. Res. 312 (2) (2022)
Natashia Boland, Timothy J. Surendonk
A Column Generation Approach to Delivery Planning over Time with Inhomogeneous Service Providers and Service Interval Constraints. Ann. Oper. Res. 108 (1-4) (2001)
Timothy J. Surendonk
Canonicity for Intensional Logics with Even Axioms. J. Symb. Log. 66 (3) (2001)
Timothy J. Surendonk
Canonicity for Intensional Logics Without Iterative Axioms. J. Philos. Log. 26 (4) (1997)
Timothy J. Surendonk
On Isomorphisms between Canonical Frames. Advances in Modal Logic (1996)
Timothy J. Surendonk
A Non-Standard Injection Between Canonical Frames. Log. J. IGPL 4 (2) (1996)
John K. Slaney, Timothy J. Surendonk
Combining Finite Model Generation with Theorem Proving: Problems and Prospects. FroCoS (1996)
Joel L. Schiff, Timothy J. Surendonk, Wayne J. Walker
An algorithm for computing the inverse Z transform. IEEE Trans. Signal Process. 40 (9) (1992)
Timothy J. Surendonk
A Lemma in the Logic of Action. Notre Dame J. Formal Log. 31 (2) (1990)