default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Reynolds 0001
Mark Alexander Reynolds
Person information
- affiliation: University of Western Australia, Department of Computer Science and Software Engineering, Perth, Australia
- affiliation (PhD 1989): University of London, Imperial College of Science and Technology, UK
Other persons with the same name
- Mark Reynolds — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c84]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: 405-417- 2023
- [j47]Benjamin R. McFadden, Mark Reynolds, Timothy J. J. Inglis:
Developing machine learning systems worthy of trust for infection science: a requirement for future implementation into clinical practice. Frontiers Digit. Health 5 (2023) - [j46]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): 5325-5340 (2023) - 2022
- [j45]Yangjinbo Zhang, Mark Reynolds, Artur Lugmayr, Katarina Damjanov, Ghulam Mubashar Hassan:
A Visual Data Storytelling Framework. Informatics 9(4): 73 (2022) - [j44]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: 101018 (2022) - [c83]Qiang Sun, Wei Liu, Du Huynh, Mark Reynolds:
Graph Embeddings for Non-IID Data Feature Representation Learning. AusDM 2022: 43-57 - [c82]Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While:
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC 2022: 1-10 - 2021
- [j43]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Inf. Comput. 278: 104599 (2021) - [j42]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): 7547-7560 (2021) - [j41]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): 77-90 (2021) - [j40]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): 3377-3396 (2021) - [j39]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): 1165-1183 (2021) - [c81]Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While:
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO 2021: 618-626 - [e8]Carlo Combi, Johann Eder, Mark Reynolds:
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. LIPIcs 206, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-206-8 [contents] - 2020
- [j38]Hao Xue, Du Q. Huynh, Mark Reynolds:
A Location-Velocity-Temporal Attention LSTM Model for Pedestrian Trajectory Prediction. IEEE Access 8: 44576-44589 (2020) - [j37]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): 9-26 (2020) - [j36]Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds:
On timeline-based games and their complexity. Theor. Comput. Sci. 815: 247-269 (2020) - [j35]Chenghuan Liu, Du Q. Huynh, Mark Reynolds:
Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines. IEEE Trans. Cybern. 50(4): 1726-1738 (2020) - [c80]Chenghuan Liu, Du Q. Huynh, Mark Reynolds:
Maximum Entropy Reinforced Single Object Visual Tracking. ECAI 2020: 2744-2751 - [c79]Hao Xue, Du Q. Huynh, Mark Reynolds:
Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. ICONIP (1) 2020: 544-556 - [c78]Ryan W. Bunney, Andreas Wicenec, Mark Reynolds:
SHADOW: A workflow scheduling algorithm reference and testing framework. SciPy 2020: 148-155 - [i12]Hao Xue, Du Q. Huynh, Mark Reynolds:
Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. CoRR abs/2004.09760 (2020) - [i11]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 abs/2009.00373 (2020) - [i10]Hao Xue, Du Q. Huynh, Mark Reynolds:
Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints. CoRR abs/2010.05507 (2020)
2010 – 2019
- 2019
- [j34]Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds:
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ACM Trans. Embed. Comput. Syst. 18(5s): 87:1-87:21 (2019) - [j33]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): 171-183 (2019) - [j32]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): 623-648 (2019) - [j31]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): 2883-2899 (2019) - [c77]Christopher Bartley, Wei Liu, Mark Reynolds:
Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification. AAAI 2019: 3224-3231 - [c76]Tim French, Andrew Gozzard, Mark Reynolds:
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS 2019: 1964-1966 - [c75]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: 2498-2505 - [c74]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: 1046-1057 - [c73]Tim French, Andrew Gozzard, Mark Reynolds:
A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA 2019: 52-63 - [c72]Omar I. Al-Bataineh, Mark Reynolds:
Epistemic model checking of distributed commit protocols with byzantine faults. FormaliSE@ICSE 2019: 51-60 - [c71]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: 1-8 - [c70]Tim French, Andrew Gozzard, Mark Reynolds:
Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) 2019: 433-445 - [c69]Hao Xue, Du Q. Huynh, Mark Reynolds:
Pedestrian Trajectory Prediction Using a Social Pyramid. PRICAI (2) 2019: 439-453 - [c68]Lauren M. Gee, Mark Reynolds:
Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication. PRICAI (2) 2019: 534-538 - [c67]Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds:
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. SPIN 2019: 38-55 - [c66]Andrea Brunello, Angelo Montanari, Mark Reynolds:
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME 2019: 17:1-17:19 - [c65]Hao Xue, Du Q. Huynh, Mark Reynolds:
Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles. VTC Spring 2019: 1-5 - [c64]Hao Xue, Du Huynh, Mark Reynolds:
Location-Velocity Attention for Pedestrian Trajectory Prediction. WACV 2019: 2038-2047 - [e7]Artur Lugmayr, Martin Masek, Mark Reynolds, Margot Brereton:
OZCHI'19: 31st Australian Conference on Human-Computer-Interaction, Fremantle, WA, Australia, December, 2-5, 2019. ACM 2019, ISBN 978-1-4503-7696-9 [contents] - 2018
- [j30]Robin Hirsch, Mark Reynolds:
The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. J. Symb. Log. 83(3): 829-867 (2018) - [c63]Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence 2018: 410-418 - [c62]David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese:
A supervised learning framework for learning management systems. DATA 2018: 18:1-18:8 - [c61]Ghulam Mubashar Hassan, Mark Reynolds:
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. GCAI 2018: 81-92 - [c60]Christopher Bartley, Wei Liu, Mark Reynolds:
A Novel Framework for Constructing Partially Monotone Rule Ensembles. ICDE 2018: 1320-1323 - [c59]Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum:
A Comparative Study of Decision Diagrams for Real-Time Model Checking. SPIN 2018: 216-234 - [c58]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME 2018: 13:1-13:17 - [c57]Lewis Tolonen, Tim French, Mark Reynolds:
Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME 2018: 22:1-22:22 - [c56]Hao Xue, Du Q. Huynh, Mark Reynolds:
SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction. WACV 2018: 1186-1194 - [c55]Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - [i9]Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds:
A game-theoretic approach to timeline-based planning with uncertainty. CoRR abs/1807.04837 (2018) - [i8]Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds:
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. CoRR abs/1810.13129 (2018) - [i7]Tim French, Andrew Gozzard, Mark Reynolds:
A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR abs/1812.11741 (2018) - 2017
- [j29]John Christopher McCabe-Dansted, Mark Reynolds:
To be fair, use bundles. Ann. Math. Artif. Intell. 80(3-4): 317-364 (2017) - [j28]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: 314-324 (2017) - [j27]John Christopher McCabe-Dansted, Mark Reynolds:
Rewrite rules for CTL. J. Appl. Log. 21: 24-56 (2017) - [j26]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: 87-104 (2017) - [c54]Chenghuan Liu, Du Q. Huynh, Mark Reynolds:
Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking. DICTA 2017: 1-8 - [c53]Hao Xue, Du Q. Huynh, Mark Reynolds:
Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification. DICTA 2017: 1-8 - [c52]Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Genetic Algorithm for Truck Dispatching in Mining. GCAI 2017: 93-106 - [c51]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: 1-6 - [c50]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: 1-5 - [c49]Nicola Gigante, Angelo Montanari, Mark Reynolds:
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR 2017: 456-473 - [c48]Callan Bright, Lyndon While, Tim French, Mark Reynolds:
Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI 2017: 1-8 - [c47]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: 1-8 - [c46]John Christopher McCabe-Dansted, Mark Reynolds:
A Parallel Linear Temporal Logic Tableau. GandALF 2017: 166-179 - 2016
- [j25]Mark Reynolds:
Metric temporal logic revisited. Acta Informatica 53(3): 301-324 (2016) - [j24]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26(5): 1439-1467 (2016) - [c45]Christopher Bartley, Wei Liu, Mark Reynolds:
Effective Monotone Knowledge Integration in Kernel Support Vector Machines. ADMA 2016: 3-18 - [c44]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: 950-956 - [c43]John Christopher McCabe-Dansted, Mark Reynolds, Tim French:
Modelling Systems over General Linear Time. TIME 2016: 130-139 - [c42]Mark Reynolds:
A New Rule for LTL Tableaux. GandALF 2016: 287-301 - [i6]Mark Reynolds:
A traditional tree-style tableau for LTL. CoRR abs/1604.03962 (2016) - [i5]Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds:
Termination of Monotone Programs. CoRR abs/1610.09607 (2016) - [i4]Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR abs/1610.09795 (2016) - 2015
- [j23]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): 917-949 (2015) - [j22]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): 193-228 (2015) - [j21]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for continuous time. Theor. Comput. Sci. 594: 201-222 (2015) - [c41]Yuki Osada, Mark Reynolds, Tim French:
Hourglass Systems. ACSC 2015: 119-123 - [c40]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: 20-25 - [c39]John Christopher McCabe-Dansted, Mark Reynolds:
A Tableau for Bundled Strategies. TABLEAUX 2015: 22-37 - 2014
- [c38]Mark Reynolds:
A Tableau for Temporal Logic over the Reals. Advances in Modal Logic 2014: 439-458 - [c37]Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS 2014: 38-52 - [c36]John Christopher McCabe-Dansted, Mark Reynolds:
Verification of Rewrite Rules for Computation Tree Logics. TIME 2014: 142-151 - [c35]John Christopher McCabe-Dansted, Mark Reynolds:
Fairness with EXPTIME Bundled CTL Tableau. TIME 2014: 164-173 - [c34]Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone:
Hourglass Automata. GandALF 2014: 175-188 - 2013
- [j20]Mark Alexander Reynolds:
A tableau for general linear temporal logic. J. Log. Comput. 23(5): 1057-1080 (2013) - [c33]Ji Bian, Tim French, Mark Reynolds:
An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence 2013: 289-300 - [c32]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA 2013: 50-68 - [c31]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Verifying Temporal Properties in Real Models. LPAR 2013: 309-323 - [c30]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Model Checking General Linear Temporal Logic. TABLEAUX 2013: 119-133 - [c29]Mark Reynolds:
A New Metric Temporal Logic for Hybrid Systems. TIME 2013: 73-80 - [c28]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
An Algebraic System of Temporal Structures. TIME 2013: 81-88 - [c27]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Complexity of Model Checking over General Linear Time. TIME 2013: 107-114 - [c26]Mark Reynolds:
A Faster Tableau for CTL. GandALF 2013: 50-63 - [i3]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
Specifying Robustness. CoRR abs/1309.4416 (2013) - 2012
- [j19]J. J. García Adeva, Mark Reynolds:
Web-based simulation of fruit fly to support biosecurity decision-making. Ecol. Informatics 9: 19-36 (2012) - [c25]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic 2012: 217-238 - [e6]Mark Reynolds, Bruce H. Thomas:
Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012. CRPIT 122, Australian Computer Society 2012, ISBN 978-1-921770-03-6 [contents] - [e5]Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani:
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2659-9 [contents] - [i2]Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings:
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. CoRR abs/1201.3416 (2012) - 2011
- [j18]Mark Reynolds:
A tableau-based decision procedure for CTL. Formal Aspects Comput. 23(6): 739-779 (2011) - [j17]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): 221-222 (2011) - [c24]Saeed Danesh, Wei Liu, Tim French, Mark Reynolds:
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174 - [c23]Mark Reynolds:
A Tableau for Until and Since over Linear Time. TIME 2011: 41-48 - [e4]Mark Reynolds:
Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011. CRPIT 113, Australian Computer Society 2011, ISBN 978-1-920682-93-4 [contents] - [e3]Dianhui Wang, Mark Reynolds:
AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings. Lecture Notes in Computer Science 7106, Springer 2011, ISBN 978-3-642-25831-2 [contents] - 2010
- [j16]Mark Reynolds:
The complexity of temporal logic over the reals. Ann. Pure Appl. Log. 161(8): 1063-1096 (2010) - [j15]Mark Reynolds:
Metric temporal reasoning with less than two clocks. J. Appl. Non Class. Logics 20(4): 437-455 (2010) - [c22]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83 - [c21]Nazri Kama, Tim French, Mark Reynolds:
Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22 - [c20]Nazri Kama, Tim French, Mark Reynolds:
Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111
2000 – 2009
- 2009
- [c19]