David Clark

561

Citations

If you made any changes in Pure these will be visible here soon.

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
10 Article
1 Working paper

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
31 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 othersShah, 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., 2023, In: The Lancet Respiratory Medicine. p. 673-684
Research output: Contribution to journal › Article › peer-review

Open Access
1 Citation (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

6 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
Diversifying Focused Testing for Unit Testing
Menéndez, H. D., Jahangirova, G., Sarro, F., Tonella, P. & Clark, D., 31 Oct 2021, In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 30, 4, p. 1-24
Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

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

David Clark

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

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

Diversifying Focused Testing for Unit Testing

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

Fingerprint

Collaborations and top research areas from the last five years

Research output

Projects