Mark Reynolds
According to our database^{1},
Mark Reynolds
authored at least 125 papers
between 1988 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
World Wide Web, 2021
A Review of Methods to Compute Minkowski Operations for Geometric Overlap Detection.
IEEE Trans. Vis. Comput. Graph., 2021
PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering.
IEEE Trans. Neural Networks Learn. Syst., 2021
Inf. Comput., 2021
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
2020
Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines.
IEEE Trans. Cybern., 2020
Theor. Comput. Sci., 2020
A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC.
J. Comput. High. Educ., 2020
Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints.
CoRR, 2020
CoRR, 2020
A LocationVelocityTemporal Attention LSTM Model for Pedestrian Trajectory Prediction.
IEEE Access, 2020
Proceedings of the Neural Information Processing  27th International Conference, 2020
Proceedings of the ECAI 2020  24th European Conference on Artificial Intelligence, 29 August8 September 2020, Santiago de Compostela, Spain, August 29  September 8, 2020, 2020
2019
World Wide Web, 2019
Location prediction in largescale social networks: an indepth benchmarking study.
VLDB J., 2019
A Quest for a OneSizeFitsAll Neural Network: Early Prediction of Students at Risk in Online Courses.
IEEE Trans. Learn. Technol., 2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2019
Proceedings of the 89th IEEE Vehicular Technology Conference, 2019
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the Model Checking Software  26th International Symposium, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Urban Area Vehicle ReIdentification With SelfAttention Stair Feature Fusion and Temporal Bayesian ReRanking.
Proceedings of the International Joint Conference on Neural Networks, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Proceedings of the Logic and Its Applications  8th Indian Conference, 2019
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
2018
J. Symb. Log., 2018
CoRR, 2018
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.
CoRR, 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the Model Checking Software  25th International Symposium, 2018
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018
2017
Finding minimum and maximum termination time of timed automata models with cyclic behaviour.
Theor. Comput. Sci., 2017
J. Appl. Log., 2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Cyclic scheduling for an ethylene cracking furnace system using diversity learning teachinglearningbased optimization.
Comput. Chem. Eng., 2017
Ann. Math. Artif. Intell., 2017
Variable length encoded genetic algorithm for optimal electrical distribution network routing.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017
Proceedings of the LPAR21, 2017
Proceedings of the GCAI 2017, 2017
BiPrediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification.
Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 2017
Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking.
Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 2017
2016
J. Log. Comput., 2016
Proceedings of the Seventh International Symposium on Games, 2016
CoRR, 2016
CoRR, 2016
Acta Informatica, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Leviathan: A New LTL Satisfiability Checking Tool Based on a OnePass TreeShaped Tableau.
Proceedings of the TwentyFifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Advanced Data Mining and Applications  12th International Conference, 2016
2015
Theor. Comput. Sci., 2015
J. Appl. Non Class. Logics, 2015
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.
Formal Aspects Comput., 2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
A case study on optimizing an electrical distribution network using a genetic algorithm.
Proceedings of the 24th IEEE International Symposium on Industrial Electronics, 2015
Proceedings of the 38th Australasian Computer Science Conference, 2015
2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Finding Best and Worst Case Execution Times of Systems Using DifferenceBound Matrices.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
Proceedings of the Advances in Modal Logic 10, 2014
2013
J. Log. Comput., 2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
CoRR, 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013
2012
Ecol. Informatics, 2012
CoRR, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
J. Appl. Log., 2011
Formal Aspects Comput., 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Advanced Data Mining and Applications  7th International Conference, 2011
2010
J. Appl. Non Class. Logics, 2010
Ann. Pure Appl. Log., 2010
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010
Proceedings of the Advances in Software Engineering, 2010
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010
2009
Proceedings of the TIME 2009, 2009
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.
Proceedings of the TIME 2009, 2009
Proceedings of the TIME 2009, 2009
Proceedings of the FM 2009: Formal Methods, 2009
2008
Proceedings of the Pacific Asia Conference on Information Systems, 2008
2007
J. Log. Comput., 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
Proceedings of the Data Mining and Analytics 2007, 2007
Proceedings of the Handbook of Modal Logic., 2007
2006
J. Appl. Log., 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
2005
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005
Inf. Comput., 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
2004
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.
Proceedings of the Advances in Modal Logic 5, 2004
2003
J. Comput. Syst. Sci., 2003
2002
J. Log. Comput., 2002
A Sound and Complete Proof System for QPTL.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
2001
J. Log. Comput., 2001
J. Symb. Log., 2001
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001
2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
1999
J. Log. Comput., 1999
Log. J. IGPL, 1999
1997
Notre Dame J. Formal Log., 1997
1996
Stud Logica, 1996
1994
J. Philos. Log., 1994
Proceedings of the Temporal Logic, First International Conference, 1994
1993
Proceedings of the Executable Modal and Temporal Logics, 1993
1992
Stud Logica, 1992
1988
PhD thesis, 1988