• 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
Article
2019

An Adaptive-Phasor Approach to PMU Measurement Rectification for LFOD Enhancement

Chau, T. K., Yu, S., Fernando, T. L., Iu, H. H. C., Small, M. & Reynolds, M., 1 Sep 2019, In : IEEE Transactions on Power Systems. 34, 5, p. 3941-3950 10 p., 8674594.

Research output: Contribution to journalArticle

Phasor measurement units
Damping
Recovery
Voltage regulators
Synchronous generators
2 Citations (Scopus)

A quest for a one-size-fits-all neural network: Early prediction of students at risk in online courses

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 15 Apr 2019, In : IEEE Transactions on Learning Technologies. p. 171-183 13 p.

Research output: Contribution to journalArticle

neural network
Students
Neural networks
student
learning

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC

Monllaó Olivé, D., Huynh, D. Q., Reynolds, M., Dougiamas, M. & Wiese, D., 24 May 2019, In : Journal of Computing in Higher Education.

Research output: Contribution to journalArticle

learning
student
educational setting
management
neural network

Efficient decentralized LTL monitoring framework using tableau technique

Bataineh, O., Rosenblum, D. S. & Reynolds, M., 1 Oct 2019, In : ACM Transactions on Embedded Computing Systems. 18, 5s, A87.

Research output: Contribution to journalArticle

Temporal logic
Monitoring
Syntactics
Semantics
Communication
1 Citation (Scopus)

Location prediction in large-scale social networks: an in-depth benchmarking study

Al Hasan Haldar, N., Li, J., Reynolds, M., Sellis, T. & Yu, J. X., 9 Jul 2019, In : VLDB Journal.

Research output: Contribution to journalArticle

Benchmarking
Recommender systems
Disasters
3 Citations (Scopus)

Quantum algorithm for visual tracking

Yu, C. H., Gao, F., Liu, C., Huynh, D., Reynolds, M. & Wang, J., 2019, In : Physical Review A (Atomic, Molecular and Optical Physics). 99, 2, 022301.

Research output: Contribution to journalArticle

optical tracking
computer vision
classifiers
ridges
regression analysis

Sublogics of a branching time logic of robustness

McCabe-Dansted, J., Dixon, C., French, T. & Reynolds, M., 1 Jun 2019, In : Information and Computation. 266, p. 126-160 35 p.

Research output: Contribution to journalArticle

Open Access
Branching
Logic
Quantifiers
Robustness
Path
2018

Evidence-driven dubious decision making in online shopping

Tian, Q., Li, J., Chen, L., Deng, K., Li, R. H., Reynolds, M. & Liu, C., 7 Jul 2018, In : World Wide Web. p. 1-17 17 p.

Research output: Contribution to journalArticle

Recommender systems
Decision making
Costs
79 Downloads (Pure)
Open Access
File
Electric power transmission networks
Power transmission
Clustering algorithms
Life cycle
Economics
9 Citations (Scopus)

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
2 Citations (Scopus)

Spatial Optimization for the Planning of Sparse Power Distribution Networks

Fletcher, J. R. E., Fernando, T. L., Iu, H., Reynolds, M. & Fani, S., Nov 2018, In : IEEE Transactions on Power Systems. 33, 6, p. 6686-6695 8379446.

Research output: Contribution to journalArticle

Electric power distribution
Network routing
Planning
Topology
Costs
3 Citations (Scopus)

The temporal logic of two dimensional Minkowski spacetime is decidable

Hirsch, R. & Reynolds, M., Sep 2018, In : The Journal of Symbolic Logic. 83, 3, p. 829-867

Research output: Contribution to journalArticle

Temporal Logic
Space-time
Accessibility
Irreflexive
Logic
2 Citations (Scopus)
Finite automata
Computer vision
Experiments
2017
10 Citations (Scopus)

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 (Scopus)
110 Downloads (Pure)

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

