Todd Wilson

According to our database, Todd Wilson authored at least 4 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Patient perspectives on engagement in decision-making in early management of non-ST elevation acute coronary syndrome: a qualitative study.

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

BMC Medical Informatics Decis. Mak., 2017

Computational higher-dimensional type theory.

Carlo Angiuli, Robert Harper, Todd Wilson

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Computational Higher Type Theory I: Abstract Cubical Realizability.

Carlo Angiuli, Robert Harper, Todd Wilson

CoRR, 2016

2011

Loss resilient strategy in body sensor networks.

Nick Read, Shih-Hsi Liu, Ming Li, Todd Wilson, Yu Cao, B. Prabhakaran

Proceedings of the 6th International Conference on Body Area Networks, 2011