Mark Reynolds

Cited by

	All	Since 2018
Citations	4535	1930
h-index	31	22
i10-index	82	37

460

230

115

345

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 26 23 38 42 52 57 65 73 124 79 92 116 108 183 138 121 176 123 124 225 105 145 144 121 138 208 292 397 455 433

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
Marcelo FingerProfessor of Computer Science, Universidade de São PauloVerified email at ime.usp.br
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
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
Ghulam Mubashar HassanThe University of Western Australia, Perth, AustraliaVerified email at uwa.edu.au
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	949*	1994
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	948	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	392	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	185*	1996
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds Advances in modal logic 5, 387-399, 2004	117	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	87*	2010
Undecidability of compass logic M Marx, M Reynolds Journal of Logic and Computation 9 (6), 897-914, 1999	79	1999
11 Temporal logic I Hodkinson, M Reynolds Studies in logic and practical reasoning 3, 655-720, 2007	76	2007
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	74	2003
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	71	2001
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	66	1997
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	62	2017
An axiomatization of PCTL* M Reynolds Information and Computation 201 (1), 72-119, 2005	59	2005
A supervised learning framework: Using assessment to identify students at risk of dropping out of a MOOC D Monllao Olive, DQ Huynh, M Reynolds, M Dougiamas, D Wiese Journal of Computing in Higher Education 32, 9-26, 2020	53	2020
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	53	2018
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	52	2019
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	51	2019
A vision-based pipeline for vehicle counting, speed estimation, and classification C Liu, DQ Huynh, Y Sun, M Reynolds, S Atkinson IEEE Transactions on Intelligent Transportation Systems 22 (12), 7547-7560, 2020	49	2020
PoPPL: Pedestrian trajectory prediction by LSTM with automatic route class clustering H Xue, DQ Huynh, M Reynolds IEEE transactions on neural networks and learning systems 32 (1), 77-90, 2020	49	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