Mark Reynolds - RankMe

160 papers A* 6A 5B 14C 19Misc 6Journal 61Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	DocSpiral: A Platform for Integrated Assistive Document Annotation through Human-in-the-Spiral. ACL (3) Qiang Sun, Sirui Li, Tingting Bi, Du Q. Huynh, Mark Reynolds, Yuanyi Luo, Wei Liu
2025	J	`jnl`	DocSpiral: A Platform for Integrated Assistive Document Annotation through Human-in-the-Spiral. CoRR Qiang Sun, Sirui Li, Tingting Bi, Du Huynh, Mark Reynolds, Yuanyi Luo, Wei Liu
2025	J	`jnl`	Maritime object classification with SAR imagery using quantum kernel methods. CoRR John Tanner, Nicholas Davies, Pascal Elahi, Casey R. Myers, Du Huynh, Wei Liu, Mark Reynolds, Jingbo Wang
2025	—	`conf`	TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs. WWW (Companion Volume) Qiang Sun, Sirui Li, Du Huynh, Mark Reynolds, Wei Liu
2025	J	`jnl`	TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs. CoRR Qiang Sun, Sirui Li, Du Huynh, Mark Reynolds, Wei Liu
2024	—	`conf`	Are Graph Embeddings the Panacea? - An Empirical Survey from the Data Fitness Perspective. PAKDD (2) Qiang Sun, Du Q. Huynh, Mark Reynolds, Wei Liu
2024	Misc	`conf`	Identifying Individual Anchoring Regions by Mining Public Transport Smart Card Data. AusDM Megan Born, Mark Reynolds, Rachel Cardell-Oliver
2024	—	`conf`	Tomo-NeRL: tomographic neural representation learning for implicit CT image reconstruction. BIBM Xiaoqin Tang, Boheng Tan, Yuanhao Guo, Xianping Yu, Jake Kendrick, Mark Reynolds
2023	J	`jnl`	Developing machine learning systems worthy of trust for infection science: a requirement for future implementation into clinical practice. Frontiers Digit. Health Benjamin R. McFadden, Mark Reynolds, Timothy J. J. Inglis
2023	J	`jnl`	Top-k Socio-Spatial Co-Engaged Location Selection for Social Users. IEEE Trans. Knowl. Data Eng. Nur Al Hasan Haldar, Jianxin Li, Mohammed Eunus Ali, Taotao Cai, Yunliang Chen, Timos Sellis, Mark Reynolds
2022	J	`jnl`	A Visual Data Storytelling Framework. Informatics Yangjinbo Zhang, Mark Reynolds, Artur Lugmayr, Katarina Damjanov, Ghulam Mubashar Hassan
2022	B	`conf`	Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While
2022	J	`jnl`	Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches. Swarm Evol. Comput. Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
2022	Misc	`conf`	Graph Embeddings for Non-IID Data Feature Representation Learning. AusDM Qiang Sun, Wei Liu, Du Huynh, Mark Reynolds
2021	C	`ed.`	28th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021 TIME Carlo Combi, Johann Eder, Mark Reynolds
2021	J	`jnl`	A Review of Methods to Compute Minkowski Operations for Geometric Overlap Detection. IEEE Trans. Vis. Comput. Graph. Wesley Cox, Lyndon While, Mark Reynolds
2021	J	`jnl`	A Vision-Based Pipeline for Vehicle Counting, Speed Estimation, and Classification. IEEE Trans. Intell. Transp. Syst. Chenghuan Liu, Du Q. Huynh, Yuchao Sun, Mark Reynolds, Steve Atkinson
2021	A	`conf`	A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
2021	J	`jnl`	Activity location inference of users based on social relationship. World Wide Web Nur Al Hasan Haldar, Mark Reynolds, Quanxi Shao, Cécile Paris, Jianxin Li, Yunliang Chen
2021	J	`jnl`	One-pass and tree-shaped tableau systems for TPTL and TPTL Inf. Comput. Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2021	J	`jnl`	PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering. IEEE Trans. Neural Networks Learn. Syst. Hao Xue, Du Q. Huynh, Mark Reynolds
2020	J	`jnl`	A Location-Velocity-Temporal Attention LSTM Model for Pedestrian Trajectory Prediction. IEEE Access Hao Xue, Du Q. Huynh, Mark Reynolds
2020	J	`jnl`	A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC. J. Comput. High. Educ. David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
2020	A	`conf`	Maximum Entropy Reinforced Single Object Visual Tracking. ECAI Chenghuan Liu, Du Q. Huynh, Mark Reynolds
2020	J	`jnl`	On timeline-based games and their complexity. Theor. Comput. Sci. Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
2020	—	`conf`	SHADOW: A workflow scheduling algorithm reference and testing framework. SciPy Ryan W. Bunney, Andreas Wicenec, Mark Reynolds
2020	J	`jnl`	Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints. CoRR Hao Xue, Du Q. Huynh, Mark Reynolds
2020	—	`conf`	Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. ICONIP (1) Hao Xue, Du Q. Huynh, Mark Reynolds
2020	J	`jnl`	Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. CoRR Hao Xue, Du Q. Huynh, Mark Reynolds
2020	J	`jnl`	Top-k Socio-Spatial Co-engaged Location Selection for Social Users. CoRR Nur Al Hasan Haldar, Jianxin Li, Mohammed Eunus Ali, Taotao Cai, Timos Sellis, Mark Reynolds
2020	J	`jnl`	Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines. IEEE Trans. Cybern. Chenghuan Liu, Du Q. Huynh, Mark Reynolds
2019	—	`conf`	A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA Tim French, Andrew Gozzard, Mark Reynolds
2019	—	`conf`	A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. SPIN Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2019	J	`jnl`	A Quest for a One-Size-Fits-All Neural Network: Early Prediction of Students at Risk in Online Courses. IEEE Trans. Learn. Technol. David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
2019	—	`conf`	Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) Tim French, Andrew Gozzard, Mark Reynolds
2019	—	`conf`	Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication. PRICAI (2) Lauren M. Gee, Mark Reynolds
2019	A	`conf`	Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS Tim French, Andrew Gozzard, Mark Reynolds
2019	J	`jnl`	Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ACM Trans. Embed. Comput. Syst. Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2019	A*	`conf`	Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification. AAAI Christopher Bartley, Wei Liu, Mark Reynolds
2019	—	`conf`	Epistemic model checking of distributed commit protocols with byzantine faults. FormaliSE@ICSE Omar I. Al-Bataineh, Mark Reynolds
2019	J	`jnl`	Evidence-driven dubious decision making in online shopping. World Wide Web Qiao Tian, Jianxin Li, Lu Chen, Ke Deng, Rong-Hua Li, Mark Reynolds, Chengfei Liu
2019	B	`conf`	Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. CEC Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While
2019	J	`jnl`	Location prediction in large-scale social networks: an in-depth benchmarking study. VLDB J. Nur Al Hasan Haldar, Jianxin Li, Mark Reynolds, Timos Sellis, Jeffrey Xu Yu
2019	A	`conf`	Location-Velocity Attention for Pedestrian Trajectory Prediction. WACV Hao Xue, Du Huynh, Mark Reynolds
2019	Misc	`ed.`	OZCHI'19: 31st Australian Conference on Human-Computer-Interaction, Fremantle, WA, Australia, December, 2-5, 2019 OZCHI Artur Lugmayr, Martin Masek, Mark Reynolds, Margot Brereton
2019	—	`conf`	Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles. VTC Spring Hao Xue, Du Q. Huynh, Mark Reynolds
2019	—	`conf`	Pedestrian Trajectory Prediction Using a Social Pyramid. PRICAI (2) Hao Xue, Du Q. Huynh, Mark Reynolds
2019	C	`conf`	Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME Andrea Brunello, Angelo Montanari, Mark Reynolds
2019	B	`conf`	Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking. IJCNN Chenghuan Liu, Du Q. Huynh, Mark Reynolds
2019	A*	`conf`	When Geo-Text Meets Security: Privacy-Preserving Boolean Spatial Keyword Queries. ICDE Ningning Cui, Jianxin Li, Xiaochun Yang, Bin Wang, Mark Reynolds, Yong Xiang
2018	—	`conf`	A Comparative Study of Decision Diagrams for Real-Time Model Checking. SPIN Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum
2018	—	`conf`	A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence Wesley Cox, Tim French, Mark Reynolds, Lyndon While
2018	C	`conf`	A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018	A*	`conf`	A Novel Framework for Constructing Partially Monotone Rule Ensembles. ICDE Christopher Bartley, Wei Liu, Mark Reynolds
2018	J	`jnl`	A game-theoretic approach to timeline-based planning with uncertainty. CoRR Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018	J	`jnl`	A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR Tim French, Andrew Gozzard, Mark Reynolds
2018	C	`conf`	A supervised learning framework for learning management systems. DATA David Monllaó Olivé, Du Q. Huynh, Mark Reynolds, Martin Dougiamas, Damyon Wiese
2018	J	`jnl`	Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. CoRR Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2018	—	`conf`	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. GCAI Ghulam Mubashar Hassan, Mark Reynolds
2018	—	`conf`	One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2018	C	`conf`	Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME Lewis Tolonen, Tim French, Mark Reynolds
2018	A	`conf`	SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction. WACV Hao Xue, Du Q. Huynh, Mark Reynolds
2018	J	`jnl`	The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. J. Symb. Log. Robin Hirsch, Mark Reynolds
2017	—	`conf`	A Genetic Algorithm for Truck Dispatching in Mining. GCAI Wesley Cox, Tim French, Mark Reynolds, Lyndon While
2017	B	`conf`	A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR Nicola Gigante, Angelo Montanari, Mark Reynolds
2017	—	`conf`	A Parallel Linear Temporal Logic Tableau. GandALF John Christopher McCabe-Dansted, Mark Reynolds
2017	Misc	`conf`	Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification. DICTA Hao Xue, Du Q. Huynh, Mark Reynolds
2017	J	`jnl`	Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization. Comput. Chem. Eng. Kunjie Yu, Lyndon While, Mark Reynolds, Xin Wang, Zhenlei Wang
2017	—	`conf`	Economic feasibility of stand-alone power systems for existing distribution networks in rural areas. ISGT Asia James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
2017	J	`jnl`	Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. Omar I. Al-Bataineh, Mark Reynolds, Tim French
2017	Misc	`conf`	Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking. DICTA Chenghuan Liu, Du Q. Huynh, Mark Reynolds
2017	—	`conf`	Review of clustering algorithms for microgrid formation. ISGT Asia D. M. Li Kwok Cheong, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, James R. E. Fletcher
2017	J	`jnl`	Rewrite rules for CTL. J. Appl. Log. John Christopher McCabe-Dansted, Mark Reynolds
2017	J	`jnl`	To be fair, use bundles. Ann. Math. Artif. Intell. John Christopher McCabe-Dansted, Mark Reynolds
2017	—	`conf`	Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI Callan Bright, Lyndon While, Tim French, Mark Reynolds
2017	—	`conf`	Variable length encoded genetic algorithm for optimal electrical distribution network routing. SSCI James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
2016	—	`conf`	A New Rule for LTL Tableaux. GandALF Mark Reynolds
2016	J	`jnl`	A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2016	J	`jnl`	A traditional tree-style tableau for LTL. CoRR Mark Reynolds
2016	C	`conf`	Effective Monotone Knowledge Integration in Kernel Support Vector Machines. ADMA Christopher Bartley, Wei Liu, Mark Reynolds
2016	J	`jnl`	Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR Omar I. Al-Bataineh, Mark Reynolds, Tim French
2016	A*	`conf`	Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
2016	J	`jnl`	Metric temporal logic revisited. Acta Informatica Mark Reynolds
2016	C	`conf`	Modelling Systems over General Linear Time. TIME John Christopher McCabe-Dansted, Mark Reynolds, Tim French
2016	J	`jnl`	Termination of Monotone Programs. CoRR Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds
2015	B	`conf`	A Tableau for Bundled Strategies. TABLEAUX John Christopher McCabe-Dansted, Mark Reynolds
2015	—	`conf`	A case study on optimizing an electrical distribution network using a genetic algorithm. ISIE James R. E. Fletcher, Tyrone Fernando, Herbert H. C. Iu, Mark Reynolds, Shervin Fani
2015	J	`jnl`	Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. Omar I. Al-Bataineh, Mark Reynolds, Tim French
2015	J	`jnl`	Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds
2015	—	`conf`	Hourglass Systems. ACSC Yuki Osada, Mark Reynolds, Tim French
2015	J	`jnl`	Synthesis for continuous time. Theor. Comput. Sci. Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2014	B	`conf`	A Tableau for Temporal Logic over the Reals. Advances in Modal Logic Mark Reynolds
2014	C	`conf`	Fairness with EXPTIME Bundled CTL Tableau. TIME John Christopher McCabe-Dansted, Mark Reynolds
2014	—	`conf`	Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS Omar I. Al-Bataineh, Mark Reynolds, Tim French
2014	—	`conf`	Hourglass Automata. GandALF Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone
2014	C	`conf`	Verification of Rewrite Rules for Computation Tree Logics. TIME John Christopher McCabe-Dansted, Mark Reynolds
2013	—	`conf`	A Faster Tableau for CTL. GandALF Mark Reynolds
2013	C	`conf`	A New Metric Temporal Logic for Hybrid Systems. TIME Mark Reynolds
2013	C	`conf`	An Algebraic System of Temporal Structures. TIME Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	—	`conf`	An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence Ji Bian, Tim French, Mark Reynolds
2013	C	`conf`	Complexity of Model Checking over General Linear Time. TIME Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	—	`conf`	Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	B	`conf`	Model Checking General Linear Temporal Logic. TABLEAUX Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2013	J	`jnl`	Specifying Robustness. CoRR John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
2013	B	`conf`	Verifying Temporal Properties in Real Models. LPAR Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2012	C	`ed.`	19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 TIME Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani
2012	B	`conf`	Synthesis for Temporal Logic over the Reals. Advances in Modal Logic Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2012	—	`ed.`	Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012 ACSC Mark Reynolds, Bruce H. Thomas
2012	J	`jnl`	Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
2012	J	`jnl`	Web-based simulation of fruit fly to support biosecurity decision-making. Ecol. Informatics J. J. García Adeva, Mark Reynolds
2011	C	`conf`	A Tableau for Until and Since over Linear Time. TIME Mark Reynolds
2011	J	`jnl`	A tableau-based decision procedure for CTL. Formal Aspects Comput. Mark Reynolds
2011	—	`ed.`	AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings Australasian Conference on Artificial Intelligence Dianhui Wang, Mark Reynolds
2011	—	`conf`	An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) Saeed Danesh, Wei Liu, Tim French, Mark Reynolds
2011	J	`jnl`	Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
2011	—	`ed.`	Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011 ACSC Mark Reynolds
2010	—	`conf`	Axioms for Obligation and Robustness with Temporal Logic. DEON Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2010	—	`conf`	Considering Patterns in Class Interactions Prediction. FGIT-ASEA Nazri Kama, Tim French, Mark Reynolds
2010	C	`conf`	Impact Analysis using Class Interaction Prediction Approach. SoMeT Nazri Kama, Tim French, Mark Reynolds
2010	J	`jnl`	Metric temporal reasoning with less than two clocks. J. Appl. Non Class. Logics Mark Reynolds
2010	J	`jnl`	The complexity of temporal logic over the reals. Ann. Pure Appl. Log. Mark Reynolds
2009	B	`conf`	A Tableau for CTL. FM Mark Reynolds
2009	C	`conf`	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME Szabolcs Mikulás, Mark Reynolds, Tim French
2009	—	`ed.`	Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings ACSC Bernard Mans, Mark Reynolds
2009	C	`conf`	Dense Time Reasoning via Mosaics. TIME Mark Reynolds
2009	C	`conf`	On the Expressivity of RoCTL*. TIME John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
2008	—	`conf`	Geographical and Temporal Visualisation of Social Relationships. PACIS Majigsuren Enkhsaikhan, Wei Liu, Mark Reynolds
2007	A*	`conf`	A Modal Logic for Beliefs and Pro Attitudes. AAAI Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
2007	J	`jnl`	A Tableau for Bundled CTL. J. Log. Comput. Mark Reynolds
2007	—	`conf`	A Temporal Logic of Robustness. FroCoS Tim French, John Christopher McCabe-Dansted, Mark Reynolds
2007	Misc	`conf`	Measuring Data-Driven Ontology Changes using Text Mining. AusDM Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds
2007	—	`ch.`	Temporal logic. Handbook of Modal Logic Ian M. Hodkinson, Mark Reynolds
2006	C	`conf`	A Space and Time Requirements Logic for Sensor Networks. ISoLA Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz
2006	J	`jnl`	Editors' introduction. J. Appl. Log. Mark Reynolds, Abdul Sattar
2006	—	`conf`	Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
2005	B	`ed.`	Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004 Advances in Modal Logic Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing
2005	J	`jnl`	An axiomatization of PCTL*. Inf. Comput. Mark Reynolds
2005	—	`conf`	Separation - Past, Present, and Future. We Will Show Them! (2) Ian M. Hodkinson, Mark Reynolds
2005	—	`ch.`	Theorem-Proving for Discrete Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence Mark Reynolds, Clare Dixon
2005	—	`conf`	Towards a CTL* Tableau. FSTTCS Mark Reynolds
2004	B	`conf`	Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic Tim French, Ron van der Meyden, Mark Reynolds
2003	J	`jnl`	The complexity of the temporal logic with "until" over general linear time. J. Comput. Syst. Sci. Mark Reynolds
2002	B	`conf`	A Sound and Complete Proof System for QPTL. Advances in Modal Logic Tim French, Mark Reynolds
2002	J	`jnl`	Axioms for Branching Time. J. Log. Comput. Mark Reynolds
2001	J	`jnl`	An Axiomatization of Full Computation Tree Logic. J. Symb. Log. Mark Reynolds
2001	—	`conf`	Continuous Temporal Models. Australian Joint Conference on Artificial Intelligence Mark Reynolds
2001	J	`jnl`	On the Products of Linear Modal Logics. J. Log. Comput. Mark Reynolds, Michael Zakharyaschev
2000	A*	`conf`	More Past Glories. LICS Mark Reynolds
2000	B	`conf`	The Mosaic Method for Temporal Logics. TABLEAUX Maarten Marx, Szabolcs Mikulás, Mark Reynolds
1999	J	`jnl`	Non-Definability of the Class of Complete Bundled Trees. Log. J. IGPL Alberto Zanardo, Bruno Barcellan, Mark Reynolds
1999	J	`jnl`	The Complexity of Temporal Logic over the Reals CoRR Mark Reynolds
1999	J	`jnl`	Undecidability of Compass Logic. J. Log. Comput. Maarten Marx, Mark Reynolds
1997	J	`jnl`	A Decidable Temporal Logic of Parallelism. Notre Dame J. Formal Log. Mark Reynolds
1996	J	`jnl`	Axiomatising first-order temporal logic: until and since over linear time. Stud Logica Mark Reynolds
1996	J	`jnl`	Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1994	J	`jnl`	Axiomatisation and decidability of J. Philos. Log. Mark Reynolds
1994	—	`conf`	Axiomatizing ICTL Mark Reynolds
1993	—	`conf`	Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics Mark Reynolds
1992	J	`jnl`	An Axiomatization for Until and Since over the Reals without the IRR Rule. Stud Logica Mark Reynolds
1988	—	`—`	The expressive power of query languages based on logic programming. Mark Reynolds