David Clark

640

Citations

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

Fingerprint

Dive into the research topics where David Clark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

13 Conference paper
11 Article
1 Working paper

Determinants of recovery from post-COVID-19 dyspnoea: analysis of UK prospective cohorts of hospitalised COVID-19 patients and community-based controls
PHOSP-COVID Study Collaborative Group, Pfeffer, P. E., Abel, K., Ahmad, S., Ahmed, R., Ali, M., Allen, R. J., Almeida, P., Anderson, D., Armstrong, L., Armstrong, N., Ashworth, M., Ayoub, A., Baggott, R., Bailey, L., Baldwin, D., Ballard, C., Banerjee, A., Bates, A. & Begum, M. & 276 others, Bell, D., Bell, R., Berry, C., Bhui, K., Bramham, K., Breen, G., Brookes, C., Broome, M., Brown, A., Brown, J., Brown, J., Brown, M., Burns, A., Butt, A., Byrne, S., Carson, G., Carter, P., Chalder, T., Chambers, R. C., Chan, F., Chen, J., Cheng, Y., Chiribiri, A., Choudhury, N., Chowienczyk, P., Clark, D., Clark, C., Clarke, J., Cole, J., Coleman, C., Connolly, B., Connor, L., Cook, A., Cooper, B., Cooper, J., Cooper, S., Craig, T., Cross, A., David, A., Davies, E., Davies, G. A., Davies, G. A., Davies, K., Davies, M. J., Dawson, J., Donaldson, A., Dong, T., Dougherty, A., Dowling, R., drury, H. J. C., Dunn, S., Edwards, S., Elliott, A., Elliott, K., Evans, D., Evans, H., Evans, J., Evans, R., Evans, R., Evans, R., Evans, T., Finch, J., Fisher, H., Flynn, M., Ford, A., Francis, R., Fu, X., Gill, M., Goodwin, C., Gooptu, B., Gregory, H., Gregory, R., Grieve, D., Griffiths, L., Gupta, A., Hall, L., Harris, E., Harris, V. C., Harrison, P., Hart, N., Harvey, A., Harvey, M., Hayday, A., Henderson, M., Ho, L. P., Holden, S., Holland, M., Holmes, M., Hosseini, A., Hotopf, M., Howard, L. S., Hughes, A. D., Hughes, J., Hughes, R., Husain, M., Ismail, K., Jackson, T., Jacob, J., James, W. Y., Jenkins, R. G., Johnson, C., Johnson, S., Jolley, C. J., Jones, D., Jones, G., Jones, H., Jones, I., Jones, L., Jones, M. G., Jones, S., Jose, S., Kaltsakas, G., Kelly, S., Kerr, S., Khan, F., King, B., Knight, S., Kon, S., Kon, S., Laing, C., Lasserson, D., Lawson, C., Lee, D., Lee, J. H., Lewis, D., Lewis, J., Li, X., Lim, L., Lloyd, A., Lord, J. M., Major, E., Malim, M., D-C. Man, W., Mandal, S., Mangion, K., Marks, M., Marsh, S., Marshall, B., Marshall, M., Martin, J., Martinez, L. M., McMahon, M. J., Mehta, P., Miller, C., Mills, C., Mitchell, J., Mohamed, A., Mohammed, S., Morley, A., Morrow, A., Moss, A. J., Moss, P., Neal, A., Newby, D. E., Newman, J., Nicholson, T., O'Brien, C., Ostermann, M., Owen, J., Pariante, C., Parker, S., Patel, B., Patel, M., Patel, S., Payne, S., Pearce, L., Peng, Y., Pennington, C., Plant, H., Plein, S., Porter, J., Porter, J., Powell, N., Pratt, J., Price, A., Price, C., Price, D., Prickett, A., Quigley, J., Qureshi, I. N., Rahman, N. M., Reddy, A., Rees, M., Rees, T., Reynolds, W., Richards, A., Richardson, E., Richardson, M., Roberts, K., Robertson, E., Robinson, E., Robinson, L., Rodger, J., Ross, A., Rowe, A., Rowland, A., Rowland, J., Russell, R., Sage, E. K., Saunders, K., Saunders, R. M., Saunders, P., Scott, J. T., Shah, A., Shah, K., Shah, P., Shankar-Hari, M., Sharma, M., Sharpe, C., Shaw, A., Shaw, K., Simpson, J., Singh, C., Singh, S., Singh, S., Smith, A., Smith, D., Smith, S., Smith, J., Smith, L., Spencer, L. G., Stephenson, L., Stewart, I., Stockdale, S., Stone, R., Tan, A. L., Taylor, A., Taylor, C., Taylor, J., Terry, S., Thomas, C., Thomas, D. C., Thomas, S., Thomas, A. K., Thompson, T., Thompson, A. A. R., Tilley, J., Tomlinson, J., Turner, S., Turner, K., Wade, P., Wainwright, T., Walker, S., Walsh, J. A., Walsh, S., Ward, T. J. C., Watson, E., Watson, L., Watson, J., McCall, J. W., Welch, C., Wessely, S., West, S., White, S., Whitney, J., Whittaker, S., Wild, J., Williams, B., Williams, N., Williams, J., Willoughby, J., Wilson, A., Wilson, D., Wilson, I., Wood, C., Woods, J., Wright, C., Wright, L., Wright, S., Xu, M., Yip, K. P., Young, B., Young, S., Young, A., Zhao, B. & Zheng, B., Jun 2023, In: The Lancet Regional Health - Europe. 29, 100635.
Research output: Contribution to journal › Article › peer-review

