Mark Reynolds

Associate Professor, BSc DipEd W.Aust., DipEd PhD Lond.

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

    6009 Crawley

    Australia

  • 575 Citations
  • 12 h-Index
20012020
If you made any changes in Pure these will be visible here soon.

Personal profile

Roles and responsibilities

Head of School

Keywords

  • Artificial intelligence
  • Automated reasoning
  • Formal methods in software
  • Formal specification and verification of concurrent systems
  • Logic
  • Logical foundations of computer science
  • Modal/temporal logic
  • Reasoning about agent interaction and collaboration
  • Software engineering
  • 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
Temporal logic Engineering & Materials Science
Logic Mathematics
Theorem proving Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Model checking Engineering & Materials Science
Temporal Logic Mathematics
Tableau Mathematics
Timed Automata Mathematics

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

Projects 2004 2020

Research Output 2001 2018

Multiobjective optimization of ethylene cracking furnace system using self-adaptive multiobjective teaching-learning-based optimization

Yu, K., While, L., Reynolds, M., Wang, X., Liang, J. J., Zhao, L. & Wang, Z. 1 Apr 2018 In : Energy. 148, p. 469-481 13 p.

Research output: Contribution to journalArticle

Multiobjective optimization
Ethylene
Teaching
Furnaces
Fuel consumption

A flexible accessibility analysis tool for enhanced urban analytics

Sun, Y., McCarney, G., Sabri, S., Amirebrahimi, S., Agunbiade, M., Chen, Y., Keshtiarast, A., Kalantari, M., Bright, C., Olaru, D., Reynolds, M., Rajabifard, A. & Biermann, S. 27 Nov 2017 Australasian Transport Research Forum 2017 Proceedings. New Zealand: Australasian Transport Research Forum

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

accessibility
infrastructure
spatial resolution
labor
GIS

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
3 Citations

Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization

Yu, K., While, L., Reynolds, M., Wang, X. & Wang, Z. 6 Apr 2017 In : Computers and Chemical Engineering. 99, p. 314-324 11 p.

Research output: Contribution to journalArticle

Ethylene
Teaching
Furnaces
Scheduling
Hydrocarbons
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