Mark Reynolds
发表
Tim French,
Andrew Gozzard,
Mark Reynolds,
2019,
PRICAI.
Du Q. Huynh,
Mark Reynolds,
Yuchao Sun,
2021,
IEEE Transactions on Intelligent Transportation Systems.
Deying Li,
Pan Hui,
Yuqing Zhu,
2019,
World Wide Web.
Rachel Cardell-Oliver,
Mark Reynolds,
Mark Kranz,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2010,
DEON.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
LPAR.
Szabolcs Mikulás,
Robin Hirsch,
Mark Reynolds,
1999
.
David S. Rosenblum,
Mark Reynolds,
Omar I. Al-Bataineh,
2019,
ACM Trans. Embed. Comput. Syst..
Dov M. Gabbay,
Marcelo Finger,
Mark Reynolds,
1994
.
Tim French,
Mark Reynolds,
Omar I. Al-Bataineh,
2017,
Theor. Comput. Sci..
Mark Reynolds,
John Christopher McCabe-Dansted,
M. Reynolds,
2017,
J. Appl. Log..
Timos Sellis,
Mark Reynolds,
Mohammed Eunus Ali,
2020,
ArXiv.
Mark Reynolds,
Lyndon While,
Wesley Cox,
2020,
IEEE transactions on visualization and computer graphics.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2007,
FroCoS.
Mark Reynolds,
Omar I. Al-Bataineh,
M. Reynolds,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2015,
Theor. Comput. Sci..
Tim French,
Mark Reynolds,
Omar I. Al-Bataineh,
2012,
ArXiv.
Tim French,
Mark Reynolds,
Omar I. Al-Bataineh,
2015,
Formal Aspects of Computing.
Mark Reynolds,
Hao Xue,
Du. Q. Huynh,
2020,
ICONIP.
Mark Reynolds,
John Christopher McCabe-Dansted,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Du Q. Huynh,
Mark Reynolds,
Hao Xue,
2019,
PRICAI.
Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints
pdf
Du Q. Huynh,
Mark Reynolds,
Hao Xue,
2020,
ArXiv.
Mark Reynolds,
Yong Cui,
Xiling Song,
2012,
Journal of pharmaceutical sciences.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2012,
Advances in Modal Logic.
Mark Reynolds,
Lauren M. Gee,
L. M. Gee,
2019,
PRICAI.
Mark Reynolds,
John Christopher McCabe-Dansted,
M. Reynolds,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
R. Lyndon While,
Tim French,
Mark Reynolds,
2019,
2019 IEEE Congress on Evolutionary Computation (CEC).
Du Q. Huynh,
Mark Reynolds,
Chenghuan Liu,
2020,
ECAI.
Mark Reynolds,
Andreas Wicenec,
Ryan W. Bunney,
2020,
SciPy.
Sophie Pinchinat,
Tim French,
Mark Reynolds,
2009,
2009 16th International Symposium on Temporal Representation and Reasoning.
David S. Rosenblum,
Mark Reynolds,
Omar I. Al-Bataineh,
2018,
SPIN.
R. Lyndon While,
Xin Wang,
Mark Reynolds,
2017,
Comput. Chem. Eng..
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
TABLEAUX.
Angelo Montanari,
Mark Reynolds,
Marta Cialdea Mayer,
2020,
Theor. Comput. Sci..
David S. Rosenblum,
Mark Reynolds,
Omar I. Al-Bataineh,
2019,
SPIN.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
ICLA.
Mark Reynolds,
John Christopher McCabe-Dansted,
2017,
GandALF.