Mark Reynolds

Cited by

	All	Since 2018
Citations	4259	1657
h-index	30	20
i10-index	76	33

480

240

120

360

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 23 25 37 43 51 55 64 75 119 78 91 122 106 183 135 120 186 122 124 228 106 144 144 122 137 211 289 393 468 157

Public access

View all

12 articles

16 articles

available

not available

Based on funding mandates

Co-authors

Tim FrenchThe University of Western AustraliaVerified email at uwa.edu.au
Du HuynhThe University of Western AustraliaVerified email at uwa.edu.au
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
John McCabe-DanstedResearch Associate, University of Western AustraliaVerified email at uwa.edu.au
Hao XueUniversity of New South WalesVerified email at unsw.edu.au
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Lyndon WhileAssociate Professor of Computer Science, The University of Western AustraliaVerified email at csse.uwa.edu.au
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Tyrone FernandoProfessor, University of Western AustraliaVerified email at uwa.edu.au
Herbert Ho-Ching IuProfessor, School of Electrical, Electronic and Computer Engineering, The University of WesternVerified email at uwa.edu.au
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Nicola GiganteLibera Università di BolzanoVerified email at unibz.it
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaVerified email at uwa.edu.au
Marcelo FingerProfessor of Computer Science, Universidade de São PauloVerified email at ime.usp.br
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Kunjie YuZhengzhou UniversityVerified email at zzu.edu.cn

Mark Reynolds

Professor of Computer Science, University of Western Australia

Verified email at uwa.edu.au - Homepage

Logic Optimisation Image analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1. D Gabbay, I Hodkinson, M Reynolds Oxford University Press, 1994	934*	1994
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	933*	2000
SS-LSTM: A hierarchical LSTM model for pedestrian trajectory prediction H Xue, DQ Huynh, M Reynolds 2018 IEEE Winter Conference on Applications of Computer Vision (WACV), 1186-1194, 2018	343	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	186	2001
The imperative future H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds Research Studies Press, Somerset, 1996	184*	1996
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic, 387, 2004	103	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	84*	2010
Undecidability of compass logic M Marx, M Reynolds Journal of Logic and Computation 9 (6), 897-914, 1999	78	1999
The complexity of the temporal logic with “until” over general linear time M Reynolds Journal of Computer and System Sciences 66 (2), 393-426, 2003	76	2003
11 Temporal logic I Hodkinson, M Reynolds Studies in logic and practical reasoning 3, 655-720, 2007	74	2007
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	67	1997
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	66	2001
An axiomatization of PCTL* M Reynolds Information and Computation 201 (1), 72-119, 2005	58	2005
Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification H Xue, DQ Huynh, M Reynolds Digital Image Computing: Techniques and Applications (DICTA), 2017 …, 2017	52	2017
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	50	2019
An axiomatization for Until and Since over the reals without the IRR rule M Reynolds Studia Logica 51, 165-193, 1992	48	1992
Products of idempotent linear transformations MA Reynolds, RP Sullivan Proceedings of the Royal Society of Edinburgh: Section A Mathematics 100 (1 …, 1985	48	1985
A quest for a one-size-fits-all neural network: early prediction of students at risk in online courses DM Olive, DQ Huynh, M Reynolds, M Dougiamas, D Wiese IEEE Transactions on Learning Technologies 12 (2), 171-183, 2019	47	2019
Multiobjective optimization of ethylene cracking furnace system using self-adaptive multiobjective teaching-learning-based optimization K Yu, L While, M Reynolds, X Wang, JJ Liang, L Zhao, Z Wang Energy 148, 469-481, 2018	46	2018
A supervised learning framework: Using assessment to identify students at risk of dropping out of a MOOC D Monllaó Olivé, DQ Huynh, M Reynolds, M Dougiamas, D Wiese Journal of Computing in Higher Education 32, 9-26, 2020	45	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors