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


van Ditmarsch, H., French, T., Velázquez-Quesada, F., Wáng, Y. 2018, 'Implicit, explicit and speculative knowledge', ARTIFICIAL INTELLIGENCE, 256, pp. 35-67. Detail

Cox, W., French, T., Reynolds, M., While, R. 2017, 'A Genetic Algorithm for Truck Dispatching in Mining', GCAI 2017 - 3rd Global Conference on Artificial Intelligence, pp. 93–107. Detail

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

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

Ågotnes, T., Van Ditmarsch, H., French, T. 2016, 'The Undecidability of Quantified Announcements', Studia Logica, 104, 4, pp. 597-640. 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