Open Access
File
Timed Automata
Termination
Execution Time
Model checking
Model Checking
1 Citation (Scopus)
107 Downloads (Pure)

Rewrite rules for CTL*

McCabe-Dansted, J. C. & Reynolds, M., 1 May 2017, In : Journal of Applied Logic. 21, p. 24-56 33 p.

Research output: Contribution to journalArticle

Open Access
File
Theorem proving
Temporal logic
Model checking
Acoustic waves
Benchmark
1 Citation (Scopus)

To be fair, use bundles

McCabe-Dansted, J. & Reynolds, M., 1 Aug 2017, In : Annals of Mathematics and Artificial Intelligence. 80, 3-4, p. 317-364 48 p.

Research output: Contribution to journalArticle

Computational complexity
Bundle
Fairness
Logic
Tableau
2016

Metric temporal logic revisited

Reynolds, M., 2016, In : Acta Informatica. 53, 2, p. 301-324

Research output: Contribution to journalArticle

2015
5 Citations (Scopus)

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T., 2015, In : FORMAL ASPECTS OF COMPUTING. 27, 5-6, p. 917-949

Research output: Contribution to journalArticle

Timed Automata
Execution Time
Cycle
Terminate
Explosion
1 Citation (Scopus)

Expressiveness and succinctness of a logic of robustness

Mccabe-Dansted, J., French, T., Pinchinat, S. & Reynolds, M., 2015, In : Journal of Applied Non-Classical Logics. 25, 3, p. 193-228

Research output: Contribution to journalArticle

Expressiveness
Logic
Robustness
Computational
Model Robustness
2 Citations (Scopus)

Synthesis for continuous time

French, T., Mccabe-Dansted, J. & Reynolds, M., 23 Aug 2015, In : Theoretical Computer Science. 594, p. 201-222

Research output: Contribution to journalArticle

Continuous Time
Temporal logic
Reasoning
Synthesis
Temporal Logic
2013
4 Citations (Scopus)
14 Downloads (Pure)

A tableau for general linear temporal logic

Reynolds, M., 2013, In : Journal of Logic and Computation. 1, p. 1057-1080

Research output: Contribution to journalArticle

2012
5 Citations (Scopus)

A simulation modelling approach to forecast establishment and spread of Bactrocera fruit flies

García Adeva, J. J., Botha, J. H. & Reynolds, M., 2012, In : Ecological Modelling. 227, p. 93-108

Research output: Contribution to journalArticle

7 Citations (Scopus)

Web-based simulation of fruit fly to support biosecurity decision-making

García Adeva, J. J. & Reynolds, M., 2012, In : Ecological Informatics. 9, p. 19-36

Research output: Contribution to journalArticle

2011
6 Citations (Scopus)

A tableau-based decision procedure for CTL*

Reynolds, M., 2011, In : FORMAL ASPECTS OF COMPUTING. 23, 6, p. 739-779

Research output: Contribution to journalArticle

Tableau
Decision Procedures
Temporal logic
Subroutines
Acoustic waves
2010
5 Citations (Scopus)

Metric temporal reasoning with less than two clocks

Reynolds, M., 2010, In : Journal of Applied Non-Classical Logics. 20, 4, p. 437-455

Research output: Contribution to journalArticle

The complexity of Decision Problems for Linear Temporal Logics

Reynolds, M., 2010, In : Studies in Logic. 3, p. 19-50

Research output: Contribution to journalArticle

33 Citations (Scopus)

The complexity of temporal logic over the reals

Reynolds, M., 2010, In : Annals of Pure and Applied Logic. 161, p. 1063-1096

Research output: Contribution to journalArticle

Open Access
2007
18 Citations (Scopus)

A Tableau for Bundled CTL

Reynolds, M., 2007, In : Journal of Logic and Computation. 17, 1, p. 117-132

Research output: Contribution to journalArticle

