We stand with Ukraine  

Timothy J. Surendonk

Orcid: 0000-0003-0989-6168

Affiliations:
  • Australian National University, Canberra. ACT, Australia


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Timothy J. Surendonk
J. Symb. Log., 2001

A Column Generation Approach to Delivery Planning over Time with Inhomogeneous Service Providers and Service Interval Constraints.
[BibTeX]
[DOI]
Natashia Boland
,
Timothy J. Surendonk
Ann. Oper. Res., 2001

1997
Canonicity for Intensional Logics Without Iterative Axioms.
[BibTeX]
[DOI]
Timothy J. Surendonk
J. Philos. Log., 1997

1996
A Non-Standard Injection Between Canonical Frames.
[BibTeX]
[DOI]
Timothy J. Surendonk
Log. J. IGPL, 1996

Combining Finite Model Generation with Theorem Proving: Problems and Prospects.
[BibTeX]
John K. Slaney
,
Timothy J. Surendonk
Proceedings of the Frontiers of Combining Systems, 1996

On Isomorphisms between Canonical Frames.
[BibTeX]
Timothy J. Surendonk
Proceedings of the Advances in Modal Logic 1, 1996

1992
An algorithm for computing the inverse Z transform.
[BibTeX]
[DOI]
Joel L. Schiff
,
Timothy J. Surendonk
,
Wayne J. Walker
IEEE Trans. Signal Process., 1992

1990
A Lemma in the Logic of Action.
[BibTeX]
[DOI]
Timothy J. Surendonk
Notre Dame J. Formal Log., 1990


  Loading...