Open Access
14 Citations (Scopus)
Dynamic Output State Classification for Quantum Computers
Menendez, H. D., Bello, L. & Clark, D., 2023, (Accepted/In press) 4th International Workshop on Quantum Software Engineering (Q-SE 2023) at the International Conference of Software Engineering (ICSE) 2023.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
156 Downloads (Pure)
Effects of sleep disturbance on dyspnoea and impaired lung function following hospital admission due to COVID-19 in the UK: a prospective multicentre cohort study
PHOSP-COVID Study Collaborative Group, Chalder, T., Jolley, C. J., Shah, A. M., Man, W. D. C., Jackson, C., Stewart, I. D., Cunningham, P. S., Chalder, T., Harris, V. C., Ho, L. P., Howard, L. S., Jolley, C. J., Jones, M. G., Marks, M., Patel, B., Richardson, M., Rowlands, A. V., Saunders, R. M. & Scott, J. T. & 273 others, Shah, A. M., Singh, S. J., Man, W. D. C., Porter, J. C., Thompson, R., Evans, R., Jones, S. E., Rutter, M. K., Abel, K., Ahmad, S., Ahmed, R., Ali, M., Allen, R. J., Anderson, D., Armstrong, L., Armstrong, N., Ashworth, M., Ayoub, A., Baggott, R., Bailey, L., Baldwin, D., Ballard, C., Banerjee, A., Bates, A., Begum, M., Bell, D., Bell, R., Berry, C., Bhui, K., Bramham, K., Breen, G., Brookes, C., Broome, M., Brown, A., Brown, J., Brown, J., Brown, M., Burns, A., Butt, A., Byrne, S., Carson, G., Carter, P., Chambers, R. C., Chan, F., Chen, J., Cheng, Y., Chiribiri, A., Choudhury, N., Chowienczyk, P., Clark, D., Clark, C., Clarke, J., Cole, J., Connolly, B., Connor, L., Cook, A., Cooper, B., Cooper, J., Cooper, S., Craig, T., David, A., Davies, E., Davies, G., Davies, G., Davies, K., Davies, M. J., Dawson, J., Donaldson, A., Dong, T., Dougherty, A., Dowling, R., Dunn, S., Edwards, S., Elliott, A., Elliott, K., Evans, D., Evans, H., Evans, J., Evans, R., Evans, R., Evans, T., Finch, J., Fisher, H., Flynn, M., Ford, A., Francis, R., Gill, M., Goodwin, C., Gooptu, B., Gregory, H., Gregory, R., Grieve, D., Griffiths, L., Gupta, A., Hall, L., Harris, E., Harrison, P., Hart, N., Harvey, A., Harvey, M., Hayday, A., Henderson, M., Holden, S., Holland, M., Holmes, M., Hosseini, A., Hotopf, M., Hughes, A. D., Hughes, J., Hughes, R., Husain, M., Ismail, K., Jackson, T., Jacob, J., James, W. Y., Jenkins, R. G., Johnson, C., Johnson, S., Jones, D., Jones, G., Jones, H., Jones, I., Jones, L., Jones, S., Jose, S., Kaltsakas, G., Kelly, S., Kerr, S., Khan, F., King, B., Knight, S., Kon, S., Kon, S., Laing, C., Lasserson, D., Lawson, C., Lee, D., Lee, J. H., Lewis, D., Lewis, J., Li, X., Lim, L., Lloyd, A., Lord, J. M., Major, E., Malim, M., Mandal, S., Mangion, K., Marsh, S., Marshall, B., Marshall, M., Martin, J., Martinez, L. M., McMahon, M. J., Mehta, P., Miller, C., Mills, C., Mitchell, J., Mohamed, A., Mohammed, S., Morley, A., Morrow, A., Moss, A. J., Moss, P., Neal, A., Newby, D. E., Newman, J., Nicholson, T., O'Brien, C., Ostermann, M., Owen, J., Pariante, C., Parker, S., Patel, M., Patel, S., Payne, S., Pearce, L., Peng, Y., Pennington, C., Pfeffer, P., Plant, H., Plein, S., Porter, J., Powell, N., Pratt, J., Price, A., Price, C., Price, D., Prickett, A., Quigley, J., Qureshi, I. N., Rahman, N. M., Rees, M., Reynolds, W., Richards, A., Richardson, E., Roberts, K., Robertson, E., Robinson, E., Robinson, L., Rodger, J., Ross, A., Rowe, A., Rowland, A., Rowland, J., Russell, R., Sage, E. K., Saunders, K., Saunders, P., Shah, K., Shah, P., Shankar-Hari, M., Sharma, M., Sharpe, C., Shaw, A., Shaw, K., Simpson, J., Singh, C., Smith, A., Smith, D., Smith, S., Smith, J., Smith, L., Spencer, L. G., Stephenson, L., Stone, R., Tan, A. L., Taylor, A., Taylor, C., Taylor, J., Terry, S., Thomas, C., Thomas, D. C., Thomas, S., Thomas, A. K., Thompson, T., Thompson, A. A. R., Tilley, J., Tomlinson, J., Turner, S., Turner, K., Wade, P., Wainwright, T., Walker, S., Walsh, J. A., Walsh, S., Ward, T. J. C., Watson, E., Watson, L., Watson, J., Wessely, S., West, S., White, S., Whitney, J., Whittaker, S., Wild, J. M., Williams, B., Williams, N., Williams, J., Willoughby, J., Wilson, A., Wilson, D., Wood, C., Woods, J., Wright, C., Wright, L., Wright, S., Xu, M., Yip, K. P., Young, B., Young, S., Young, A. & Zhao, B., Aug 2023, In: The Lancet Respiratory Medicine. 11, 8, p. 673-684 12 p.
Research output: Contribution to journal › Article › peer-review

