Mark Reynolds

Cited by

	All	Since 2019
Citations	4993	2236
h-index	34	22
i10-index	88	42

500

250

125

375

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 26 23 38 45 53 59 65 78 124 73 91 117 103 185 138 118 180 124 122 223 105 148 140 121 148 213 293 398 464 484 381

Public access

View all

12 articles

16 articles

available

not available

Based on funding mandates

Co-authors

Du HuynhThe University of Western AustraliaVerified email at uwa.edu.au
Tim FrenchThe University of Western AustraliaVerified email at uwa.edu.au
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Hao XueUniversity of New South WalesVerified email at unsw.edu.au
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
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 Australia and Senior Project Engineer, Western PowerVerified 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
Ghulam Mubashar HassanThe University of Western Australia, Perth, AustraliaVerified email at uwa.edu.au
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaVerified email at uwa.edu.au
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
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 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	962	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	476	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	189	2001
The imperative future H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds Research Studies Press, Somerset, 1996	187*	1996
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic 5, 387-399, 2004	140	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	93	2010
11 Temporal logic I Hodkinson, M Reynolds Studies in logic and practical reasoning 3, 655-720, 2007	82	2007
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	74	2003
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 (1), 9-26, 2020	73	2020
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	72	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	70	2020
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	70	2017
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	69	2001
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	66	1997
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	63	2018
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	60	2019
Synthesis of LTL formulas from natural language texts: State of the art and research directions A Brunello, A Montanari, M Reynolds 26th International symposium on temporal representation and reasoning (TIME …, 2019	60	2019
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	60	2019
An axiomatization of PCTL* M Reynolds Information and Computation 201 (1), 72-119, 2005	60	2005

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