Login / Signup
Todd Wilson
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 3
Top Topics
Arbitrary Dimension
Lower Dimensional
Distance Transform
Theoretical Basis
Top Venues
BMC Medical Informatics Decis. Mak.
CoRR
POPL
</>
Publications
</>
Todd Wilson
,
Jean Miller
,
Sylvia Teare
,
Colin Penman
,
Winnie Pearson
,
Nancy J. Marlett
,
Svetlana Shklarov
,
P. Diane Galbraith
,
Danielle A. Southern
,
Merril L. Knudtson
,
Colleen M. Norris
,
Matthew T. James
,
Stephen B. Wilton
Patient perspectives on engagement in decision-making in early management of non-ST elevation acute coronary syndrome: a qualitative study.
BMC Medical Informatics Decis. Mak.
17 (1) (2017)
Carlo Angiuli
,
Robert Harper
,
Todd Wilson
Computational higher-dimensional type theory.
POPL
(2017)
Carlo Angiuli
,
Robert Harper
,
Todd Wilson
Computational Higher Type Theory I: Abstract Cubical Realizability.
CoRR
(2016)
Nick Read
,
Shih-Hsi Liu
,
Ming Li
,
Todd Wilson
,
Yu Cao
,
B. Prabhakaran
Loss resilient strategy in body sensor networks.
BODYNETS
(2011)