Mark Reynolds

Citado por

	Total	Desde 2019
Citas	5098	2330
Índice h	34	23
Índice i10	89	44

500

250

125

375

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 26 23 38 45 53 59 65 79 124 73 91 117 103 185 144 118 176 124 122 224 105 148 140 121 150 212 294 403 464 485 466

Acceso público

Ver todo

13 artículos

15 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Du HuynhThe University of Western AustraliaDirección de correo verificada de uwa.edu.au
Tim FrenchThe University of Western AustraliaDirección de correo verificada de uwa.edu.au
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgDirección de correo verificada de ext.uni.lu
Hao XueUniversity of New South WalesDirección de correo verificada de unsw.edu.au
John McCabe-DanstedResearch Associate, University of Western AustraliaDirección de correo verificada de uwa.edu.au
Marcelo FingerProfessor of Computer Science, Universidade de São PauloDirección de correo verificada de ime.usp.br
Angelo MontanariProfessor of Computer Science, Univ. of UdineDirección de correo verificada de uniud.it
Lyndon WhileAssociate Professor of Computer Science, The University of Western AustraliaDirección de correo verificada de csse.uwa.edu.au
Renate A SchmidtSchool of Computer Science, The University of ManchesterDirección de correo verificada de cs.man.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterDirección de correo verificada de cs.man.ac.uk
Tyrone FernandoProfessor, University of Western Australia and Senior Project Engineer, Western PowerDirección de correo verificada de uwa.edu.au
Herbert Ho-Ching IuProfessor, School of Electrical, Electronic and Computer Engineering, The University of WesternDirección de correo verificada de uwa.edu.au
Ghulam Mubashar HassanThe University of Western Australia, Perth, AustraliaDirección de correo verificada de uwa.edu.au
maarten marxAssistant Professor of Computer Science, University of AmsterdamDirección de correo verificada de uva.nl
Nicola GiganteLibera Università di BolzanoDirección de correo verificada de unibz.it
Abdul SattarProfessor of Computer Science, Griffith UniversityDirección de correo verificada de griffith.edu.au
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaDirección de correo verificada de uwa.edu.au
Michael ZakharyaschevBirkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
Clare DixonUniversity of ManchesterDirección de correo verificada de manchester.ac.uk
Kunjie YuZhengzhou UniversityDirección de correo verificada de zzu.edu.cn

Seguir

Mark Reynolds

Professor of Computer Science, University of Western Australia

Dirección de correo verificada de uwa.edu.au - Página principal

Logic Optimisation Image analysis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	964	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	491	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	191	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	146	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
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	76	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	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	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	72	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	71	2017
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	70	2001
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	67	1997
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	66	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	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	62	2019
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	62	2019
An axiomatization of PCTL* M Reynolds Information and Computation 201 (1), 72-119, 2005	61	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores