Mark Reynolds

Cited by

	All	Since 2018
Citations	4191	1592
h-index	29	19
i10-index	75	32

480

240

120

360

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 23 25 37 42 50 56 64 75 118 78 90 122 106 183 137 118 185 126 125 228 107 144 144 121 137 210 288 389 468 98

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	929*	1994
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	928*	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	331	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	185	2001
The imperative future H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds Research Studies Press, Somerset, 1996	183*	1996
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic, 387, 2004	100	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	83*	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	65	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	48	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
Axioms for branching time M Reynolds Journal of Logic and Computation 12 (4), 679-697, 2002	45	2002
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	44	2018

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