Open Access
15 Citations (Scopus)
June: A Type Testability Transformation for Improved ATG Performance
Bruce, D., Kelly, D., Menendez, H. D., Clark, D. & Barr, E., 18 Jul 2023, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File

93 Downloads (Pure)
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection
Menendez, H. D. & Clark, D., 1 Sept 2022, In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 48, 9, p. 3540-3553 14 p.
Research output: Contribution to journal › Article › peer-review
8 Citations (Scopus)

CREST: Centre for Research on Evolution, Search and Testing, Platform Grant
Harman, M. (Primary Investigator), Androutsopoulos, J. (Co-Investigator), Clark, D. (Co-Investigator), Gold, N. (Co-Investigator), Krinke, J. (Co-Investigator), Langdon, B. (Co-Investigator) & Li, Z. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/06/2009 → 31/05/2014
Project: Research
SLIM: SLIcing state based Models
Harman, M. (Primary Investigator), Clark, D. (Co-Investigator), Gold, N. (Co-Investigator) & Lano, K. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
7/01/2008 → 10/05/2011
Project: Research
Quantified Information Flow for Process Algebras
Clark, D. (Primary Investigator)
Royal Society
1/10/2007 → 1/10/2009
Project: Research
An Operational Approach to the Measurement of Information Flow
Clark, D. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
27/04/2005 → 26/07/2005
Project: Research
Quantitative Information Flow
Clark, D. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/03/2005 → 27/09/2009
Project: Research

David Clark

Personal profile

Expertise related to UN Sustainable Development Goals

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

Determinants of recovery from post-COVID-19 dyspnoea: analysis of UK prospective cohorts of hospitalised COVID-19 patients and community-based controls

Dynamic Output State Classification for Quantum Computers

Effects of sleep disturbance on dyspnoea and impaired lung function following hospital admission due to COVID-19 in the UK: a prospective multicentre cohort study

June: A Type Testability Transformation for Improved ATG Performance

Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection

CREST: Centre for Research on Evolution, Search and Testing, Platform Grant

SLIM: SLIcing state based Models

Quantified Information Flow for Process Algebras

An Operational Approach to the Measurement of Information Flow

Quantitative Information Flow

David Clark

Personal profile

Expertise related to UN Sustainable Development Goals

Fingerprint

Collaborations and top research areas from the last five years

Research output

Projects