UWA logo
UWA logo

Dr Tim French

The Academic Details listed below present information collected by the University up to the end of 2013 and thus may not represent the full academic record.

Email: tim.french@uwa.edu.au  Home Page
Phone: +618 6488 2794


Al-Bataineh, O., Reynolds, M., French, T. 2017, 'Finding minimum and maximum termination time of timed automata models with cyclic behaviour', THEORETICAL COMPUTER SCIENCE, 665, pp. 87-104. Detail

McCabe-Dansted, J., Reynolds, M., French, T. 2016, 'Modelling Systems over General Linear Time', Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, , 2016-December, pp. 130-139. Detail

Ã…gotnes, T., Van Ditmarsch, H., French, T. 2016, 'The Undecidability of Quantified Announcements', Studia Logica, 104, 4, pp. 597-640. Detail

Caldwell, B., Cardell-Oliver, R., French, T. 2016, 'Learning Time Delay Mealy Machines from Programmable Logic Controllers', IEEE Transactions on Automation Science and Engineering, 13, 2, pp. 1155-1164. Detail

Osada, Y., Reynolds, M., French, T. 2015, 'Hourglass Systems', Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015), , 159, pp. 119-123. Detail

More Publications...


Dr Timothy French 2007, 'A Formal Framework for the Refinement of Secure Communication Protocols', UWA Research Grants Scheme.

More Grants...


2016 PhD. Mr Hales. Supervised by: Dr Davies, Dr French

2015 PhD. Dr Bataineh. Supervised by: Dr Woodings, A/Prof Reynolds, Dr French

2015 PhD. Dr Bian. Supervised by: A/Prof Reynolds, Dr French

2014 PhD. Dr Garg. Supervised by: Prof Datta, Dr French

2014 PhD. Dr Behdad. Supervised by: Prof Bennamoun, Dr Barone, Dr French

More Students...

Managed by: CSP Development (contact us)
CRICOS Code: 00126G