Mark Reynolds

Citada per

	Totes	Des de 2020
Citacions	5211	2215
Índex h	34	23
Índex i10	93	43

520

260

130

390

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 26 23 38 44 52 58 66 79 115 73 97 117 104 187 143 119 181 121 130 233 104 151 147 123 141 217 292 406 460 480 507 69

Accés públic

Mostra-ho tot

13 articles

15 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Du HuynhThe University of Western AustraliaCorreu electrònic verificat a uwa.edu.au
Tim FrenchThe University of Western AustraliaCorreu electrònic verificat a uwa.edu.au
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgCorreu electrònic verificat a ext.uni.lu
Hao XueUniversity of New South WalesCorreu electrònic verificat a unsw.edu.au
John McCabe-DanstedResearch Associate, University of Western AustraliaCorreu electrònic verificat a uwa.edu.au
Marcelo FingerProfessor of Computer Science, Universidade de São PauloCorreu electrònic verificat a ime.usp.br
Angelo MontanariProfessor of Computer Science, Univ. of UdineCorreu electrònic verificat a uniud.it
Lyndon WhileAssociate Professor of Computer Science, The University of Western AustraliaCorreu electrònic verificat a csse.uwa.edu.au
Renate A SchmidtSchool of Computer Science, The University of ManchesterCorreu electrònic verificat a cs.man.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterCorreu electrònic verificat a cs.man.ac.uk
Tyrone FernandoProfessor, University of Western Australia and Senior Project Engineer, Western PowerCorreu electrònic verificat a uwa.edu.au
Herbert Ho-Ching IuProfessor, School of Electrical, Electronic and Computer Engineering, The University of WesternCorreu electrònic verificat a uwa.edu.au
Ghulam Mubashar HassanThe University of Western Australia, Perth, AustraliaCorreu electrònic verificat a uwa.edu.au
maarten marxAssistant Professor of Computer Science, University of AmsterdamCorreu electrònic verificat a uva.nl
Nicola GiganteLibera Università di BolzanoCorreu electrònic verificat a unibz.it
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaCorreu electrònic verificat a uwa.edu.au
Abdul SattarProfessor of Computer Science, Griffith UniversityCorreu electrònic verificat a griffith.edu.au
Michael ZakharyaschevBirkbeck, University of LondonCorreu electrònic verificat a dcs.bbk.ac.uk
Clare DixonUniversity of ManchesterCorreu electrònic verificat a manchester.ac.uk
Kunjie YuZhengzhou UniversityCorreu electrònic verificat a zzu.edu.cn

Segueix

Mark Reynolds

Professor of Computer Science, University of Western Australia

Correu electrònic verificat a uwa.edu.au - Pàgina d'inici

Logic Optimisation Image analysis


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	969	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	502	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	196	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 Advances in modal logic 5, 387-399, 2004	160	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	93	2010
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	83	2020
11 Temporal logic I Hodkinson, M Reynolds Studies in logic and practical reasoning 3, 655-720, 2007	83	2007
Undecidability of compass logic M Marx, M Reynolds Journal of Logic and Computation 9 (6), 897-914, 1999	78	1999
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	76	2020
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	75	2020
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	75	2003
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	73	2017
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	71	2001
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	70	2019
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	66	1997
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	64	2019
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	63	2019
When geo-text meets security: Privacy-preserving boolean spatial keyword queries N Cui, J Li, X Yang, B Wang, M Reynolds, Y Xiang 2019 IEEE 35th International Conference on Data Engineering (ICDE), 1046-1057, 2019	62	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	62	2018

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors