Mark Reynolds 个人学术档案

引用次数

	总计	2019 年至今
引用	4862	2110
h 指数	33	22
i10 指数	87	41

500

250

125

375

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 27 23 38 45 53 59 65 78 124 73 91 117 103 185 141 118 178 125 122 223 105 148 140 120 148 212 293 396 460 488 260

开放获取的出版物数量

查看全部

12 篇文章

16 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Du HuynhThe University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Tim FrenchThe University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourg在 ext.uni.lu 的电子邮件经过验证
John McCabe-DanstedResearch Associate, University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Hao XueUniversity of New South Wales在 unsw.edu.au 的电子邮件经过验证
Marcelo FingerProfessor of Computer Science, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
Angelo MontanariProfessor of Computer Science, Univ. of Udine在 uniud.it 的电子邮件经过验证
Lyndon WhileAssociate Professor of Computer Science, The University of Western Australia在 csse.uwa.edu.au 的电子邮件经过验证
Renate A SchmidtSchool of Computer Science, The University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Ian Pratt-HartmannSchool of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Tyrone FernandoProfessor, University of Western Australia and Senior Project Engineer, Western Power在 uwa.edu.au 的电子邮件经过验证
Herbert Ho-Ching IuProfessor, School of Electrical, Electronic and Computer Engineering, The University of Western在 uwa.edu.au 的电子邮件经过验证
maarten marxAssistant Professor of Computer Science, University of Amsterdam在 uva.nl 的电子邮件经过验证
Nicola GiganteLibera Università di Bolzano在 unibz.it 的电子邮件经过验证
Ghulam Mubashar HassanThe University of Western Australia, Perth, Australia在 uwa.edu.au 的电子邮件经过验证
Michael FisherProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Abdul SattarProfessor of Computer Science, Griffith University在 griffith.edu.au 的电子邮件经过验证
Wei LiuAssociate Professor, Computer Science, The University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Michael ZakharyaschevBirkbeck, University of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Clare DixonUniversity of Manchester在 manchester.ac.uk 的电子邮件经过验证

关注

Mark Reynolds

Professor of Computer Science, University of Western Australia

在 uwa.edu.au 的电子邮件经过验证 - 首页

Logic Optimisation Image analysis


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2. D Gabbay, M Reynolds, M Finger Oxford University Press, 2000	957	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	451	2018
An axiomatization of full computation tree logic M Reynolds The Journal of Symbolic Logic 66 (3), 1011-1057, 2001	188	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	133	2004
The complexity of temporal logic over the reals M Reynolds Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010	88	2010
11 Temporal logic I Hodkinson, M Reynolds Studies in logic and practical reasoning 3, 655-720, 2007	79	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	73	2003
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	69	2020
On the products of linear modal logics M Reynolds, M Zakharyaschev Journal of Logic and Computation 11 (6), 909-931, 2001	69	2001
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	67	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	66	2017
A decidable temporal logic of parallelism M Reynolds Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997	66	1997
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	65	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	61	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	59	2019
An axiomatization of PCTL* M Reynolds Information and Computation 201 (1), 72-119, 2005	59	2005
Quantum algorithm for visual tracking CH Yu, F Gao, C Liu, D Huynh, M Reynolds, J Wang Physical Review A, 2019	57	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	55	2019

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用