• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 733 Citations
  • 15 h-Index
1985 …2023
If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Filter
Edited book/Anthology
2012

Proceedings of the Thirty-Fifth Australasian Computer Science Conference

Reynolds, M. & Thomas, B., 2012, Australia: Australian Computer Society.

Research output: Book/ReportEdited book/Anthology

TIME 2012. Proceedings

Reynolds, M., Moszkowski, B. & Terenziani, P., 2012, UK: IEEE, Institute of Electrical and Electronics Engineers.

Research output: Book/ReportEdited book/Anthology

2011

AI 2011: Advances in Artifical Intelligence

Reynolds, M. & Wang, D., 2011, Germany: Springer.

Research output: Book/ReportEdited book/Anthology

2006

TIME-ICTL 2003

Reynolds, M., Sattar, A., Reynolds, M. (ed.) & Sattar, A. (ed.), 2006, Cairns, Qld ed. Amsterdam: Elsevier.

Research output: Book/ReportEdited book/Anthology

2005

Advances in Modal Logic

Reynolds, M., Schmidt, R., Pratt-Hartmann, I. & Wansing, H., 2005, London: King's College Publications.

Research output: Book/ReportEdited book/Anthology

2003

Proceedings of 10th International Symposium on Temporal Representation and Reasoning

Reynolds, M., Sattar, A. & ReynoldsM, N. V. (ed.), 2003, Cairns, Queensland, Australia ed. California, U.S.A.: I.E.E.E.

Research output: Book/ReportEdited book/Anthology

2002

Journal of Logic and Computation

Reynolds, M., Zakharyaschev, M. & ReynoldsM, Z. (ed.), 2002, Leipzig, Germany ed. Oxford, England: Oxford University Press.

Research output: Book/ReportEdited book/Anthology