Theorem proving
Temporal logic
Tableau
Fusion reactions
Acoustic waves
15 Citations (Scopus)

A Temporal Logic of Robustness

French, T., Mccabe-Dansted, J. C. & Reynolds, M., 2007, In : Lecture Notes in Computer Science. 4720, p. 193-205

Research output: Contribution to journalArticle

2005
26 Citations (Scopus)

An axiomatization of PCTL

Reynolds, M., 2005, In : Information and Computation. 201, p. 72-119

Research output: Contribution to journalArticle

Trees (mathematics)
Axiomatization
Mathematical operators
Semantics
Acoustic waves
2003
3 Citations (Scopus)

Gap mapping: a paradigm for aligning two sequences

Bellgard, M., Gamble, T., Reynolds, M., Hunter, A., Trifonov, E. & Taplin, R., 2003, In : Applied Bioinformatics. 2, 3 Suppl., p. S31-S35

Research output: Contribution to journalArticle

Sequence Alignment
sequence alignment
Benchmarking
Sequence Analysis
exercise
33 Citations (Scopus)
Temporal logic
Temporal Logic
Linear Time
Linear Ordering
Decision problem
2002
16 Citations (Scopus)

Axioms for Branching Time

Reynolds, M., 2002, In : Journal of Logic and Computation. 12, 4, p. 679-697

Research output: Contribution to journalArticle

2001
82 Citations (Scopus)

An Axiomatization of Full Computation Tree Logic

Reynolds, M., 2001, In : The Journal of Symbolic Logic. 66, 3, p. 1011-1057

Research output: Contribution to journalArticle

14 Citations (Scopus)

Continuous Temporal Models

Reynolds, M., 2001, In : Lecture Notes in Artificial Intelligence. 2256, p. 414-425

Research output: Contribution to journalArticle

31 Citations (Scopus)

On the Products of Linear Modal Logics

Reynolds, M. & Zakharyaschev, M., 2001, In : Journal of Logic and Computation. 11, 6, p. 909-931

Research output: Contribution to journalArticle

Linear Logic
Modal Logic
Linear Order
Logic
Type Inference
1999

Non-Definability of the Class of Complete Bundled Trees

Zanardo, A., Barcellan, B. & Reynolds, M., 1999, In : Logic Journal of the IGPL. 7, 1, p. 125-136

Research output: Contribution to journalArticle

40 Citations (Scopus)

Undecidability of compass logic

Marx, M. & Reynolds, M., 1999, In : Journal of Logic and Computation. p. 897-914

Research output: Contribution to journalArticle

1997
32 Citations (Scopus)

A decidable temporal logic of parallelism

Reynolds, M., 1997, In : Notre Dame Journal of Formal Logic. p. 419-436

Research output: Contribution to journalArticle

1996
11 Citations (Scopus)

Axiomatising First-Order Temporal Logic: Until and Since over Linear Time

Reynolds, M., 1996, In : Studia Logica. p. 279-302

Research output: Contribution to journalArticle

1994
17 Citations (Scopus)

Axiomatisation and Decidability of F and P in Cyclical Time

Reynolds, M., 1994, In : Journal of Philosophical Logic. p. 197-224

Research output: Contribution to journalArticle

1992
23 Citations (Scopus)

An Axiomatization for Until and Since over the Reals without the IRR rule

Reynolds, M., 1992, In : Studia Logica. 51, p. 165-193

Research output: Contribution to journalArticle

1985
29 Citations (Scopus)

Products of Idempotent Linear Transformations

Reynolds, M. & Sullivan, R., 1985, In : PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH: SECTION A MATHEMATICS. 100, p. 123-138

Research output: Contribution to journalArticle

7 Citations (Scopus)

The Ideal Structure of Idempotent-generated Transformation Semigroups

Reynolds, M. & Sullivan, R. P., 1985, In : Proceedings of the Edinburgh Mathematical Society. 28, p. 319–331

Research output: Contribution to journalArticle