Mark Reynolds
Mark Reynolds
Professor of Computer Science, University of Western Australia
Email verificata su uwa.edu.au - Home page
Titolo
Citata da
Citata da
Anno
Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1.
D Gabbay, I Hodkinson, M Reynolds
Oxford University Press, 1994
860*1994
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2.
D Gabbay, M Reynolds, M Finger
Oxford University Press, 2000
859*2000
The imperative future
H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds
Research Studies Press, Somerset, 1996
175*1996
An axiomatization of full computation tree logic
M Reynolds
Journal of Symbolic Logic, 1011-1057, 2001
1742001
Online robust image alignment via iterative convex optimization
Y Wu, B Shen, H Ling
2012 IEEE Conference on Computer Vision and Pattern Recognition, 1808-1814, 2012
1412012
Ss-lstm: A hierarchical lstm model for pedestrian trajectory prediction
H Xue, DQ Huynh, M Reynolds
2018 IEEE Winter Conference on Applications of Computer Vision (WACV), 1186-1194, 2018
1362018
The complexity of temporal logic over the reals
M Reynolds
Annals of Pure and Applied Logic 161 (8), 1063-1096, 2010
76*2010
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
741999
The complexity of the temporal logic with “until” over general linear time
M Reynolds
Journal of Computer and System Sciences 66 (2), 393-426, 2003
732003
11 Temporal logic
I Hodkinson, M Reynolds
Studies in logic and practical reasoning 3, 655-720, 2007
662007
A decidable temporal logic of parallelism
M Reynolds
Notre Dame Journal of Formal Logic 38 (3), 419-436, 1997
661997
On the products of linear modal logics
M Reynolds, M Zakharyaschev
Journal of Logic and Computation 11 (6), 909-931, 2001
602001
An axiomatization of PCTL*
M Reynolds
Information and Computation 201 (1), 72-119, 2005
532005
An axiomatization for Until and Since over the reals without the IRR rule
M Reynolds
Studia Logica 51 (2), 165-193, 1992
451992
Products of idempotent linear transformations
MA Reynolds, RP Sullivan
Proceedings of the Royal Society of Edinburgh: Section A Mathematics 100 (1 …, 1985
441985
The mosaic method for temporal logics
M Marx, S Mikulás, M Reynolds
International Conference on Automated Reasoning with Analytic Tableaux and …, 2000
432000
Axioms for branching time
M Reynolds
Journal of Logic and Computation 12 (4), 679-697, 2002
422002
A tableau for CTL*
M Reynolds
International Symposium on Formal Methods, 403-418, 2009
302009
Separation-Past, Present, and Future.
IM Hodkinson, M Reynolds
We Will Show Them!(2), 117-142, 2005
302005
A sound and complete proof system for QPTL
T French, M Reynolds
Advances in Modal Logic 4, 127-148, 2003
302003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20