Mark Reynolds

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 73

Top Venues

Publications

Qiang Sun, Du Q. Huynh, Mark Reynolds, Wei Liu
Are Graph Embeddings the Panacea? - An Empirical Survey from the Data Fitness Perspective. PAKDD (2) (2024)
Nur Al Hasan Haldar, Jianxin Li, Mohammed Eunus Ali, Taotao Cai, Yunliang Chen, Timos Sellis, Mark Reynolds
Top-k Socio-Spatial Co-Engaged Location Selection for Social Users. IEEE Trans. Knowl. Data Eng. 35 (5) (2023)
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches. Swarm Evol. Comput. 68 (2022)
Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC (2022)
Qiang Sun, Wei Liu, Du Huynh, Mark Reynolds
Graph Embeddings for Non-IID Data Feature Representation Learning. AusDM (2022)
Nur Al Hasan Haldar, Mark Reynolds, Quanxi Shao, Cécile Paris, Jianxin Li, Yunliang Chen
Activity location inference of users based on social relationship. World Wide Web 24 (4) (2021)
Chenghuan Liu, Du Q. Huynh, Yuchao Sun, Mark Reynolds, Steve Atkinson
A Vision-Based Pipeline for Vehicle Counting, Speed Estimation, and Classification. IEEE Trans. Intell. Transp. Syst. 22 (12) (2021)
Wesley Cox, Lyndon While, Mark Reynolds
A Review of Methods to Compute Minkowski Operations for Geometric Overlap Detection. IEEE Trans. Vis. Comput. Graph. 27 (8) (2021)
Hao Xue, Du Q. Huynh, Mark Reynolds
PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering. IEEE Trans. Neural Networks Learn. Syst. 32 (1) (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
+Past. Inf. Comput. 278 (2021)
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO (2021)
Hao Xue, Du Q. Huynh, Mark Reynolds
Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints. CoRR (2020)
Hao Xue, Du Q. Huynh, Mark Reynolds
A Location-Velocity-Temporal Attention LSTM Model for Pedestrian Trajectory Prediction. IEEE Access 8 (2020)
Chenghuan Liu, Du Q. Huynh, Mark Reynolds
Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines. IEEE Trans. Cybern. 50 (4) (2020)
Hao Xue, Du Q. Huynh, Mark Reynolds
Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. ICONIP (1) (2020)
Nur Al Hasan Haldar, Jianxin Li, Mohammed Eunus Ali, Taotao Cai, Timos Sellis, Mark Reynolds
Top-k Socio-Spatial Co-engaged Location Selection for Social Users. CoRR (2020)
David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC. J. Comput. High. Educ. 32 (1) (2020)
Hao Xue, Du Q. Huynh, Mark Reynolds
Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. CoRR (2020)
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
On timeline-based games and their complexity. Theor. Comput. Sci. 815 (2020)
Chenghuan Liu, Du Q. Huynh, Mark Reynolds
Maximum Entropy Reinforced Single Object Visual Tracking. ECAI (2020)
Ningning Cui, Jianxin Li, Xiaochun Yang, Bin Wang, Mark Reynolds, Yong Xiang
When Geo-Text Meets Security: Privacy-Preserving Boolean Spatial Keyword Queries. ICDE (2019)
Omar I. Al-Bataineh, Mark Reynolds
Epistemic model checking of distributed commit protocols with byzantine faults. FormaliSE@ICSE (2019)
Hao Xue, Du Q. Huynh, Mark Reynolds
Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles. VTC Spring (2019)
Lauren M. Gee, Mark Reynolds
Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication. PRICAI (2) (2019)
Chenghuan Liu, Du Q. Huynh, Mark Reynolds
Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking. IJCNN (2019)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. SPIN (2019)
Nur Al Hasan Haldar, Jianxin Li, Mark Reynolds, Timos Sellis, Jeffrey Xu Yu
Location prediction in large-scale social networks: an in-depth benchmarking study. VLDB J. 28 (5) (2019)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Tim French, Andrew Gozzard, Mark Reynolds
Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) (2019)
Christopher Bartley, Wei Liu, Mark Reynolds
Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification. AAAI (2019)
Andrea Brunello, Angelo Montanari, Mark Reynolds
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME (2019)
Qiao Tian, Jianxin Li, Lu Chen, Ke Deng, Rong-Hua Li, Mark Reynolds, Chengfei Liu
Evidence-driven dubious decision making in online shopping. World Wide Web 22 (6) (2019)
Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While
Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. CEC (2019)
Hao Xue, Du Huynh, Mark Reynolds
Location-Velocity Attention for Pedestrian Trajectory Prediction. WACV (2019)
Hao Xue, Du Q. Huynh, Mark Reynolds
Pedestrian Trajectory Prediction Using a Social Pyramid. PRICAI (2) (2019)
Tim French, Andrew Gozzard, Mark Reynolds
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS (2019)
Tim French, Andrew Gozzard, Mark Reynolds
A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA (2019)
David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
A Quest for a One-Size-Fits-All Neural Network: Early Prediction of Students at Risk in Online Courses. IEEE Trans. Learn. Technol. 12 (2) (2019)
Robin Hirsch, Mark Reynolds
The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. J. Symb. Log. 83 (3) (2018)
Wesley Cox, Tim French, Mark Reynolds, Lyndon While
A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence (2018)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. CoRR (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A game-theoretic approach to timeline-based planning with uncertainty. CoRR (2018)
Ghulam Mubashar Hassan, Mark Reynolds
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. GCAI (2018)
Tim French, Andrew Gozzard, Mark Reynolds
A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME (2018)
Christopher Bartley, Wei Liu, Mark Reynolds
A Novel Framework for Constructing Partially Monotone Rule Ensembles. ICDE (2018)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF (2018)
David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
A supervised learning framework for learning management systems. DATA (2018)
Lewis Tolonen, Tim French, Mark Reynolds
Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME (2018)
Hao Xue, Du Q. Huynh, Mark Reynolds
SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction. WACV (2018)
Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum
A Comparative Study of Decision Diagrams for Real-Time Model Checking. SPIN (2018)
Callan Bright, Lyndon While, Tim French, Mark Reynolds
Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI (2017)
James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
Economic feasibility of stand-alone power systems for existing distribution networks in rural areas. ISGT Asia (2017)
Hao Xue, Du Q. Huynh, Mark Reynolds
Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification. DICTA (2017)
John Christopher McCabe-Dansted, Mark Reynolds
A Parallel Linear Temporal Logic Tableau. GandALF (2017)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. 665 (2017)
Wesley Cox, Tim French, Mark Reynolds, Lyndon While
A Genetic Algorithm for Truck Dispatching in Mining. GCAI (2017)
John Christopher McCabe-Dansted, Mark Reynolds
Rewrite rules for CTL. J. Appl. Log. 21 (2017)
Nicola Gigante, Angelo Montanari, Mark Reynolds
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR (2017)
Kunjie Yu, Lyndon While, Mark Reynolds, Xin Wang, Zhenlei Wang
Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization. Comput. Chem. Eng. 99 (2017)
D. M. Li Kwok Cheong, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, James R. E. Fletcher
Review of clustering algorithms for microgrid formation. ISGT Asia (2017)
John Christopher McCabe-Dansted, Mark Reynolds
To be fair, use bundles. Ann. Math. Artif. Intell. 80 (3-4) (2017)
Chenghuan Liu, Du Q. Huynh, Mark Reynolds
Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking. DICTA (2017)
James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
Variable length encoded genetic algorithm for optimal electrical distribution network routing. SSCI (2017)
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI (2016)
Mark Reynolds
A New Rule for LTL Tableaux. GandALF (2016)
Mark Reynolds
Metric temporal logic revisited. Acta Informatica 53 (3) (2016)
John Christopher McCabe-Dansted, Mark Reynolds, Tim French
Modelling Systems over General Linear Time. TIME (2016)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26 (5) (2016)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR (2016)
Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds
Termination of Monotone Programs. CoRR (2016)
Mark Reynolds
A traditional tree-style tableau for LTL. CoRR (2016)
Christopher Bartley, Wei Liu, Mark Reynolds
Effective Monotone Knowledge Integration in Kernel Support Vector Machines. ADMA (2016)
James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
A case study on optimizing an electrical distribution network using a genetic algorithm. ISIE (2015)
Yuki Osada, Mark Reynolds, Tim French
Hourglass Systems. ACSC (2015)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for continuous time. Theor. Comput. Sci. 594 (2015)
John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds
Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics 25 (3) (2015)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. 27 (5-6) (2015)
John Christopher McCabe-Dansted, Mark Reynolds
A Tableau for Bundled Strategies. TABLEAUX (2015)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS (2014)
Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone
Hourglass Automata. GandALF (2014)
Mark Reynolds
A Tableau for Temporal Logic over the Reals. Advances in Modal Logic (2014)
John Christopher McCabe-Dansted, Mark Reynolds
Verification of Rewrite Rules for Computation Tree Logics. TIME (2014)
John Christopher McCabe-Dansted, Mark Reynolds
Fairness with EXPTIME Bundled CTL Tableau. TIME (2014)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Complexity of Model Checking over General Linear Time. TIME (2013)
Mark Reynolds
A Faster Tableau for CTL. GandALF (2013)
Mark Reynolds
A New Metric Temporal Logic for Hybrid Systems. TIME (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA (2013)
Ji Bian, Tim French, Mark Reynolds
An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Verifying Temporal Properties in Real Models. LPAR (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
An Algebraic System of Temporal Structures. TIME (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Model Checking General Linear Temporal Logic. TABLEAUX (2013)
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
Specifying Robustness. CoRR (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic (2012)
Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR (2012)
J. J. García Adeva, Mark Reynolds
Web-based simulation of fruit fly to support biosecurity decision-making. Ecol. Informatics 9 (2012)
Mark Reynolds
A tableau-based decision procedure for CTL. Formal Aspects Comput. 23 (6) (2011)
Saeed Danesh, Wei Liu, Tim French, Mark Reynolds
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) (2011)
Mark Reynolds
A Tableau for Until and Since over Linear Time. TIME (2011)
Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. 9 (4) (2011)

Mark Reynolds.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Reynolds