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]Mark Reynolds:
A Tableau for CTL. FM 2009: 403-418 - [c18]Mark Reynolds:
Dense Time Reasoning via Mosaics. TIME 2009: 3-10 - [c17]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
On the Expressivity of RoCTL*. TIME 2009: 37-44 - [c16]Szabolcs Mikulás, Mark Reynolds, Tim French:
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87 - [e2]Bernard Mans, Mark Reynolds:
Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings. CRPIT 102, Australian Computer Society 2009, ISBN 978-1-920682-83-5 [contents] - 2008
- [c15]Majigsuren Enkhsaikhan, Wei Liu, Mark Reynolds:
Geographical and Temporal Visualisation of Social Relationships. PACIS 2008: 243 - 2007
- [j14]Mark Reynolds:
A Tableau for Bundled CTL. J. Log. Comput. 17(1): 117-132 (2007) - [c14]Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501 - [c13]Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds:
Measuring Data-Driven Ontology Changes using Text Mining. AusDM 2007: 39-46 - [c12]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A Temporal Logic of Robustness. FroCoS 2007: 193-205 - [p1]Ian M. Hodkinson, Mark Reynolds:
Temporal logic. Handbook of Modal Logic 2007: 655-720 - 2006
- [j13]Mark Reynolds, Abdul Sattar:
Editors' introduction. J. Appl. Log. 4(2): 117-118 (2006) - [c11]Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78 - [c10]Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz:
A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289 - 2005
- [j12]Mark Reynolds:
An axiomatization of PCTL*. Inf. Comput. 201(1): 72-119 (2005) - [c9]Ian M. Hodkinson, Mark Reynolds:
Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142 - [c8]Mark Reynolds:
Towards a CTL* Tableau. FSTTCS 2005: 384-395 - [e1]Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004. King's College Publications 2005, ISBN 1-904987-22-2 [contents] - [r1]Mark Reynolds, Clare Dixon:
Theorem-Proving for Discrete Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 279-313 - 2004
- [c7]Tim French, Ron van der Meyden, Mark Reynolds:
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72 - 2003
- [j11]Mark Reynolds:
The complexity of the temporal logic with "until" over general linear time. J. Comput. Syst. Sci. 66(2): 393-426 (2003) - 2002
- [j10]Mark Reynolds:
Axioms for Branching Time. J. Log. Comput. 12(4): 679-697 (2002) - [c6]Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148 - 2001
- [j9]Mark Reynolds:
An Axiomatization of Full Computation Tree Logic. J. Symb. Log. 66(3): 1011-1057 (2001) - [j8]Mark Reynolds, Michael Zakharyaschev:
On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001) - [c5]Mark Reynolds:
Continuous Temporal Models. Australian Joint Conference on Artificial Intelligence 2001: 414-425 - 2000
- [c4]Mark Reynolds:
More Past Glories. LICS 2000: 229-240 - [c3]Maarten Marx, Szabolcs Mikulás, Mark Reynolds:
The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
1990 – 1999
- 1999
- [j7]Alberto Zanardo, Bruno Barcellan, Mark Reynolds:
Non-Definability of the Class of Complete Bundled Trees. Log. J. IGPL 7(1): 125-136 (1999) - [j6]Maarten Marx, Mark Reynolds:
Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999) - [i1]Mark Reynolds:
The Complexity of Temporal Logic over the Reals. CoRR cs.LO/9910012 (1999) - 1997
- [j5]Mark Reynolds:
A Decidable Temporal Logic of Parallelism. Notre Dame J. Formal Log. 38(3): 419-436 (1997) - 1996
- [j4]Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4(2): 255-272 (1996) - [j3]Mark Reynolds:
Axiomatising first-order temporal logic: until and since over linear time. Stud Logica 57(2/3): 279-302 (1996) - 1994
- [j2]Mark Reynolds:
Axiomatisation and decidability ofF andP in cyclical time. J. Philos. Log. 23(2): 197-224 (1994) - [c2]Mark Reynolds:
Axiomatizing U and S over Integer Time. ICTL 1994: 117-132 - 1993
- [c1]Mark Reynolds:
Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics 1993: 118-143 - 1992
- [j1]Mark Reynolds:
An Axiomatization for Until and Since over the Reals without the IRR Rule. Stud Logica 51(2): 165-193 (1992)
1980 – 1989
- 1988
- [b1]Mark Reynolds:
The expressive power of query languages based on logic programming. Imperial College London, UK, 1988
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
