Tim French

Dr, BCM PhD W.Aust.

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

    6009 Crawley

    Australia

  • 426 Citations
  • 11 h-Index
20012018
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Algorithms
  • Automata theory
  • Automated reasoning
  • Formal methods in software
  • Logical foundations of computer science
  • Modal/temporal logic
  • Verification of systems

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Logic Mathematics
Computability and decidability Engineering & Materials Science
Undecidability Mathematics
Timed Automata Mathematics
Trucks Engineering & Materials Science
Modal Logic Mathematics
Bisimulation Mathematics
Model checking Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2008 2018

Research Output 2001 2018

Implicit, explicit and speculative knowledge

van Ditmarsch, H., French, T., Velázquez-Quesada, F. R. & Wáng, Y. N. 1 Mar 2018 In : Artificial Intelligence. 256, p. 35-67 33 p.

Research output: Contribution to journalArticle

axiomatization
equivalence
knowledge
introspection
artificial intelligence

A Genetic Algorithm for Truck Dispatching in Mining

Cox, W., French, T. N., Reynolds, M. & While, R. L. 2017 GCAI 2017 - 3rd Global Conference on Artificial Intelligence. Benzmüller, C., Lisetti, C. & Theobald, M. (eds.). USA: EasyChair, p. 93–107 (EPiC Series in Computing; vol. 50)

Research output: Chapter in Book/Report/Conference proceedingConference paper

Open Access
Trucks
Genetic algorithms
Shovels
Finite automata
Linear programming
2 Citations

Finding minimum and maximum termination time of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T. 22 Feb 2017 In : Theoretical Computer Science. 665, p. 87-104 18 p.

Research output: Contribution to journalArticle

Timed Automata
Termination
Execution Time
Model checking
Model Checking

Using Market-based Optimisation to Solve the Dynamic Vehicle Routing Problem

Bright, C., While, L., French, T. & Reynolds, M. 27 Nov 2017 Symposium Series on Computational Intelligence. New Jersey: IEEE, Institute of Electrical and Electronics Engineers, p. 1561-1568 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference paper

Vehicle routing
Industry
Experiments
1 Citations